Type Definition rustc_trait_selection::traits::PredicateObligations

type PredicateObligations<'tcx> = Vec<Obligation<'tcx, Predicate<'tcx>>, Global>;