Struct InferOk

pub struct InferOk<'tcx, T> {
    pub value: T,
    pub obligations: ThinVec<Obligation<'tcx, Predicate<'tcx>>>,
}

InferOk<'tcx, ()> is used a lot. It may seem like a useless wrapper around PredicateObligations<'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: ThinVec<Obligation<'tcx, Predicate<'tcx>>>

Implementations

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

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

where E: 'tcx,

Extracts value, registering any obligations into fulfill_cx.

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

pub fn into_obligations(self) -> ThinVec<Obligation<'tcx, Predicate<'tcx>>>

Trait Implementations

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

where T: Debug,

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

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.