Type Definition rustc_middle::ty::PolySubtypePredicate

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