Type Definition rustc_infer::infer::outlives::env::RegionBoundPairs

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

"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.