diff options
| author | Lukas Wirth <[email protected]> | 2021-03-01 11:35:11 +0000 |
|---|---|---|
| committer | Lukas Wirth <[email protected]> | 2021-03-01 11:41:29 +0000 |
| commit | 11a1f13cd1cf6da484fd4b8bfb5f72a625c2186a (patch) | |
| tree | d9923bbea2a75e02b599961790952e8a9a2edf2e /crates/hir_ty/src/autoderef.rs | |
| parent | 4e5c49619986144f6f0b1656bed2fac30b638a26 (diff) | |
Being Ty::InferenceVar closes to chalk equivalent
Diffstat (limited to 'crates/hir_ty/src/autoderef.rs')
| -rw-r--r-- | crates/hir_ty/src/autoderef.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/crates/hir_ty/src/autoderef.rs b/crates/hir_ty/src/autoderef.rs index ece68183e..21d1e5446 100644 --- a/crates/hir_ty/src/autoderef.rs +++ b/crates/hir_ty/src/autoderef.rs | |||
| @@ -89,8 +89,10 @@ fn deref_by_trait( | |||
| 89 | 89 | ||
| 90 | let in_env = InEnvironment { value: obligation, environment: ty.environment }; | 90 | let in_env = InEnvironment { value: obligation, environment: ty.environment }; |
| 91 | 91 | ||
| 92 | let canonical = | 92 | let canonical = Canonical::new( |
| 93 | Canonical::new(in_env, ty.value.kinds.iter().copied().chain(Some(super::TyKind::General))); | 93 | in_env, |
| 94 | ty.value.kinds.iter().copied().chain(Some(chalk_ir::TyVariableKind::General)), | ||
| 95 | ); | ||
| 94 | 96 | ||
| 95 | let solution = db.trait_solve(krate, canonical)?; | 97 | let solution = db.trait_solve(krate, canonical)?; |
| 96 | 98 | ||