Type Definition rustc_typeck::outlives::utils::RequiredPredicates

type RequiredPredicates<'tcx> = BTreeMap<OutlivesPredicate<GenericArg<'tcx>, Region<'tcx>>, Span>;

Tracks the T: 'a or 'a: 'a predicates that we have inferred must be added to the struct header.