rustc::ty::PolyEquatePredicate

type PolyEquatePredicate<'tcx> = Binder<EquatePredicate<'tcx>>;

Unstable (rustc_private)