Struct InferOk 

pub struct InferOk<'db, T> {
    pub value: T,
    pub obligations: Vec<Obligation<'db, Predicate<'db>>>,
}

InferOk<'db, ()> is used a lot. It may seem like a useless wrapper around PredicateObligations, but it has one important property: because InferOk is marked with #[must_use], if you have a method InferCtxt::f that returns InferResult<()> 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<Obligation<'db, Predicate<'db>>>

Implementations

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

pub fn into_obligations(self) -> Vec<Obligation<'db, Predicate<'db>>>

Trait Implementations

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

where T: Debug,

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

Formats the value using the given formatter.