Type Definition rustc_middle::ty::PolySubtypePredicate

type PolySubtypePredicate<'tcx> = Binder<'tcx, SubtypePredicate<'tcx>>;