Skip to main content

UnevaluatedConst

hir_ty::next_solver

Type Alias UnevaluatedConst 

Source 
pub type UnevaluatedConst<'db> = UnevaluatedConst<DbInterner<'db>>;

Aliased Type§

pub struct UnevaluatedConst<'db> {
    pub def: GeneralConstIdWrapper<'db>,
    pub args: GenericArgs<'db>,
}

Fields§

§def: GeneralConstIdWrapper<'db>§args: GenericArgs<'db>