@scriptc/compiler 0.2.5 → 0.2.6

package/dist/frontend/lowering/lower-stmts.js

@@ -2,6 +2,7 @@ import { dynUndefinedExpr, numLit, varRef } from "../../ir/build.js";
 import { lowerDynObjectLiteral } from "./expressions/object-literals.js";
 import { importMetaBindingSource } from "./import-meta.js";
 import { iteratorCanStep, iteratorValue } from "./iterator-consumption.js";
+import { isPrivateSplitConsumer } from "./split-consumers.js";
 import { InternalCompilerError } from "../../errors.js";
 /* Statement lowering: the statement dispatch (lowerStmt), variable
  * declarations including destructuring patterns, scoped blocks, control
@@ -4499,12 +4500,9 @@ export function lowerVarDecl(lowerer, decl, isLet) {
             settledType = init.type;
         }
     }
-    // `const r: Repo = new MemRepo()` over an all-generic-method
-    // interface: the binding keeps the initializer's CLASS representation
-    // (the record shape maps empty and the width copy would drop the
-    // class the generic-method calls monomorphize against) — see
-    // genericIfaceBindingKeepsClass.
-    if (settledType.kind === "record" &&
+    // An exact class behind a generic interface keeps its native
+    // representation so generic calls can specialize against its body.
+    if ((settledType.kind === "record" || settledType.kind === "dyn") &&
         init.type.kind === "object" &&
         genericIfaceBindingKeepsClass(lowerer, decl, settledType)) {
         settledType = init.type;
@@ -7746,7 +7744,8 @@ export function lowerForOf(lowerer, stmt) {
         }
     }
     const elementType = iterable.type.kind === "array" ? iterable.type.elem : tupleSource.elem;
-    const yieldedT = tupleSource === null ? arrayValueType(lowerer, elementType) : elementType;
+    const privateSplit = !awaitArray && isPrivateSplitConsumer(lowerer, iterSrc, iterable);
+    const yieldedT = tupleSource === null && !privateSplit ? arrayValueType(lowerer, elementType) : elementType;
     let elemValueT = yieldedT;
     let awaitPromiseTag = null;
     if (awaitArray) {
@@ -7794,12 +7793,15 @@ export function lowerForOf(lowerer, stmt) {
     }
     // Native arrays retain their payload ABI; the loop binds the value yielded
     // by Get, which is undefined for both holes and present undefined slots.
-    const sourceT = iterable.type;
-    const source = lowerer.declareHiddenLocal("%arrayIterator", sourceT);
-    const cursor = lowerer.declareHiddenLocal("%arrayCursor", F64);
-    cursor.mutable = true;
     const forValues = (localId, body) => {
         const loc = locOf(stmt);
+        if (privateSplit) {
+            return { kind: "forOf", localId, iterable, body, ...(labels && { labels }), loc };
+        }
+        const sourceT = iterable.type;
+        const source = lowerer.declareHiddenLocal("%arrayIterator", sourceT);
+        const cursor = lowerer.declareHiddenLocal("%arrayCursor", F64);
+        cursor.mutable = true;
         const needsClose = awaitArray
             ? lowerer.declareHiddenLocal("%arrayIteratorNeedsClose", BOOL)
             : null;