Type Definition rustc_borrowck::type_check::free_region_relations::RegionBoundPairs

type RegionBoundPairs<'tcx> = Vec<(Region<'tcx>, GenericKind<'tcx>)>;

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.

Each region here is guaranteed to be a key in the indices map. We use the “original” regions (i.e., the keys from the map, and not the values) because the code in process_registered_region_obligations has some special-cased logic expecting to see (e.g.) ReStatic, and if we supplied our special inference variable there, we would mess that up.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 24 bytes