hax_frontend_exporter

Type Alias 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