[−][src]Trait rustc_infer::traits::TraitEngine

pub trait TraitEngine<'tcx>: 'tcx {
    pub fn normalize_projection_type(
        &mut self, 
        infcx: &InferCtxt<'_, 'tcx>, 
        param_env: ParamEnv<'tcx>, 
        projection_ty: ProjectionTy<'tcx>, 
        cause: ObligationCause<'tcx>
    ) -> Ty<'tcx>;

    pub fn register_predicate_obligation(
        &mut self, 
        infcx: &InferCtxt<'_, 'tcx>, 
        obligation: PredicateObligation<'tcx>
    );

    pub fn select_all_or_error(
        &mut self, 
        infcx: &InferCtxt<'_, 'tcx>
    ) -> Result<(), Vec<FulfillmentError<'tcx>>>;

    pub fn select_where_possible(
        &mut self, 
        infcx: &InferCtxt<'_, 'tcx>
    ) -> Result<(), Vec<FulfillmentError<'tcx>>>;

    pub fn pending_obligations(&self) -> Vec<PredicateObligation<'tcx>>;

    pub fn register_bound(
        &mut self, 
        infcx: &InferCtxt<'_, 'tcx>, 
        param_env: ParamEnv<'tcx>, 
        ty: Ty<'tcx>, 
        def_id: DefId, 
        cause: ObligationCause<'tcx>
    ) { ... }
}

Required methods

pub fn normalize_projection_type(
    &mut self,
    infcx: &InferCtxt<'_, 'tcx>,
    param_env: ParamEnv<'tcx>,
    projection_ty: ProjectionTy<'tcx>,
    cause: ObligationCause<'tcx>
) -> Ty<'tcx>[src]

pub fn register_predicate_obligation(
    &mut self,
    infcx: &InferCtxt<'_, 'tcx>,
    obligation: PredicateObligation<'tcx>
)[src]

pub fn select_all_or_error(
    &mut self,
    infcx: &InferCtxt<'_, 'tcx>
) -> Result<(), Vec<FulfillmentError<'tcx>>>[src]

pub fn select_where_possible(
    &mut self,
    infcx: &InferCtxt<'_, 'tcx>
) -> Result<(), Vec<FulfillmentError<'tcx>>>[src]

pub fn pending_obligations(&self) -> Vec<PredicateObligation<'tcx>>[src]

Loading content...

Provided methods

pub fn register_bound(
    &mut self,
    infcx: &InferCtxt<'_, 'tcx>,
    param_env: ParamEnv<'tcx>,
    ty: Ty<'tcx>,
    def_id: DefId,
    cause: ObligationCause<'tcx>
)[src]

Requires that ty must implement the trait with def_id in the given environment. This trait must not have any type parameters (except for Self).

Loading content...

Implementors

Loading content...