interner::HasInterner,
UintTy,
};
-use hir_def::{expr::ExprId, type_ref::Rawness, TypeParamId};
+use hir_def::{
+ expr::ExprId,
+ type_ref::{ConstScalar, Rawness},
+ TypeParamId,
+};
use crate::{db::HirDatabase, display::HirDisplay, utils::generics};
let usize_ty = chalk_ir::TyKind::Scalar(Scalar::Uint(UintTy::Usize)).intern(&Interner);
chalk_ir::ConstData {
ty: usize_ty,
- value: chalk_ir::ConstValue::Concrete(chalk_ir::ConcreteConst { interned: () }),
+ value: chalk_ir::ConstValue::Concrete(chalk_ir::ConcreteConst {
+ interned: ConstScalar::Unknown,
+ }),
}
.intern(&Interner)
}