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