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

Structs

CreateResult
UniversalRegionRelations
UniversalRegionRelationsBuilder

Functions

create

Type Definitions

NormalizedInputsAndOutput

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

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.