[−][src]Module rustc_mir::borrow_check::nll::type_check::free_region_relations

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

Structs

CreateResult [
Experimental
]
UniversalRegionRelations [
Experimental
]
UniversalRegionRelationsBuilder [
Experimental
]

Functions

create [
Experimental
]

Type Definitions

NormalizedInputsAndOutput [
Experimental
]

As part of computing the free region relations, we also have to normalize the input-output types, which we then need later. So we return those. This vector consists of first the input types and then the output type as the last element.
RegionBoundPairs [
Experimental
]

Each RBP ('a, GK) indicates that GK: 'a can be assumed to be true. These encode relationships like T: 'a that are added via implicit bounds.