Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/method_resolution.rs')
-rw-r--r--crates/hir-ty/src/method_resolution.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir-ty/src/method_resolution.rs b/crates/hir-ty/src/method_resolution.rs
index 76c76ee6cf..d2081d22d7 100644
--- a/crates/hir-ty/src/method_resolution.rs
+++ b/crates/hir-ty/src/method_resolution.rs
@@ -615,7 +615,7 @@ fn find_matching_impl(
let wh_goals =
crate::chalk_db::convert_where_clauses(db, impl_.into(), &substs)
.into_iter()
- .map(|b| b.into_well_formed_goal(Interner).cast(Interner));
+ .map(|b| b.cast(Interner));
let goal = crate::Goal::all(Interner, wh_goals);