Propagate range types into expression children

Author: Frotty

de.peeeq.wurstscript/src/main/java/de/peeeq/wurstscript/attributes/AttrExprExpectedType.java

@@ -76,6 +76,11 @@ public class AttrExprExpectedType {
                 if (nearestFuncDef != null) {
                     return nearestFuncDef.attrReturnTyp();
                 }
+            } else if (parent instanceof StmtForRange) {
+                StmtForRange forRange = (StmtForRange) parent;
+                if (forRange.getTo() == expr || forRange.getStep() == expr) {
+                    return WurstTypeInt.instance();
+                }
             } else if (parent instanceof SwitchCase) {
                 SwitchCase sc = (SwitchCase) parent;
                 SwitchStmt s = (SwitchStmt) sc.getParent().getParent();

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

@@ -2270,6 +2270,29 @@ public void erasedGenericPrimitiveDefaultsAreNormalizedInTypedStatementBlocks()
             compiled.contains("value = __wurst_ensureInt(Box_Box_get(box))"));
     }
 
+    @Test
+    public void erasedGenericPrimitiveDefaultsAreNormalizedInCompositeRangeBounds() throws IOException {
+        test().testLua(true).executeProg().lines(
+            "package Test",
+            "native testSuccess()",
+            "class Box<T:>",
+            "    T value",
+            "    function get() returns T",
+            "        return value",
+            "init",
+            "    let box = new Box<int>",
+            "    bool useBox = true",
+            "    int iterations = 0",
+            "    for i = 1 to (useBox ? box.get() : 0)",
+            "        iterations++",
+            "    if iterations == 0",
+            "        testSuccess()"
+        );
+        String compiled = compiledLua("erasedGenericPrimitiveDefaultsAreNormalizedInCompositeRangeBounds");
+        assertTrue("composite range bounds must normalize erased primitive branches",
+            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