Type Definition rustc_infer::traits::PredicateObligations

type PredicateObligations<'tcx> = Vec<PredicateObligation<'tcx>>;