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

type PolyTraitPredicate<'tcx> = Binder<TraitPredicate<'tcx>>;