rustc_typeck::middle::ty::PolyEquatePredicateExperimental [-]  [+] [src]

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