rustc::ty::PolyEquatePredicate [] [src]

type PolyEquatePredicate<'tcx> = Binder<EquatePredicate<'tcx>>;
Unstable (rustc_private)