From 291bd81e74742472572c88ccf3d2cf9cf70af6b2 Mon Sep 17 00:00:00 2001 From: Evgenii P Date: Sat, 3 Aug 2019 01:56:27 +0700 Subject: Relax trait solving more for completion --- crates/ra_hir/src/ty/method_resolution.rs | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) (limited to 'crates/ra_hir') 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( let goal = generic_implements_goal(db, env.clone(), trait_, ty.clone()); let solution = db.trait_solve(krate, goal); - if let Some(solution) = solution { - if let Solution::Unique(_) = solution { - return true; - } - } - - false + solution.is_some() } impl Ty { -- cgit v1.2.3