rustc::traits::PredicateObligation

type PredicateObligation<'tcx> = Obligation<'tcx, Predicate<'tcx>>;

Unstable (rustc_private)