flux_rustc_bridge::ty

Type Alias RegionOutlivesPredicate

Source 
pub type RegionOutlivesPredicate = OutlivesPredicate<Region>;

Aliased Type§

pub struct RegionOutlivesPredicate(pub Region, pub Region);

Tuple Fields§

§0: Region§1: Region