Draft of the solution

enso-org · Jun 14, 2023 · 0ea6f75 · 0ea6f75
1 parent 5e1392a
commit 0ea6f75
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/engine/runtime/src/main/java/org/enso/interpreter/node/callable/InvokeMethodNode.java b/engine/runtime/src/main/java/org/enso/interpreter/node/callable/InvokeMethodNode.java
@@ -141,7 +141,15 @@ Function resolveFunction(UnresolvedSymbol symbol, Type selfTpe, MethodResolverNo
       Type any = ctx.getBuiltins().any();
       Function anyFun = symbol.getScope().lookupMethodDefinition(any, symbol.getName());
       if (anyFun != null) {
-        function = anyFun;
+        return anyFun;
+      }
+    } else if (selfTpe == ctx.getBuiltins().any().getEigentype()) {
+      // If `selfTpe` is Any.type (Any eigenType), make sure that the function is resolved
+      // as an instance method.
+      Type any = ctx.getBuiltins().any();
+      Function anyInstanceFun = symbol.getScope().lookupMethodDefinition(any, symbol.getName());
+      if (anyInstanceFun != null) {
+        return anyInstanceFun;
       }
     }
     return function;