rustc::traits::PredicateObligation [] [src]

type PredicateObligation<'tcx> = Obligation<'tcx, Predicate<'tcx>>;
Unstable (rustc_private)