Type Definition rustc_infer::infer::outlives::env::RegionBoundPairs[][src]

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

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