rustc_trans::middle::traits::PredicateObligationsUnstable [-] [+] [src]

type PredicateObligations<'tcx> = VecPerParamSpace<Obligation<'tcx, Predicate<'tcx>>>;