Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/mapping.rs')
| -rw-r--r-- | crates/hir-ty/src/next_solver/mapping.rs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/crates/hir-ty/src/next_solver/mapping.rs b/crates/hir-ty/src/next_solver/mapping.rs deleted file mode 100644 index 2b29561393..0000000000 --- a/crates/hir-ty/src/next_solver/mapping.rs +++ /dev/null @@ -1,13 +0,0 @@ -//! Things useful for mapping to/from Chalk and next-trait-solver types. - -use crate::next_solver::interner::DbInterner; - -pub(crate) trait ChalkToNextSolver<'db, Out> { - fn to_nextsolver(&self, interner: DbInterner<'db>) -> Out; -} - -impl<'db> ChalkToNextSolver<'db, crate::lower::ImplTraitIdx<'db>> for crate::ImplTraitIdx { - fn to_nextsolver(&self, _interner: DbInterner<'db>) -> crate::lower::ImplTraitIdx<'db> { - crate::lower::ImplTraitIdx::from_raw(self.into_raw()) - } -} |