hir_ty::next_solver

Type Alias UnevaluatedConst

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

Aliased Type§

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

Fields§

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