diff options
Diffstat (limited to 'crates/hir/src/semantics.rs')
| -rw-r--r-- | crates/hir/src/semantics.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/crates/hir/src/semantics.rs b/crates/hir/src/semantics.rs index 38bd376bc..1b5064b5a 100644 --- a/crates/hir/src/semantics.rs +++ b/crates/hir/src/semantics.rs | |||
| @@ -505,9 +505,10 @@ impl<'db> SemanticsImpl<'db> { | |||
| 505 | } | 505 | } |
| 506 | 506 | ||
| 507 | fn resolve_method_call_as_callable(&self, call: &ast::MethodCallExpr) -> Option<Callable> { | 507 | fn resolve_method_call_as_callable(&self, call: &ast::MethodCallExpr) -> Option<Callable> { |
| 508 | // FIXME: this erases Substs | 508 | // FIXME: this erases Substs, we should instead record the correct |
| 509 | // substitution during inference and use that | ||
| 509 | let func = self.resolve_method_call(call)?; | 510 | let func = self.resolve_method_call(call)?; |
| 510 | let (ty, _) = self.db.value_ty(func.into()).into_value_and_skipped_binders(); | 511 | let ty = hir_ty::TyBuilder::value_ty(self.db, func.into()).fill_with_unknown().build(); |
| 511 | let resolver = self.analyze(call.syntax()).resolver; | 512 | let resolver = self.analyze(call.syntax()).resolver; |
| 512 | let ty = Type::new_with_resolver(self.db, &resolver, ty)?; | 513 | let ty = Type::new_with_resolver(self.db, &resolver, ty)?; |
| 513 | let mut res = ty.as_callable(self.db)?; | 514 | let mut res = ty.as_callable(self.db)?; |