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: &'tcx TyS<'tcx>,
def_id: DefId,
cause: ObligationCause<'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). Read more
Auto 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 T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<'tcx, T> TraitEngineExt<'tcx> for T where
T: TraitEngine<'tcx> + ?Sized,
impl<'tcx, T> TraitEngineExt<'tcx> for T where
T: TraitEngine<'tcx> + ?Sized,
pub 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