Struct rustc_infer::infer::InferOk

#[must_use]
pub struct InferOk<'tcx, T> {
    pub value: T,
    pub obligations: PredicateObligations<'tcx>,
}

Fields

value: T

obligations: PredicateObligations<'tcx>

Implementations

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

pub fn unit(self) -> InferOk<'tcx, ()>

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

Extracts value, registering any obligations into fulfill_cx.

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

pub fn into_obligations(self) -> PredicateObligations<'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.