Type Alias hax_frontend_exporter::CanonicalUserType

source · 
pub type CanonicalUserType = Canonical<UserType>;
Expand description

Reflects rustc_middle::ty::CanonicalUserType

Aliased Type§

struct CanonicalUserType {
    pub max_universe: usize,
    pub variables: Vec<CanonicalVarInfo>,
    pub value: UserType,
}

Fields§

§max_universe: usize§variables: Vec<CanonicalVarInfo>§value: UserType