Type Definition rustc_middle::ty::PolySubtypePredicate

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