Type Definition rustc_middle::ty::PolySubtypePredicate [−][src]
pub type PolySubtypePredicate<'tcx> = Binder<'tcx, SubtypePredicate<'tcx>>;pub type PolySubtypePredicate<'tcx> = Binder<'tcx, SubtypePredicate<'tcx>>;