Type Alias hax_frontend_exporter::RegionOutlivesPredicate

source · 
pub type RegionOutlivesPredicate = OutlivesPredicate<Region>;
Expand description

Reflects rustc_middle::ty::RegionOutlivesPredicate

Aliased Type§

struct RegionOutlivesPredicate {
    pub lhs: Region,
    pub rhs: Region,
}

Fields§

§lhs: Region§rhs: Region