Trait rustc_infer::traits::TraitEngine

pub trait TraitEngine<'tcx>: 'tcx {
    fn register_predicate_obligation(
        &mut self,
        infcx: &InferCtxt<'tcx>,
        obligation: PredicateObligation<'tcx>
    );
    fn select_all_or_error(
        &mut self,
        infcx: &InferCtxt<'tcx>
    ) -> Vec<FulfillmentError<'tcx>>;
    fn select_where_possible(
        &mut self,
        infcx: &InferCtxt<'tcx>
    ) -> Vec<FulfillmentError<'tcx>>;
    fn pending_obligations(&self) -> Vec<PredicateObligation<'tcx>>;
    fn relationships(&mut self) -> &mut FxHashMap<TyVid, FoundRelationships>;

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

Required Methods

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

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

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

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

fn relationships(&mut self) -> &mut FxHashMap<TyVid, FoundRelationships>

Provided Methods

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

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).

Implementors