@scriptc/compiler 0.2.4 → 0.2.6

package/dist/frontend/lowering/binding-analysis.js

@@ -0,0 +1,376 @@
+import * as ts from "../ts7/adapter.js";
+import { isJsSourceFile } from "../program.js";
+import { dynFallbackType } from "./lowerer.js";
+/** True when nothing in `sym`'s DECLARING FILE ever writes it after the
+ * initializer: assignments (plain and compound, destructuring targets
+ * included), ++/--, and for-of/for-in expression targets all count.
+ * Sound file-locally for module-scope bindings because ESM import
+ * bindings are read-only — no other file can write one. Cached per
+ * symbol (the scan walks the whole file once). */
+export function bindingNeverReassigned(lowerer, sym, decl) {
+    const cached = lowerer.neverReassignedCache.get(sym);
+    if (cached !== undefined)
+        return cached;
+    let written = false;
+    // Text pre-check keeps the file walk cheap: only same-named
+    // identifiers pay a symbol resolution.
+    const symText = sym.name;
+    const namesSym = (e) => ts.isIdentifier(e) && e.text === symText && lowerer.resolveValueSymbol(e) === sym;
+    const scanTarget = (t) => {
+        let e = t;
+        while (ts.isParenthesizedExpression(e))
+            e = e.expression;
+        if (namesSym(e)) {
+            written = true;
+            return;
+        }
+        // Destructuring assignment targets: any identifier inside the LHS
+        // pattern could be the binding — over-approximate by scanning.
+        if (ts.isArrayLiteralExpression(e) || ts.isObjectLiteralExpression(e)) {
+            const walk = (n) => {
+                if (namesSym(n))
+                    written = true;
+                else
+                    n.forEachChild(walk);
+            };
+            walk(e);
+        }
+    };
+    const visit = (n) => {
+        if (written)
+            return;
+        if (ts.isBinaryExpression(n)) {
+            const k = n.operatorToken.kind;
+            if (k >= ts.SyntaxKind.FirstAssignment && k <= ts.SyntaxKind.LastAssignment) {
+                scanTarget(n.left);
+            }
+        }
+        else if ((ts.isPrefixUnaryExpression(n) || ts.isPostfixUnaryExpression(n)) &&
+            (n.operator === ts.SyntaxKind.PlusPlusToken || n.operator === ts.SyntaxKind.MinusMinusToken)) {
+            scanTarget(n.operand);
+        }
+        else if ((ts.isForOfStatement(n) || ts.isForInStatement(n)) &&
+            !ts.isVariableDeclarationList(n.initializer)) {
+            scanTarget(n.initializer);
+        }
+        n.forEachChild(visit);
+    };
+    decl.getSourceFile().forEachChild(visit);
+    lowerer.neverReassignedCache.set(sym, !written);
+    return !written;
+}
+/** Strips the value-preserving wrappers off an expression: parens,
+ * non-null assertions, `as`/`satisfies`/angle-bracket casts. What
+ * remains is the expression that actually evaluates. */
+export function stripValueWrappers(e) {
+    let v = e;
+    for (;;) {
+        if (ts.isParenthesizedExpression(v) ||
+            ts.isNonNullExpression(v) ||
+            ts.isAsExpression(v) ||
+            ts.isSatisfiesExpression(v) ||
+            ts.isTypeAssertion(v)) {
+            v = v.expression;
+            continue;
+        }
+        return v;
+    }
+}
+/** The nullish unit `e` provably evaluates to: a bare null/undefined
+ * literal (assertion-wrapped — `null as any`, `null!`), or a read of a
+ * registered NULLISH binding (nullishGenericBindingUnitOf). Null when
+ * the value could be anything else. */
+export function nullishExprUnitOf(lowerer, e) {
+    const v = stripValueWrappers(e);
+    if (v.kind === ts.SyntaxKind.NullKeyword)
+        return "null";
+    if (ts.isIdentifier(v)) {
+        if (v.text === "undefined" && (lowerer.typeOf(v).flags & ts.TypeFlags.Undefined) !== 0) {
+            return "undefined";
+        }
+        return nullishValueUnitOf(lowerer, lowerer.resolveValueSymbol(v));
+    }
+    return null;
+}
+/** The nullish unit a binding provably holds FOREVER, by VALUE alone: its
+ * initializer is nullish (`const i: I<A & B> = null as any`) and every
+ * write in its declaring file is nullish too (`a = b` where b is
+ * another nullish binding). No type condition — callers add their own
+ * (nullishGenericBindingUnitOf gates the no-storage family on
+ * unmappable types; the generic-method call path rescues its fence with
+ * the value fact alone). Cached per symbol; the pre-seeded null entry
+ * guards probe cycles (mutually-assigned bindings resolve link by link,
+ * declaration order). */
+export function nullishValueUnitOf(lowerer, sym) {
+    if (!sym)
+        return null;
+    const cached = lowerer.nullishBindings.get(sym);
+    if (cached !== undefined)
+        return cached;
+    lowerer.nullishBindings.set(sym, null); // cycle guard: self-referential probes answer non-qualifying
+    const decl = lowerer.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 ||
+        !ts.isVariableStatement(decl.parent?.parent)) {
+        return null;
+    }
+    const unit = nullishExprUnitOf(lowerer, decl.initializer);
+    if (unit === null)
+        return null;
+    // Bindings with a CHECKED-DYNAMIC fallback (`const maybe: any =
+    // undefined`, JS inference residue) keep that story: the dyn world
+    // already holds null/undefined correctly and serves every read form
+    // (optional chains included) — this family exists for types with NO
+    // other home.
+    if (dynFallbackType(lowerer, decl.name, lowerer.checker.getTypeOfSymbol(sym)) !== null)
+        return null;
+    if (!allWritesNullish(lowerer, sym, decl))
+        return null;
+    // A use inside a class HERITAGE clause (`class X extends Mixin(...)`)
+    // declines the whole family: heritage resolution is structural (the
+    // mixin machinery can pin the instantiation from the ARGUMENT class
+    // expression without ever reading the callee binding), so a claimed
+    // nullish callee would compile a working class where Node throws
+    // "Mixin is not a function" evaluating the extends expression. The
+    // declaration keeps its type fence instead.
+    if (usedInHeritageClause(lowerer, sym))
+        return null;
+    lowerer.nullishBindings.set(sym, unit);
+    return unit;
+}
+/** True when any identifier resolving to `sym` sits inside a class
+ * heritage clause anywhere in the program. */
+function usedInHeritageClause(lowerer, sym) {
+    const symText = sym.name;
+    let found = false;
+    const visit = (n) => {
+        if (found)
+            return;
+        if (ts.isIdentifier(n) && n.text === symText && lowerer.resolveValueSymbol(n) === sym) {
+            for (let p = n.parent; p !== undefined && !ts.isSourceFile(p); p = p.parent) {
+                if (ts.isHeritageClause(p)) {
+                    found = true;
+                    return;
+                }
+            }
+            return;
+        }
+        n.forEachChild(visit);
+    };
+    for (const file of lowerer.program.getImplementationSourceFiles()) {
+        if (found)
+            break;
+        if (file.isDeclarationFile)
+            continue;
+        file.forEachChild(visit);
+    }
+    return found;
+}
+/** nullishValueUnitOf gated on a declared type that CANNOT hold the
+ * value — the NO-STORAGE family: an unmappable type has no other story,
+ * and a RECORD-mapped one (`const i: I<A & B> = null as any` — an
+ * interface whose members are all generic signatures interns an empty
+ * shape) has a slot null can never inhabit, so storing would throw the
+ * representation error where Node stores null silently. Either way the
+ * declaration emits nothing and reads know the value. Null-tolerant
+ * mappings (unions with a null/undefined arm, dyn) keep their real
+ * storage and every ordinary lowering. */
+export function nullishGenericBindingUnitOf(lowerer, sym) {
+    if (!sym)
+        return null;
+    // The VALUE probe first — it is purely syntactic, so no checker type
+    // query runs for the overwhelmingly common non-nullish declarations
+    // (a query can even panic upstream — the 1e999 checker bug).
+    const unit = nullishValueUnitOf(lowerer, sym);
+    if (unit === null)
+        return null;
+    const mapped = lowerer.mapTypeOf(lowerer.checker.getTypeOfSymbol(sym));
+    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 = lowerer.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 =
+ * <nullish>` assignment — the discipline that keeps a nullish binding's
+ * value knowable. Compound assignments, ++/--, for-in/of cursors, and
+ * destructuring targets all disqualify. */
+function allWritesNullish(lowerer, sym, decl) {
+    const symText = sym.name;
+    const namesSym = (e) => ts.isIdentifier(e) && e.text === symText && lowerer.resolveValueSymbol(e) === sym;
+    let ok = true;
+    const visit = (n) => {
+        if (!ok)
+            return;
+        if (ts.isBinaryExpression(n)) {
+            const k = n.operatorToken.kind;
+            if (k >= ts.SyntaxKind.FirstAssignment && k <= ts.SyntaxKind.LastAssignment) {
+                let lhs = n.left;
+                while (ts.isParenthesizedExpression(lhs))
+                    lhs = lhs.expression;
+                if (namesSym(lhs)) {
+                    if (k !== ts.SyntaxKind.EqualsToken || nullishExprUnitOf(lowerer, n.right) === null)
+                        ok = false;
+                }
+                else if (ts.isArrayLiteralExpression(lhs) || ts.isObjectLiteralExpression(lhs)) {
+                    const walk = (m) => {
+                        if (namesSym(m))
+                            ok = false;
+                        else
+                            m.forEachChild(walk);
+                    };
+                    walk(lhs);
+                }
+            }
+        }
+        else if ((ts.isPrefixUnaryExpression(n) || ts.isPostfixUnaryExpression(n)) &&
+            (n.operator === ts.SyntaxKind.PlusPlusToken || n.operator === ts.SyntaxKind.MinusMinusToken)) {
+            let op = n.operand;
+            while (ts.isParenthesizedExpression(op))
+                op = op.expression;
+            if (namesSym(op))
+                ok = false;
+        }
+        else if ((ts.isForOfStatement(n) || ts.isForInStatement(n)) &&
+            !ts.isVariableDeclarationList(n.initializer)) {
+            let t = n.initializer;
+            while (ts.isParenthesizedExpression(t))
+                t = t.expression;
+            if (namesSym(t))
+                ok = false;
+        }
+        n.forEachChild(visit);
+    };
+    decl.getSourceFile().forEachChild(visit);
+    return ok;
+}
+/** A VALUE-ONLY expression: materializing it has no observable effect
+ * beyond the value itself — function/arrow literals, class-free
+ * literals, nullish units. The dead-binding rule's purity test: Node
+ * builds the value and drops it, so skipping the build entirely is
+ * unobservable. Bare identifier reads stay OUT (a read above a `let`
+ * declaration is a TDZ throw Node WOULD serve). */
+function sideEffectFreeValueExpr(lowerer, e) {
+    const v = stripValueWrappers(e);
+    if (ts.isArrowFunction(v) || ts.isFunctionExpression(v))
+        return true;
+    if (ts.isLiteralExpression(v) ||
+        v.kind === ts.SyntaxKind.NullKeyword ||
+        v.kind === ts.SyntaxKind.TrueKeyword ||
+        v.kind === ts.SyntaxKind.FalseKeyword) {
+        return true;
+    }
+    if (ts.isIdentifier(v) &&
+        v.text === "undefined" &&
+        (lowerer.typeOf(v).flags & ts.TypeFlags.Undefined) !== 0) {
+        return true;
+    }
+    return false;
+}
+/** True when `sym` — a binding whose type has NO static mapping — is DEAD:
+ * never read anywhere in the program, not exported through a specifier,
+ * declared with no initializer or a side-effect-free one, and written
+ * (if at all) only by plain assignments of side-effect-free values. Node
+ * materializes those values and drops them — zero observable effect —
+ * so the declaration and its writes lower to NOTHING instead of fencing
+ * on a type the program never consumes (`var xs2: typeof Array;`, the
+ * write-only `var f2: { <T, U>(x: T, y: U): T }`). TS program files
+ * only: JS bindings keep their checked-dynamic fallbacks. Positive
+ * answers register in lowerer.deadBindings (the assignment lowering skips
+ * writes by the same set). */
+export function deadUnmappableBinding(lowerer, sym, decl) {
+    if (!sym)
+        return false;
+    if (lowerer.deadBindings.has(sym))
+        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;
+    if (decl.initializer !== undefined && !sideEffectFreeValueExpr(lowerer, decl.initializer))
+        return false;
+    // Exported bindings stay out: a library build's exports are consumed
+    // from outside the graph, and export specifiers double as reads.
+    if (ts.getCombinedModifierFlags(decl) & ts.ModifierFlags.Export)
+        return false;
+    // The type gate LAST among the cheap checks: querying the checker for
+    // a type is the expensive step (and can panic upstream — the 1e999
+    // bug), so only survivors of the syntactic filters pay it. Mappable
+    // types keep their real storage.
+    if (lowerer.mapTypeOf(lowerer.checker.getTypeOfSymbol(sym)) !== null)
+        return false;
+    const symText = sym.name;
+    const namesSym = (e) => ts.isIdentifier(e) && e.text === symText && lowerer.resolveValueSymbol(e) === sym;
+    let dead = true;
+    const visit = (n) => {
+        if (!dead)
+            return;
+        if (ts.isIdentifier(n) && n.text === symText) {
+            // Declaration-name occurrences are not reads.
+            if (n.parent !== undefined && ts.isVariableDeclaration(n.parent) && n.parent.name === n) {
+                n.forEachChild(visit);
+                return;
+            }
+            // A plain-assignment LHS is a WRITE — dead only when the RHS
+            // builds no observable effect (the value is dropped with the
+            // binding).
+            const p = n.parent;
+            if (p !== undefined &&
+                ts.isBinaryExpression(p) &&
+                p.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+                p.left === n) {
+                if (!namesSym(n))
+                    return;
+                if (!sideEffectFreeValueExpr(lowerer, p.right))
+                    dead = false;
+                return;
+            }
+            // Import/export specifiers, and every other occurrence, count as
+            // reads.
+            if (namesSym(n))
+                dead = false;
+            return;
+        }
+        n.forEachChild(visit);
+    };
+    for (const file of lowerer.program.getImplementationSourceFiles()) {
+        if (!dead)
+            break;
+        if (file.isDeclarationFile)
+            continue;
+        file.forEachChild(visit);
+    }
+    if (dead)
+        lowerer.deadBindings.add(sym);
+    return dead;
+}
+//# sourceMappingURL=binding-analysis.js.map

package/dist/frontend/lowering/binding-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-analysis.js","sourceRoot":"","sources":["../../../src/frontend/lowering/binding-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C;;;;;kDAKkD;AAClD,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,GAAc,EAAE,IAAa;IACpF,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,4DAA4D;IAC5D,uCAAuC;IACvC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAW,EAAE,CACvC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;IACpF,MAAM,UAAU,GAAG,CAAC,CAAgB,EAAQ,EAAE;QAC5C,IAAI,CAAC,GAAkB,CAAC,CAAC;QACzB,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,OAAO,GAAG,IAAI,CAAC;YACf,OAAO;QACT,CAAC;QACD,kEAAkE;QAClE,+DAA+D;QAC/D,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;gBAChC,IAAI,QAAQ,CAAC,CAAC,CAAC;oBAAE,OAAO,GAAG,IAAI,CAAC;;oBAC3B,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC,CAAC;YACF,IAAI,CAAC,CAAC,CAAC,CAAC;QACV,CAAC;IACH,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,OAAO;YAAE,OAAO;QACpB,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;YAC/B,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC;gBAC5E,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;aAAM,IACL,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC;YACjE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAC5F,CAAC;YACD,UAAU,CAAC,CAAC,CAAC,OAAwB,CAAC,CAAC;QACzC,CAAC;aAAM,IACL,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,WAAW,CAAC,EAC5C,CAAC;YACD,UAAU,CAAC,CAAC,CAAC,WAA4B,CAAC,CAAC;QAC7C,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC,CAAC;IACF,IAAI,CAAC,aAAa,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;IAChD,OAAO,CAAC,OAAO,CAAC;AAClB,CAAC;AAED;;wDAEwD;AACxD,MAAM,UAAU,kBAAkB,CAAC,CAAgB;IACjD,IAAI,CAAC,GAAkB,CAAC,CAAC;IACzB,SAAS,CAAC;QACR,IACE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAC/B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACzB,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;YACpB,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAC3B,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,EACrB,CAAC;YACD,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;YACjB,SAAS;QACX,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED;;;uCAGuC;AACvC,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,CAAgB;IAClE,MAAM,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,MAAM,CAAC;IACxD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACvF,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,OAAO,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;yBAQyB;AACzB,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,GAAqB;IAErB,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,6DAA6D;IACrG,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACrD,sEAAsE;IACtE,sEAAsE;IACtE,sEAAsE;IACtE,yCAAyC;IACzC,IACE,CAAC,IAAI;QACL,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,IAAI,CAAC,aAAa,EAAE,CAAC,iBAAiB;QACtC,IAAI,CAAC,WAAW,KAAK,SAAS;QAC9B,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAC5C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1D,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,gEAAgE;IAChE,mEAAmE;IACnE,oEAAoE;IACpE,oEAAoE;IACpE,cAAc;IACd,IAAI,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI;QACpF,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,sEAAsE;IACtE,oEAAoE;IACpE,oEAAoE;IACpE,oEAAoE;IACpE,iEAAiE;IACjE,mEAAmE;IACnE,4CAA4C;IAC5C,IAAI,oBAAoB,CAAC,OAAO,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACvC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;8CAC8C;AAC9C,SAAS,oBAAoB,CAAC,OAAgB,EAAE,GAAc;IAC5D,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;IACzB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACtF,KACE,IAAI,CAAC,GAAwB,CAAC,CAAC,MAAM,EACrC,CAAC,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EACtC,CAAC,GAAG,CAAC,CAAC,MAAM,EACZ,CAAC;gBACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3B,KAAK,GAAG,IAAI,CAAC;oBACb,OAAO;gBACT,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,CAAC;QAClE,IAAI,KAAK;YAAE,MAAM;QACjB,IAAI,IAAI,CAAC,iBAAiB;YAAE,SAAS;QACrC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;0CAQ0C;AAC1C,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,GAAqB;IAErB,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,qEAAqE;IACrE,oEAAoE;IACpE,6DAA6D;IAC7D,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;IACvE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,kEAAkE;QAClE,oEAAoE;QACpE,oEAAoE;QACpE,+DAA+D;QAC/D,mEAAmE;QACnE,iEAAiE;QACjE,wDAAwD;QACxD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACjD,IACE,CAAC,KAAK;YACN,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YACvB,KAAK,CAAC,KAAK,KAAK,SAAS;YACzB,KAAK,CAAC,UAAU,KAAK,SAAS,EAC9B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;2CAG2C;AAC3C,SAAS,gBAAgB,CAAC,OAAgB,EAAE,GAAc,EAAE,IAAa;IACvE,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAW,EAAE,CACvC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;IACpF,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;YAC/B,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC;gBAC5E,IAAI,GAAG,GAAkB,CAAC,CAAC,IAAI,CAAC;gBAChC,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;oBAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;gBAC/D,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAClB,IAAI,CAAC,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI;wBACjF,EAAE,GAAG,KAAK,CAAC;gBACf,CAAC;qBAAM,IAAI,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;oBACjF,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;wBAChC,IAAI,QAAQ,CAAC,CAAC,CAAC;4BAAE,EAAE,GAAG,KAAK,CAAC;;4BACvB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;oBAC5B,CAAC,CAAC;oBACF,IAAI,CAAC,GAAG,CAAC,CAAC;gBACZ,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IACL,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC;YACjE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAC5F,CAAC;YACD,IAAI,EAAE,GAAkB,CAAC,CAAC,OAAwB,CAAC;YACnD,OAAO,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC;gBAAE,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC;YAC5D,IAAI,QAAQ,CAAC,EAAE,CAAC;gBAAE,EAAE,GAAG,KAAK,CAAC;QAC/B,CAAC;aAAM,IACL,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,WAAW,CAAC,EAC5C,CAAC;YACD,IAAI,CAAC,GAAY,CAAC,CAAC,WAAW,CAAC;YAC/B,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAkB,CAAC;gBACrD,CAAC,GAAI,CAAgC,CAAC,UAAU,CAAC;YACnD,IAAI,QAAQ,CAAC,CAAC,CAAC;gBAAE,EAAE,GAAG,KAAK,CAAC;QAC9B,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC,CAAC;IACF,IAAI,CAAC,aAAa,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;;;mDAKmD;AACnD,SAAS,uBAAuB,CAAC,OAAgB,EAAE,CAAgB;IACjE,MAAM,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrE,IACE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACzB,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACpC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACpC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EACrC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,IAAI,KAAK,WAAW;QACtB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;8BAU8B;AAC9B,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,GAAqB,EACrB,IAA4B;IAE5B,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACvB,IAAI,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,qEAAqE;IACrE,+DAA+D;IAC/D,sEAAsE;IACtE,sEAAsE;IACtE,qDAAqD;IACrD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAChC,IAAI,EAAE,CAAC,iBAAiB,IAAI,cAAc,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC;QACvF,OAAO,KAAK,CAAC;IACf,qEAAqE;IACrE,iEAAiE;IACjE,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC9E,sEAAsE;IACtE,mEAAmE;IACnE,oEAAoE;IACpE,iCAAiC;IACjC,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACnF,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAW,EAAE,CACvC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;IACpF,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7C,8CAA8C;YAC9C,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACxF,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACtB,OAAO;YACT,CAAC;YACD,6DAA6D;YAC7D,6DAA6D;YAC7D,YAAY;YACZ,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YACnB,IACE,CAAC,KAAK,SAAS;gBACf,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBACxB,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;gBAClD,CAAC,CAAC,IAAI,KAAK,CAAC,EACZ,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,OAAO;gBACzB,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC;oBAAE,IAAI,GAAG,KAAK,CAAC;gBAC7D,OAAO;YACT,CAAC;YACD,iEAAiE;YACjE,SAAS;YACT,IAAI,QAAQ,CAAC,CAAC,CAAC;gBAAE,IAAI,GAAG,KAAK,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,CAAC;QAClE,IAAI,CAAC,IAAI;YAAE,MAAM;QACjB,IAAI,IAAI,CAAC,iBAAiB;YAAE,SAAS;QACrC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,IAAI;QAAE,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/builtin-calls.d.ts

@@ -0,0 +1,9 @@
+import * as ts from "../ts7/adapter.js";
+import type { IrExpr, SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** Named imports, namespace members and callable aliases share validation
+ * and dispatch. Resolve diagnostic provenance only if no handler accepts. */
+export declare function lowerBuiltinCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, loc: SrcLoc, namespaceMember?: ts.MemberName): IrExpr;

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

@@ -0,0 +1,60 @@
+import * as ts from "../ts7/adapter.js";
+import { lowerTimersMemberCall } from "./lower-timers.js";
+import { lowerStreamModuleCall } from "./lower-stream.js";
+import { lowerNodeModuleCall } from "./builtins/module-resolution.js";
+import { builtinModuleFnOf, builtinFenceHintOf } from "./surfaces.js";
+/** Named imports, namespace members and callable aliases share validation
+ * and dispatch. Resolve diagnostic provenance only if no handler accepts. */
+export function lowerBuiltinCall(lowerer, expr, bi, loc, namespaceMember) {
+    if (bi.module === "child_process" && bi.member === "execFile") {
+        return lowerer.lowerExecFileCall(expr, loc);
+    }
+    if (bi.module === "timers") {
+        const timersServed = lowerTimersMemberCall(lowerer, expr, bi.member, loc);
+        if (timersServed)
+            return timersServed;
+    }
+    const served = lowerer.lowerNetModuleCall(expr, bi, loc);
+    if (served)
+        return served;
+    const dgramServed = lowerer.lowerDgramDnsModuleCall(expr, bi, loc);
+    if (dgramServed)
+        return dgramServed;
+    const assertServed = lowerer.lowerAssertModuleCall(expr, bi, loc);
+    if (assertServed)
+        return assertServed;
+    const testServed = lowerer.lowerNodeTestModuleCall(expr, bi, loc);
+    if (testServed)
+        return testServed;
+    const utilServed = lowerer.lowerUtilModuleCall(expr, bi, loc);
+    if (utilServed)
+        return utilServed;
+    const streamServed = lowerStreamModuleCall(lowerer, expr, bi, loc);
+    if (streamServed)
+        return streamServed;
+    const fsTs = lowerer.lowerFsToUnixTimestampCall(expr, bi, loc);
+    if (fsTs)
+        return fsTs;
+    const fsLadder = lowerer.lowerFsLadderCall(expr, bi, loc);
+    if (fsLadder)
+        return fsLadder;
+    const cryptoServed = lowerer.lowerCryptoModuleCall(expr, bi, loc);
+    if (cryptoServed)
+        return cryptoServed;
+    const timersInterval = lowerer.lowerTimersPromisesSetInterval(expr, bi, loc);
+    if (timersInterval)
+        return timersInterval;
+    const nodeModuleServed = lowerNodeModuleCall(lowerer, expr, bi, loc);
+    if (nodeModuleServed)
+        return nodeModuleServed;
+    const builtinFn = builtinModuleFnOf(lowerer, bi.module, bi.member);
+    if (!builtinFn) {
+        lowerer.noLowering(`${bi.module}.${bi.member}`, expr, builtinFenceHintOf(bi.module, bi.member), namespaceMember
+            ? lowerer.checker.getSymbolAtLocation(namespaceMember)
+            : ts.isIdentifier(expr.expression)
+                ? lowerer.resolveValueSymbol(expr.expression)
+                : undefined);
+    }
+    return lowerer.lowerBuiltinModuleCall(expr, bi, builtinFn, loc);
+}
+//# sourceMappingURL=builtin-calls.js.map

package/dist/frontend/lowering/builtin-calls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtin-calls.js","sourceRoot":"","sources":["../../../src/frontend/lowering/builtin-calls.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEtE;6EAC6E;AAC7E,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAuB,EACvB,EAAsC,EACtC,GAAW,EACX,eAA+B;IAE/B,IAAI,EAAE,CAAC,MAAM,KAAK,eAAe,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC9D,OAAO,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,YAAY,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1E,IAAI,YAAY;YAAE,OAAO,YAAY,CAAC;IACxC,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACzD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,WAAW,GAAG,OAAO,CAAC,uBAAuB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACnE,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IACpC,MAAM,YAAY,GAAG,OAAO,CAAC,qBAAqB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAClE,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IACtC,MAAM,UAAU,GAAG,OAAO,CAAC,uBAAuB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAClE,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAClC,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAClC,MAAM,YAAY,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACnE,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,0BAA0B,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC1D,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,YAAY,GAAG,OAAO,CAAC,qBAAqB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAClE,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IACtC,MAAM,cAAc,GAAG,OAAO,CAAC,8BAA8B,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC7E,IAAI,cAAc;QAAE,OAAO,cAAc,CAAC;IAC1C,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACrE,IAAI,gBAAgB;QAAE,OAAO,gBAAgB,CAAC;IAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACnE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,CAAC,UAAU,CAChB,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,EAAE,EAC3B,IAAI,EACJ,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EACxC,eAAe;YACb,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,eAAe,CAAC;YACtD,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC7C,CAAC,CAAC,SAAS,CAChB,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,sBAAsB,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;AAClE,CAAC"}

package/dist/frontend/lowering/builtins/arguments.d.ts

@@ -0,0 +1,43 @@
+import { type IrExpr, type IrLibFn, type IrType, type SrcLoc } from "../../../ir/ir.js";
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+export declare function optionalStringTags(lowerer: Lowerer, type: IrType): {
+    stringTag: number;
+    undefinedTag: number;
+} | null;
+export declare function lowerBuiltinValuePreservingUndefined(lowerer: Lowerer, node: ts.Expression): IrExpr;
+export declare function checkedOptionalBuiltinArm(lowerer: Lowerer, value: IrExpr, target: IrType): IrExpr | null;
+export declare function lowerOptionalNumberPredicate(lowerer: Lowerer, value: IrExpr, fn: IrLibFn, loc: SrcLoc): IrExpr | null;
+/** Complete an optional builtin argument. Statically undefined spellings
+ * preserve their effects and select the default; a runtime unit-armed union
+ * uses nullish selection when every non-unit arm is the expected type. */
+export declare function lowerBuiltinOptionalDefault(lowerer: Lowerer, node: ts.Expression, expected: IrType, dflt: IrExpr, nullIsDefault?: boolean): IrExpr;
+/** Strips the type-only wrappers the require pattern rides in typed
+ * code (`require("node:os") as typeof import("node:os")` — the
+ * fallback declarations answer `unknown`, so the cast IS the idiom),
+ * plus parens, legacy assertions, and non-null suffixes. */
+export declare function stripTypeCasts(e: ts.Expression): ts.Expression;
+/** The literal `{ flag: true/false }` options shape: every property a
+ * plain assignment with an identifier name from `allowed` and a boolean
+ * LITERAL value (nothing to evaluate, so folding it away preserves JS
+ * semantics exactly). Null for anything else — spreads, computed keys,
+ * non-literal values, unknown flags. */
+/** An options object literal split into literal-boolean flags (`allowed` —
+ * these change WHICH lowering fires, so they must be spelled true/false)
+ * and expression-valued members (`exprKeys` — number options like
+ * maxRetries, lowered by the caller as ordinary expressions). Null when
+ * any other member appears. */
+export declare function literalBoolOptions(node: ts.Expression, allowed: string[], exprKeys?: string[]): {
+    bools: Record<string, boolean>;
+    exprs: Record<string, ts.Expression>;
+} | null;
+/** One member of an options object literal: a plain `name: value`
+ * assignment, or the shorthand `{ cwd }` — whose value IS the named
+ * binding (the identifier lowers like any other read). Null for spreads,
+ * computed keys, and accessors, which the callers fence. */
+export declare function optionMember(p: ts.ObjectLiteralElementLike): {
+    name: string;
+    value: ts.Expression;
+} | null;
+export declare function errorFirstBytesCallback(lowerer: Lowerer, node: ts.Expression, api: string, arrayBuffer?: boolean): IrExpr;
+export declare function lowerBuiltinByteInput(lowerer: Lowerer, node: ts.Expression, loc: SrcLoc, module: "crypto" | "zlib"): IrExpr;