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