@scriptc/compiler 0.0.10 → 0.0.11

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

@@ -13,7 +13,7 @@ import { NARROW_FIRST, builtinFenceHintOf, builtinModuleFnOf } from "./surfaces.
 import { requiresDynamicDiag } from "../../diagnostics/diagnostic.js";
 import { mixinFnShapeOf } from "./lower-mixins.js";
 import { bufEncoding, dynStringReceiver, lowerArrayFromCall, lowerDynArrayFilterCall, lowerDynArrayFlatMapCall, lowerGroupByStaticCall, lowerIteratorHelperCall, lowerObjectAssignIndexShape, lowerObjectFromEntriesCall, lowerObjectIterOverIndexShape, lowerRegexMethodCall, lowerStringMethodCall, lowerTupleReadMethodCall } from "./lower-containers.js";
-import { lowerChildStreamMethodCall, lowerDirentMethodCall, lowerPerfHooksCall, lowerProcStreamMethodCall, lowerReflectApplyCall, lowerWatcherMethodCall } from "./lower-builtins.js";
+import { lowerChildStreamMethodCall, lowerCreateRequireCall, lowerDirentMethodCall, lowerPerfHooksCall, lowerProcStreamMethodCall, lowerReflectApplyCall, lowerWatcherMethodCall } from "./lower-builtins.js";
 import { droppableStatic, lowerPromiseAllTupleCall, lowerPromiseRejectCall, probeLower, templateRawTextOf } from "./lower-exprs.js";
 import { httpClientFnBindingOf, isStreamUndefCallExpr, lowerHttpClientFnCall } from "./lower-server.js";
 import { EMITTER_API_MEMBERS, exactInstanceClassOf, findGenericMethodOn, lowerClassGenericMethodCall, lowerStaticMethodCall } from "./lower-classes.js";
@@ -2316,6 +2316,15 @@ export function lowerCall(L, expr) {
             }
         }
     }
+    // `require("spec")` through a createRequire binding (and the inline
+    // `createRequire(import.meta.url)("spec")` spelling — a CallExpression
+    // callee no other dispatch path serves): the static erasure —
+    // builtins/json/npm per lowerCreateRequireCall's arms.
+    {
+        const crServed = lowerCreateRequireCall(L, expr, loc);
+        if (crServed)
+            return crServed;
+    }
     // `process.getuid?.()` — intercepted BEFORE the optional-chain
     // machinery (the member always exists on a POSIX target, so the
     // optional call IS the call; `process.getuid` itself has no value
@@ -7128,8 +7137,13 @@ export function nullishValueUnitOf(L, sym) {
         return cached;
     L.nullishBindings.set(sym, null); // cycle guard: self-referential probes answer non-qualifying
     const decl = L.checker.valueDeclarationOf(sym);
+    // Statement-position declarators only: a for-loop head (`for (let x =
+    // null as any; ...)`) declares a LOCAL with per-iteration semantics —
+    // lowerVarDeclList's contract requires a lowered statement for it, so
+    // the no-storage family never claims it.
     if (!decl || !ts.isVariableDeclaration(decl) || !ts.isIdentifier(decl.name) ||
-        decl.getSourceFile().isDeclarationFile || decl.initializer === undefined) {
+        decl.getSourceFile().isDeclarationFile || decl.initializer === undefined ||
+        !ts.isVariableStatement(decl.parent.parent)) {
         return null;
     }
     const unit = nullishExprUnitOf(L, decl.initializer);
@@ -7204,8 +7218,21 @@ export function nullishGenericBindingUnitOf(L, sym) {
     if (unit === null)
         return null;
     const mapped = L.mapTypeOf(L.checker.getTypeOfSymbol(sym));
-    if (mapped !== null && mapped.kind !== "record")
-        return null;
+    if (mapped !== null) {
+        // Only the EMPTY interned shape qualifies among record mappings —
+        // the all-generic-signature interface (`I<A & B>`) whose struct has
+        // no slot at all. A record with DATA fields (`const value: { inner:
+        // number | string } = null as any`) keeps its real storage and
+        // every ordinary lowering: its reads flow through positions (comma
+        // chains, call arguments) the no-storage read paths never claim,
+        // so claiming the binding would fence working programs.
+        if (mapped.kind !== "record")
+            return null;
+        const shape = L.shapes.get(mapped.shapeId);
+        if (!shape || shape.fields.length > 0 || shape.tuple !== undefined || shape.indexValue !== undefined) {
+            return null;
+        }
+    }
     return unit;
 }
 /** True when every write of `sym` in its declaring file is a plain `x =
@@ -7297,6 +7324,13 @@ export function deadUnmappableBinding(L, sym, decl) {
         return true;
     if (!ts.isIdentifier(decl.name))
         return false;
+    // Statement-position declarators only: a for-loop head (`for (let x;
+    // false;) {}`) declares a LOCAL with per-iteration semantics —
+    // lowerVarDeclList's contract requires a lowered statement for it, so
+    // the no-storage family never claims it (catch bindings sit outside a
+    // variable statement too and stay out the same way).
+    if (!ts.isVariableStatement(decl.parent.parent))
+        return false;
     const sf = decl.getSourceFile();
     if (sf.isDeclarationFile || isJsSourceFile(sf))
         return false;