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.