Struct rustc_mir::borrow_check::nll::type_check::input_output::ObligationAccumulator [−][src]
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>
[src]
impl<'tcx> ObligationAccumulator<'tcx>
fn add<T>(&mut self, value: InferOk<'tcx, T>) -> T
[src]
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>
[src]
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>
[src]
impl<'tcx> Debug for ObligationAccumulator<'tcx>
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl<'tcx> Default for ObligationAccumulator<'tcx>
[src]
impl<'tcx> Default for ObligationAccumulator<'tcx>
fn default() -> ObligationAccumulator<'tcx>
[src]
fn default() -> ObligationAccumulator<'tcx>
Returns the "default value" for a type. Read more
Auto Trait Implementations
impl<'tcx> !Send for ObligationAccumulator<'tcx>
impl<'tcx> !Send for ObligationAccumulator<'tcx>
impl<'tcx> !Sync for ObligationAccumulator<'tcx>
impl<'tcx> !Sync for ObligationAccumulator<'tcx>