Struct rustc_trait_selection::traits::ChalkFulfillmentContext

pub struct ChalkFulfillmentContext<'tcx> {
    obligations: FxIndexSet<PredicateObligation<'tcx>>,
}

Fields

obligations: FxIndexSet<PredicateObligation<'tcx>>

Implementations

impl<'tcx> FulfillmentContext<'tcx>

pub(crate) fn new() -> Self

Trait Implementations

impl<'tcx> TraitEngine<'tcx> for FulfillmentContext<'tcx>

fn normalize_projection_type(
    &mut self,
    infcx: &InferCtxt<'_, 'tcx>,
    _param_env: ParamEnv<'tcx>,
    projection_ty: ProjectionTy<'tcx>,
    _cause: ObligationCause<'tcx>
) -> Ty<'tcx>

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

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

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

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

fn register_bound(
    &mut self,
    infcx: &InferCtxt<'_, 'tcx>,
    param_env: ParamEnv<'tcx>,
    ty: &'tcx TyS<'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).