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