Use selected overload type for erased arguments

Author: Frotty

de.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/translation/imtranslation/ExprTranslation.java

@@ -7,6 +7,7 @@
 import de.peeeq.wurstscript.ast.*;
 import de.peeeq.wurstscript.ast.Element;
 import de.peeeq.wurstscript.attributes.AttrFuncDef;
+import de.peeeq.wurstscript.attributes.AttrExprExpectedType;
 import de.peeeq.wurstscript.attributes.CompileError;
 import de.peeeq.wurstscript.attributes.AttrImplicitParameter;
 import de.peeeq.wurstscript.attributes.names.FuncLink;
@@ -99,7 +100,10 @@ public static ImExpr translate(ExprInstanceOf e, ImTranslator t, ImFunction f) {
 
     private static ImExpr wrapTranslation(Expr e, ImTranslator t, ImExpr translated) {
         WurstType actualType = e.attrTypRaw();
-        WurstType expectedTypRaw = e.attrExpectedTypRaw();
+        WurstType expectedTypRaw = actualType instanceof WurstTypeBoundTypeParam
+            && e.getParent() instanceof Arguments
+            ? AttrExprExpectedType.afterOverloading(e)
+            : e.attrExpectedTypRaw();
         return wrapTranslation(e, t, translated, actualType, expectedTypRaw);
     }
 

de.peeeq.wurstscript/src/test/java/tests/wurstscript/tests/LuaBackendAuditTests.java

@@ -2293,6 +2293,28 @@ public void erasedGenericPrimitiveDefaultsAreNormalizedInCompositeRangeBounds()
             compiled.contains("__wurst_ensureInt(Box_Box_get(box))"));
     }
 
+    @Test
+    public void erasedGenericPrimitiveDefaultsUseTheSelectedOverload() throws IOException {
+        test().testLua(true).executeProg().lines(
+            "package Test",
+            "native testSuccess()",
+            "class Box<T:>",
+            "    T value",
+            "    function get() returns T",
+            "        return value",
+            "function consume(int value)",
+            "    if value == 0",
+            "        testSuccess()",
+            "function consume(string value)",
+            "init",
+            "    let box = new Box<int>",
+            "    consume(box.get())"
+        );
+        String compiled = compiledLua("erasedGenericPrimitiveDefaultsUseTheSelectedOverload");
+        assertTrue("selected integer overload arguments must normalize erased primitive values",
+            compiled.contains("__wurst_ensureInt(Box_Box_get(box))"));
+    }
+
     /**
      * Seeded boundary corpus for the type-assurance change. Each case varies
      * the primitive type, literal value, and array slot while checking the two