rustc_trans::middle::ty::PolyEquatePredicateUnstable [-] [+] [src]

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