Type Alias hax_frontend_exporter::TypeOutlivesPredicate

source · 
pub type TypeOutlivesPredicate = OutlivesPredicate<Ty>;
Expand description

Reflects rustc_middle::ty::TypeOutlivesPredicate

Aliased Type§

struct TypeOutlivesPredicate {
    pub lhs: Ty,
    pub rhs: Region,
}

Fields§

§lhs: Ty§rhs: Region