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};
to_foreign_def_id, to_placeholder_idx,
};
pub use traits::TraitEnvironment;
+pub use utils::all_super_traits;
pub use walk::TypeWalk;
pub use chalk_ir::{
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)
}