diff options
author | Florian Diebold <[email protected]> | 2021-04-03 16:41:14 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-08 13:08:54 +0100 |
commit | 429bbbd39a7bcb8650b522a9d683d20d76269770 (patch) | |
tree | 3aaefc8f6c15b5f464a1304c8b1519203827b9b2 /crates/hir_ty/src/traits.rs | |
parent | 77d974ae6b73f8b733f12e18d220fa8c4fc1ee38 (diff) |
Make ToChalk implementations identity
Diffstat (limited to 'crates/hir_ty/src/traits.rs')
-rw-r--r-- | crates/hir_ty/src/traits.rs | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/crates/hir_ty/src/traits.rs b/crates/hir_ty/src/traits.rs index 7d87741b8..cc1d2ca18 100644 --- a/crates/hir_ty/src/traits.rs +++ b/crates/hir_ty/src/traits.rs | |||
@@ -173,20 +173,7 @@ fn solution_from_chalk( | |||
173 | db: &dyn HirDatabase, | 173 | db: &dyn HirDatabase, |
174 | solution: chalk_solve::Solution<Interner>, | 174 | solution: chalk_solve::Solution<Interner>, |
175 | ) -> Solution { | 175 | ) -> Solution { |
176 | match solution { | 176 | solution |
177 | chalk_solve::Solution::Unique(constr_subst) => { | ||
178 | Solution::Unique(from_chalk(db, constr_subst)) | ||
179 | } | ||
180 | chalk_solve::Solution::Ambig(chalk_solve::Guidance::Definite(subst)) => { | ||
181 | Solution::Ambig(Guidance::Definite(from_chalk(db, subst))) | ||
182 | } | ||
183 | chalk_solve::Solution::Ambig(chalk_solve::Guidance::Suggested(subst)) => { | ||
184 | Solution::Ambig(Guidance::Suggested(from_chalk(db, subst))) | ||
185 | } | ||
186 | chalk_solve::Solution::Ambig(chalk_solve::Guidance::Unknown) => { | ||
187 | Solution::Ambig(Guidance::Unknown) | ||
188 | } | ||
189 | } | ||
190 | } | 177 | } |
191 | 178 | ||
192 | #[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)] | 179 | #[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)] |