diff options
Diffstat (limited to 'crates/hir_ty/src/method_resolution.rs')
| -rw-r--r-- | crates/hir_ty/src/method_resolution.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/crates/hir_ty/src/method_resolution.rs b/crates/hir_ty/src/method_resolution.rs index 48bbcfd9f..37e1f89d8 100644 --- a/crates/hir_ty/src/method_resolution.rs +++ b/crates/hir_ty/src/method_resolution.rs | |||
| @@ -798,7 +798,8 @@ pub(crate) fn inherent_impl_substs( | |||
| 798 | binders: CanonicalVarKinds::from_iter(&Interner, kinds), | 798 | binders: CanonicalVarKinds::from_iter(&Interner, kinds), |
| 799 | value: (self_ty_with_vars, self_ty.value.clone()), | 799 | value: (self_ty_with_vars, self_ty.value.clone()), |
| 800 | }; | 800 | }; |
| 801 | let substs = super::infer::unify(&tys)?; | 801 | let trait_env = Arc::new(TraitEnvironment::default()); // FIXME |
| 802 | let substs = super::infer::unify(db, trait_env, &tys)?; | ||
| 802 | // We only want the substs for the vars we added, not the ones from self_ty. | 803 | // We only want the substs for the vars we added, not the ones from self_ty. |
| 803 | // Also, if any of the vars we added are still in there, we replace them by | 804 | // Also, if any of the vars we added are still in there, we replace them by |
| 804 | // Unknown. I think this can only really happen if self_ty contained | 805 | // Unknown. I think this can only really happen if self_ty contained |