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