Struct InferOk

pub struct InferOk<'tcx, T> {
    pub value: T,
    pub obligations: Vec<PredicateObligation<'tcx>>,
}

InferOk<'tcx, ()> is used a lot. It may seem like a useless wrapper around Vec<PredicateObligation<'tcx>>, but it has one important property: because InferOk is marked with #[must_use], if you have a method InferCtxt::f that returns InferResult<'tcx, ()> and you call it with infcx.f()?; you’ll get a warning about the obligations being discarded without use, which is probably unintentional and has been a source of bugs in the past.

Fields

value: T

obligations: Vec<PredicateObligation<'tcx>>

Implementations

impl<'tcx, T> InferOk<'tcx, T>

pub fn into_value_registering_obligations<E: 'tcx>( self, infcx: &InferCtxt<'tcx>, fulfill_cx: &mut dyn TraitEngine<'tcx, E>, ) -> T

Extracts value, registering any obligations into fulfill_cx.

impl<'tcx> InferOk<'tcx, ()>

pub fn into_obligations(self) -> Vec<PredicateObligation<'tcx>>

Trait Implementations

impl<'tcx, T: Debug> Debug for InferOk<'tcx, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.