@scriptc/compiler 0.0.8 → 0.0.10

package/dist/frontend/lowering/lower-containers.d.ts

@@ -274,6 +274,23 @@ export type ForOfIterProjection = "keys" | "values" | "entries";
    * enter/exit bracketing: the pair list compacts immediately (no
    * tombstones), so there is no iteration depth to keep exact. */
 export declare function lowerForOfSearchParams(L: Lowerer, stmt: ts.ForOfStatement, iterable: IrExpr, proj?: ForOfIterProjection): IrStmt;
+/** for-of over an ARRAY's keys()/entries() projections consumed directly
+   * by the head (`for (const [index, line] of lines.entries())` — the
+   * dominant formatter idiom): the LIVE index walk — the length re-reads
+   * every pass, exactly the array iterator's contract (elements appended
+   * mid-walk are visited; a shrink ends the loop early) — yielding the
+   * index (`keys`, a number) or the [index, element] pair (`entries`).
+   * `values` never lands here: lowerForOf's receiver unwrap owns it. A
+   * `[i, v]` head of plain identifiers binds straight from the reads (the
+   * tuple never materializes); identifier heads and the remaining
+   * patterns bind through the checker's own element type — the interned
+   * [number, T] tuple record. Stored iterator OBJECTS keep their fence
+   * (only the direct for-of position unwraps). */
+export declare function lowerForOfArrayIter(L: Lowerer, stmt: ts.ForOfStatement, iterable: IrExpr & {
+    type: IrType & {
+        kind: "array";
+    };
+}, proj: "keys" | "entries"): IrStmt;
 export declare function lowerForOfMap(L: Lowerer, stmt: ts.ForOfStatement, iterable: IrExpr, mapT: IrType & {
     kind: "map";
 }, proj?: ForOfIterProjection): IrStmt;
@@ -388,8 +405,10 @@ export declare function lowerObjectFromEntriesCall(L: Lowerer, call: ts.CallExpr
    * every source value (declared fields, and the overflow slot when the
    * source carries one) must enter the target's value slot (identity, a
    * width lift — arm wrap/re-tag/nested reshape, or JSON-safe into a dyn
-   * slot), and every target field must be optional-flavored (the fresh
-   * record's default) and writable at runtime. */
+   * slot), and every target field must either be initialized directly by
+   * a same-named source declared field (the rule that admits REQUIRED
+   * declared members) or be optional-flavored (the fresh record's
+   * default) and writable at runtime. */
 export declare function lowerRecordOvfCaptureHelper(L: Lowerer, fromId: string, toId: string, loc: SrcLoc): string | null;
 /** `Object.assign(target, ...sources)` into an INDEX-SIGNATURE record:
    * the capture helper's keyed-write walk aimed at the EXISTING target —