flux_rustc_bridge::ty

Type Alias RegionOutlivesPredicate

Source 
pub type RegionOutlivesPredicate = OutlivesPredicate<Region>;

Aliased Type§

struct RegionOutlivesPredicate(pub Region, pub Region);

Fields§

§0: Region§1: Region