diff options
author | Evgenii P <[email protected]> | 2019-08-02 19:56:27 +0100 |
---|---|---|
committer | Evgenii P <[email protected]> | 2019-08-02 19:56:27 +0100 |
commit | 291bd81e74742472572c88ccf3d2cf9cf70af6b2 (patch) | |
tree | 8ff6738a892419c8480fcd572b091eb4a4f8b811 /crates/ra_hir/src | |
parent | ab7774545cb5e45064c907429417bdee8d89f4d4 (diff) |
Relax trait solving more for completion
Diffstat (limited to 'crates/ra_hir/src')
-rw-r--r-- | crates/ra_hir/src/ty/method_resolution.rs | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/crates/ra_hir/src/ty/method_resolution.rs b/crates/ra_hir/src/ty/method_resolution.rs index 8731d6ba4..aa625a013 100644 --- a/crates/ra_hir/src/ty/method_resolution.rs +++ b/crates/ra_hir/src/ty/method_resolution.rs | |||
@@ -266,13 +266,7 @@ pub(crate) fn implements_trait( | |||
266 | let goal = generic_implements_goal(db, env.clone(), trait_, ty.clone()); | 266 | let goal = generic_implements_goal(db, env.clone(), trait_, ty.clone()); |
267 | let solution = db.trait_solve(krate, goal); | 267 | let solution = db.trait_solve(krate, goal); |
268 | 268 | ||
269 | if let Some(solution) = solution { | 269 | solution.is_some() |
270 | if let Solution::Unique(_) = solution { | ||
271 | return true; | ||
272 | } | ||
273 | } | ||
274 | |||
275 | false | ||
276 | } | 270 | } |
277 | 271 | ||
278 | impl Ty { | 272 | impl Ty { |