[][src]Module rustc_mir::borrow_check::nll::type_check::input_output

🔬 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?

This module contains code to equate the input/output types appearing in the MIR with the expected input/output types from the function signature. This requires a bit of processing, as the expected types are supplied to us before normalization and may contain existential impl Trait instances. In contrast, the input/output types found in the MIR (specifically, in the special local variables for the RETURN_PLACE the MIR arguments) are always fully normalize (and contain revealed impl Trait values).

Structs

ObligationAccumulator [
Experimental
]