bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver.rs')
-rw-r--r--crates/hir-ty/src/next_solver.rs7
1 files changed, 4 insertions, 3 deletions
diff --git a/crates/hir-ty/src/next_solver.rs b/crates/hir-ty/src/next_solver.rs
index 073a02908d..8c52a847d1 100644
--- a/crates/hir-ty/src/next_solver.rs
+++ b/crates/hir-ty/src/next_solver.rs
@@ -1,5 +1,4 @@
//! Things relevant to the next trait solver.
-#![allow(unused, unreachable_pub)]
pub mod abi;
mod consts;
@@ -12,8 +11,7 @@ pub mod infer;
pub(crate) mod inspect;
pub mod interner;
mod ir_print;
-pub mod mapping;
-mod normalize;
+pub mod normalize;
pub mod obligation_ctxt;
mod opaques;
pub mod predicate;
@@ -33,6 +31,9 @@ pub use region::*;
pub use solver::*;
pub use ty::*;
+pub use crate::lower::ImplTraitIdx;
+pub use rustc_ast_ir::Mutability;
+
pub type Binder<'db, T> = rustc_type_ir::Binder<DbInterner<'db>, T>;
pub type EarlyBinder<'db, T> = rustc_type_ir::EarlyBinder<DbInterner<'db>, T>;
pub type Canonical<'db, T> = rustc_type_ir::Canonical<DbInterner<'db>, T>;