Type Alias hax_frontend_exporter::PlaceholderRegion

source · 
pub type PlaceholderRegion = Placeholder<BoundRegion>;
Expand description

Reflects rustc_middle::ty::PlaceholderRegion

Aliased Type§

struct PlaceholderRegion {
    pub universe: usize,
    pub bound: BoundRegion,
}

Fields§

§universe: usize§bound: BoundRegion