Type Definition rustc_infer::traits::PredicateObligations[][src]

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