hax_frontend_exporter

Type Alias PlaceholderType

source 
pub type PlaceholderType = Placeholder<BoundTy>;
Expand description

Reflects rustc_middle::ty::PlaceholderType

Aliased Type§

struct PlaceholderType {
    pub universe: usize,
    pub bound: BoundTy,
}

Fields§

§universe: usize§bound: BoundTy