Function rustc_mir::borrow_check::nll::subtype_constraint_generation::generate[][src]

fn generate<'tcx>(
    regioncx: &mut RegionInferenceContext<'tcx>,
    all_facts: &mut Option<AllFacts>,
    location_table: &LocationTable,
    mir: &Mir<'tcx>,
    constraints: &MirTypeckRegionConstraints<'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?

When the MIR type-checker executes, it validates all the types in the MIR, and in the process generates a set of constraints that must hold regarding the regions in the MIR, along with locations where they must hold. This code takes those constriants and adds them into the NLL RegionInferenceContext.