rustc::ty::PolyTraitPredicate

type PolyTraitPredicate<'tcx> = Binder<TraitPredicate<'tcx>>;

Unstable (rustc_private)