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

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