Struct rustc_mir::borrow_check::nll::type_check::input_output::ObligationAccumulator

struct ObligationAccumulator<'tcx> {
    obligations: PredicateObligations<'tcx>,
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Fields

obligations: PredicateObligations<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Methods

impl<'tcx> ObligationAccumulator<'tcx>

fn add<T>(&mut self, value: InferOk<'tcx, T>) -> T

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn into_vec(self) -> PredicateObligations<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Trait Implementations

impl<'tcx> Debug for ObligationAccumulator<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Default for ObligationAccumulator<'tcx>

fn default() -> ObligationAccumulator<'tcx>

Returns the "default value" for a type.