Trait CoerceDelegate 

trait CoerceDelegate<'db> {
    // Required methods
    fn infcx(&self) -> &InferCtxt<'db>;
    fn param_env(&self) -> ParamEnv<'db>;
    fn target_features(
        &self,
    ) -> (&TargetFeatures<'db>, TargetFeatureIsSafeInTarget);
    fn set_diverging(&mut self, diverging_ty: Ty<'db>);
    fn type_var_is_sized(&self, var: TyVid) -> bool;
}

Required Methods

fn infcx(&self) -> &InferCtxt<'db>

fn param_env(&self) -> ParamEnv<'db>

fn target_features(&self) -> (&TargetFeatures<'db>, TargetFeatureIsSafeInTarget)

fn set_diverging(&mut self, diverging_ty: Ty<'db>)

fn type_var_is_sized(&self, var: TyVid) -> bool

Implementors

impl<'db> CoerceDelegate<'db> for HirCoercionDelegate<'_, 'db>

impl<'db> CoerceDelegate<'db> for InferenceCoercionDelegate<'_, 'db>