Type Definition PolyOutlivesPredicate
rustc_middle::ty
type PolyOutlivesPredicate<A, B> = Binder<OutlivesPredicate<A, B>>;