pub type TypeOutlives = OutlivesPred<Ty, Region>;
pub struct TypeOutlives(pub Ty, pub Region);
0: Ty
1: Region