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