Relax trait solving more for completion

This commit is contained in:
Evgenii P 2019-08-03 01:56:27 +07:00
parent ab7774545c
commit 291bd81e74

View File

@ -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 {