diff options
| author | Florian Diebold <[email protected]> | 2021-04-04 19:27:40 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-04 19:27:40 +0100 |
| commit | 645a9c3a274109512839b79d8e86a805a39cd6e1 (patch) | |
| tree | 30cce00086913ec4682db4d9704b6c609811de6b /crates/hir_ty/src/method_resolution.rs | |
| parent | 508a1ecad3cf9c9f01022b3e95f9d6a7ad7a4cd5 (diff) | |
Move things from `traits` module to `types` as well
Diffstat (limited to 'crates/hir_ty/src/method_resolution.rs')
| -rw-r--r-- | crates/hir_ty/src/method_resolution.rs | 2 |
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 a76586f0c..0e4a620b6 100644 --- a/crates/hir_ty/src/method_resolution.rs +++ b/crates/hir_ty/src/method_resolution.rs | |||
| @@ -800,7 +800,7 @@ pub fn implements_trait_unique( | |||
| 800 | let goal = generic_implements_goal(db, env, trait_, ty.clone()); | 800 | let goal = generic_implements_goal(db, env, trait_, ty.clone()); |
| 801 | let solution = db.trait_solve(krate, goal); | 801 | let solution = db.trait_solve(krate, goal); |
| 802 | 802 | ||
| 803 | matches!(solution, Some(crate::traits::Solution::Unique(_))) | 803 | matches!(solution, Some(crate::Solution::Unique(_))) |
| 804 | } | 804 | } |
| 805 | 805 | ||
| 806 | /// This creates Substs for a trait with the given Self type and type variables | 806 | /// This creates Substs for a trait with the given Self type and type variables |