Type Definition rustc::ty::PolyEquatePredicate
[−]
[src]
type PolyEquatePredicate<'tcx> = Binder<EquatePredicate<'tcx>>;
🔬 This is a nightly-only experimental API. (
rustc_private
)