pub struct ChalkFulfillmentContext<'tcx> {
obligations: FxIndexSet<PredicateObligation<'tcx>>,
relationships: FxHashMap<TyVid, FoundRelationships>,
}Fields
obligations: FxIndexSet<PredicateObligation<'tcx>>relationships: FxHashMap<TyVid, FoundRelationships>Implementations
sourceimpl FulfillmentContext<'_>
impl FulfillmentContext<'_>
Trait Implementations
sourceimpl<'tcx> TraitEngine<'tcx> for FulfillmentContext<'tcx>
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>
) -> 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>
sourcefn register_bound(
&mut self,
infcx: &InferCtxt<'_, 'tcx>,
param_env: ParamEnv<'tcx>,
ty: Ty<'tcx>,
def_id: DefId,
cause: ObligationCause<'tcx>
)
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). Read moreAuto Trait Implementations
impl<'tcx> !RefUnwindSafe for FulfillmentContext<'tcx>
impl<'tcx> !Send for FulfillmentContext<'tcx>
impl<'tcx> !Sync for FulfillmentContext<'tcx>
impl<'tcx> Unpin for FulfillmentContext<'tcx>
impl<'tcx> !UnwindSafe for FulfillmentContext<'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<'tcx, T> TraitEngineExt<'tcx> for Twhere
T: TraitEngine<'tcx> + ?Sized,
impl<'tcx, T> TraitEngineExt<'tcx> for Twhere
T: TraitEngine<'tcx> + ?Sized,
fn register_predicate_obligations(
&mut self,
infcx: &InferCtxt<'_, 'tcx>,
obligations: impl IntoIterator<Item = Obligation<'tcx, Predicate<'tcx>>>
)
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 88 bytes