pub type TypeOutlivesPredicate = OutlivesPredicate<Ty>;
pub struct TypeOutlivesPredicate(pub Ty, pub Region);
0: Ty
1: Region