Type Definition rustc_trait_selection::infer::outlives::env::RegionBoundPairs

type RegionBoundPairs<'tcx> = Vec<(&'tcx RegionKind, GenericKind<'tcx>), Global>;

“Region-bound pairs” tracks outlives relations that are known to be true, either because of explicit where-clauses like T: 'a or because of implied bounds.