@scriptc/compiler 0.3.5 → 0.4.0

package/dist/frontend/lowering/cjs-inline-require.js

@@ -0,0 +1,314 @@
+/* Inline CommonJS `require("./x")` of a program module in expression
+ * position. A top-level `const m = require("./x")` binding is alias
+ * plumbing: member reads resolve to the exporter's declarations, and the
+ * statement lowers to the dependency's run-once %init call. An inline
+ * require is the same thing without the binding: the %init call runs at
+ * exactly the call's position (Node evaluates the module there, or
+ * answers from its cache), and the value is then read statically:
+ *
+ *   - `require("./x").f` and `require("./x").f(...)` over a module whose
+ *     exports are a table (member exports or `module.exports = {...}`)
+ *     read the member like a binding would;
+ *   - `require("./x")` as a value over a module whose whole export is one
+ *     value (`module.exports = fn` / `= class {}` / `= make()` / `= 42` /
+ *     `= require("./y")`) answers that value.
+ *
+ * A table module's exports object as a value has no static
+ * representation; it keeps a named refusal (a first-class CommonJS module
+ * object is the two-tier design's S9 stage). */
+import * as ts from "../ts7/adapter.js";
+import { canonicalBuiltinModule, cjsExportAssignmentOf, cjsExportDiscardReason, cjsExportTargetLiteral, isCjsJsFile, isJsSourceFile, isModuleExportsAccess, locOf, npmStaticDepSf7, requireSpecOf, resolveImport, } from "../program.js";
+import { createRequireCalleeFileOf } from "./builtins/module-bindings.js";
+import { isCjsRequireGlobal } from "./lower-node-module.js";
+import { DYN } from "../../ir/ir.js";
+import { nodeThrowExpr } from "../../ir/build.js";
+import { probeNodeRequireRefusal } from "../npm.js";
+/** A `require("<literal>")` call of the CommonJS global in a CommonJS JS
+ * file whose target is a compiled program module (relative, aliased, or an
+ * opted-in --npm-static package). Builtins, JSON documents and
+ * createRequire bindings answer null: their own lowerings own them. */
+export function inlineProgramRequireOf(lowerer, expr) {
+    let e = expr;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (!ts.isCallExpression(e) || !ts.isIdentifier(e.expression))
+        return null;
+    const spec = requireSpecOf(e);
+    if (spec === null || canonicalBuiltinModule(spec) !== null)
+        return null;
+    const sf = ts.getSourceFileOfNode(e);
+    if (!isCjsJsFile(sf, lowerer.program))
+        return null;
+    if (!isCjsRequireGlobal(lowerer, e.expression))
+        return null;
+    if (createRequireCalleeFileOf(lowerer, e.expression) !== null)
+        return null;
+    const dep = resolveImport(lowerer.program, sf, spec, "require") ??
+        npmStaticDepSf7(lowerer.program, sf, spec, "require");
+    if (!dep || dep.isDeclarationFile || dep.fileName.endsWith(".json"))
+        return null;
+    return { call: e, spec, dep };
+}
+/** The kept (last, not discarded) top-level `module.exports = <value>` of a
+ * CommonJS module whose whole export is a single value, or null when its
+ * exports are a table: member exports only, or a literal / const-literal /
+ * Proxy-over-literal table. */
+export function cjsWholeExportValueOf(sf) {
+    let kept = null;
+    for (const stmt of sf.statements.nodes) {
+        const cjs = cjsExportAssignmentOf(stmt);
+        if (cjs?.kind === "table" && cjsExportDiscardReason(stmt) === null)
+            kept = cjs.expr;
+    }
+    if (kept === null)
+        return null;
+    let rhs = kept.right;
+    while (ts.isParenthesizedExpression(rhs))
+        rhs = rhs.expression;
+    if (ts.isObjectLiteralExpression(rhs) || cjsExportTargetLiteral(rhs, sf) !== null)
+        return null;
+    return { assign: kept, rhs };
+}
+/** True when `dep`'s exports, through `module.exports = require("./y")`
+ * re-export chains, are a table that member reads resolve against. */
+export function cjsNamespaceModule(lowerer, dep, depth = 0) {
+    const whole = cjsWholeExportValueOf(dep);
+    if (whole === null)
+        return true;
+    const inner = inlineProgramRequireOf(lowerer, whole.rhs);
+    return inner !== null && depth < 32 && cjsNamespaceModule(lowerer, inner.dep, depth + 1);
+}
+/** An inline program-module require over a table module (member reads and
+ * member calls resolve through it), or null. */
+export function inlineNamespaceRequireOf(lowerer, expr) {
+    const req = inlineProgramRequireOf(lowerer, expr);
+    return req !== null && cjsNamespaceModule(lowerer, req.dep) ? req : null;
+}
+/** `value` evaluated after the required module's run-once %init (and its
+ * module-registry link) at the require's own position. */
+export function withRequireInit(lowerer, req, value) {
+    if (lowerer.inlineRequireCycleCalls.has(req.call)) {
+        lowerer.unsupported("SC1090", req.call, `require() of '${req.spec}' while it is still evaluating (a require cycle: Node answers its partial exports, which the static export table does not model)`);
+    }
+    // Every inline program require is a preflight module edge, so its module
+    // has an initializer; never read its exports without evaluating it.
+    if (!lowerer.initNameOf.has(req.dep)) {
+        lowerer.unsupported("SC1090", req.call, `require() of '${req.spec}' here (the module is not part of the compiled module order)`);
+    }
+    const init = lowerer.requireInitStmt(req.spec, req.call);
+    if (init === null)
+        return value;
+    return { kind: "seqExpr", stmts: [init], result: value, type: value.type, loc: value.loc };
+}
+/** The whole-export value of `dep` read from the requirer, following
+ * `module.exports = require("./y")` re-exports (the inner module already
+ * evaluated inside dep's own %init). Null for table modules and for
+ * whole-export shapes with no represented value. */
+export function wholeExportValue(lowerer, dep, blame, depth = 0) {
+    const whole = cjsWholeExportValueOf(dep);
+    if (whole === null || depth > 32)
+        return null;
+    const inner = inlineProgramRequireOf(lowerer, whole.rhs);
+    if (inner !== null)
+        return wholeExportValue(lowerer, inner.dep, blame, depth + 1);
+    // An identifier names a declaration of the exporting module (or a
+    // builtin global): reading it IS the export, exactly what requirer
+    // bindings alias to.
+    if (ts.isIdentifier(whole.rhs))
+        return lowerer.lowerExpr(whole.rhs);
+    if (ts.isClassExpression(whole.rhs)) {
+        return lowerer.classValueRef(lowerer.lowerClassExpressionInfo(whole.rhs), blame);
+    }
+    const g = lowerer.globalsByDeclNode.get(whole.assign);
+    if (g === undefined)
+        return null;
+    return { kind: "varRef", localId: g.id, type: g.type, loc: locOf(blame) };
+}
+/** `require("./x")` as a value (`require("debug")("ns")`, `new
+ * (require("./C"))()`, `{ verify: require("./verify") }`): the module's
+ * %init at this position, then its whole-export value. Null when `call`
+ * is not an inline program-module require. */
+export function lowerInlineRequireValue(lowerer, call) {
+    const req = inlineProgramRequireOf(lowerer, call);
+    if (req === null)
+        return null;
+    const value = wholeExportValue(lowerer, req.dep, call, 0);
+    if (value === null) {
+        lowerer.unsupported("SC1090", call, cjsNamespaceModule(lowerer, req.dep)
+            ? `the exports object of '${req.spec}' as a value (its exports compile to a static table: read require(${JSON.stringify(req.spec)}).member directly, or bind const m = require(${JSON.stringify(req.spec)}) at the module's top level)`
+            : `the whole export of '${req.spec}' as a value (its 'module.exports =' value has no static representation)`);
+    }
+    return withRequireInit(lowerer, req, value);
+}
+/** Lowers `inner` (a member read or member call whose receiver is the
+ * inline require) with that require marked as handled, so the receiver
+ * resolves as a module binding, then sequences the module's %init first. */
+export function lowerWithInlineRequireInit(lowerer, req, inner) {
+    lowerer.inlineRequireInitDone.add(req.call);
+    try {
+        return withRequireInit(lowerer, req, inner());
+    }
+    finally {
+        lowerer.inlineRequireInitDone.delete(req.call);
+    }
+}
+/** A `require(...)` call of the CommonJS global in a CommonJS file that no
+ * other lowering claimed (not a builtin, JSON document, program module or
+ * createRequire binding): a package nothing installed resolves throws
+ * Node's catchable MODULE_NOT_FOUND at the call, and every other form is
+ * refused by name instead of as an unlowerable `require` value. */
+export function lowerUncompiledRequireCall(lowerer, call) {
+    if (!ts.isIdentifier(call.expression) || call.expression.text !== "require")
+        return null;
+    const sf = ts.getSourceFileOfNode(call);
+    if (!isCjsJsFile(sf, lowerer.program) || !isCjsRequireGlobal(lowerer, call.expression))
+        return null;
+    if (createRequireCalleeFileOf(lowerer, call.expression) !== null)
+        return null;
+    const spec = requireSpecOf(call);
+    if (spec === null) {
+        lowerer.unsupported("SC1090", call, 'require() with a computed specifier (the compiled module graph is fixed at build time: require("<string literal>") lowers)');
+    }
+    if (canonicalBuiltinModule(spec) !== null)
+        return null;
+    if (!spec.startsWith(".") && !spec.startsWith("/") && !spec.startsWith("#")) {
+        const refusal = probeNodeRequireRefusal(sf.fileName, spec);
+        if (refusal !== null) {
+            return nodeThrowExpr(0, "MODULE_NOT_FOUND", refusal.message, DYN, locOf(call));
+        }
+        lowerer.unsupported("SC1090", call, `require() of the package '${spec}' in an expression (the package is not compiled into this program)`);
+    }
+    lowerer.unsupported("SC1090", call, `require() of '${spec}' in an expression (it does not resolve to a compiled program module)`);
+}
+/** The elements of a top-level `const { key: { ... } } = require("./x")`
+ * declaration over a program module whose nested pattern destructures the
+ * named export's value (preflight admits exactly these). Plain elements
+ * stay alias plumbing. */
+export function requireNestedPatternsOf(decl) {
+    if (!ts.isObjectBindingPattern(decl.name) || decl.initializer === undefined)
+        return [];
+    const spec = requireSpecOf(decl.initializer);
+    if (spec === null || canonicalBuiltinModule(spec) !== null)
+        return [];
+    if (!isJsSourceFile(ts.getSourceFileOfNode(decl)))
+        return [];
+    return decl.name.elements.nodes.filter((e) => e.name !== undefined &&
+        ts.isObjectBindingPattern(e.name) &&
+        e.propertyName !== undefined &&
+        ts.isIdentifier(e.propertyName) &&
+        e.initializer === undefined &&
+        e.dotDotDotToken === undefined);
+}
+/** A plain method entry of a `module.exports = { ... }` table: identifier
+ * name, a body, not a generator. Its value is the method's function. */
+export function cjsTableMethodEntry(prop) {
+    if (!ts.isMethodDeclaration(prop) || !ts.isIdentifier(prop.name) || prop.body === undefined)
+        return null;
+    if (prop.asteriskToken !== undefined)
+        return null;
+    return prop;
+}
+/** `exports.<name> = value` / `module.exports.<name> = value` assignments in
+ * VALUE position inside a top-level statement (`const src = exports.src =
+ * []`), outside function bodies and outside the statement's own export
+ * chain (`statementExport`, which the statement-level machinery owns). */
+export function nestedCjsExportAssignmentsOf(stmt, statementExport) {
+    if (!ts.isVariableStatement(stmt) && !ts.isExpressionStatement(stmt))
+        return [];
+    const owned = new Set();
+    for (let e = statementExport; e !== undefined;) {
+        while (ts.isParenthesizedExpression(e))
+            e = e.expression;
+        if (!ts.isBinaryExpression(e) || e.operatorToken.kind !== ts.SyntaxKind.EqualsToken)
+            break;
+        owned.add(e);
+        e = e.right;
+    }
+    const out = [];
+    ts.walkPreorder(stmt, (node) => {
+        if (node !== stmt &&
+            (ts.isFunctionLike(node) || ts.isClassDeclaration(node) || ts.isClassExpression(node)))
+            return "skip";
+        if (ts.isBinaryExpression(node) &&
+            node.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+            !owned.has(node) &&
+            ts.isPropertyAccessExpression(node.left) &&
+            node.left.questionDotToken === undefined &&
+            ts.isIdentifier(node.left.name) &&
+            ((ts.isIdentifier(node.left.expression) && node.left.expression.text === "exports") ||
+                isModuleExportsAccess(node.left.expression))) {
+            out.push({ name: node.left.name, value: node.right });
+        }
+        return undefined;
+    });
+    return out;
+}
+/** `const { A, B: b } = ns` at a module's top level, where `ns` is a
+ * CommonJS module binding over a table module (picomatch's `const {
+ * MAX_LENGTH, ... } = constants`): each name takes a snapshot of the named
+ * export's value at this statement, exactly like destructuring the exports
+ * object would. Null for every other declaration; the plain elements and
+ * their key names otherwise. */
+export function cjsNamespaceDestructureOf(lowerer, decl) {
+    if (!ts.isObjectBindingPattern(decl.name) || decl.initializer === undefined)
+        return null;
+    const stmt = decl.parent?.parent;
+    if (stmt === undefined || !ts.isVariableStatement(stmt) || !ts.isSourceFile(stmt.parent))
+        return null;
+    if (!isJsSourceFile(stmt.parent))
+        return null;
+    let init = decl.initializer;
+    while (ts.isParenthesizedExpression(init))
+        init = init.expression;
+    if (!ts.isIdentifier(init) || !lowerer.cjsLocalModuleBindingOf(init))
+        return null;
+    const dep = lowerer.cjsModuleBindingDepOf(init);
+    if (dep === null)
+        return null;
+    const elements = [];
+    for (const e of decl.name.elements.nodes) {
+        if (e.initializer !== undefined || e.dotDotDotToken !== undefined)
+            return null;
+        if (e.name === undefined || !ts.isIdentifier(e.name))
+            return null;
+        const key = e.propertyName === undefined
+            ? e.name.text
+            : ts.isIdentifier(e.propertyName) || ts.isStringLiteral(e.propertyName)
+                ? e.propertyName.text
+                : null;
+        if (key === null)
+            return null;
+        elements.push({ name: e.name, key });
+    }
+    return { dep, elements };
+}
+/** The value of `dep`'s export `key` read from another module: its export
+ * global, or the function/class declaration it aliases. Null when it has no
+ * static value. */
+export function cjsExportValueByName(lowerer, dep, key, blame) {
+    let sym = lowerer.cjsModuleExportSymbol(dep, key);
+    if (sym === undefined)
+        return null;
+    if (sym.flags & ts.SymbolFlags.Alias)
+        sym = lowerer.checker.getAliasedSymbol(sym);
+    const direct = lowerer.globalsBySymbol.get(sym);
+    if (direct)
+        return { kind: "varRef", localId: direct.id, type: direct.type, loc: locOf(blame) };
+    for (const d of sym.declarations) {
+        const byDecl = lowerer.globalsByDeclNode.get(d);
+        if (byDecl)
+            return { kind: "varRef", localId: byDecl.id, type: byDecl.type, loc: locOf(blame) };
+        // Alias plumbing: a shorthand/identifier table entry or a member
+        // export naming a declaration. Reading that identifier IS the value.
+        if (ts.isShorthandPropertyAssignment(d))
+            return lowerer.lowerShorthandValue(d);
+        if (ts.isPropertyAssignment(d) && ts.isIdentifier(d.initializer)) {
+            return lowerer.lowerExpr(d.initializer);
+        }
+        if ((ts.isFunctionDeclaration(d) || ts.isClassDeclaration(d)) && d.name !== undefined) {
+            return lowerer.lowerExpr(d.name);
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=cjs-inline-require.js.map

package/dist/frontend/lowering/cjs-inline-require.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cjs-inline-require.js","sourceRoot":"","sources":["../../../src/frontend/lowering/cjs-inline-require.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;gDAiBgD;AAChD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,EACtB,WAAW,EACX,cAAc,EACd,qBAAqB,EACrB,KAAK,EACL,eAAe,EACf,aAAa,EACb,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAe,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,uBAAuB,EAAE,MAAM,WAAW,CAAC;AAQpD;;;uEAGuE;AACvE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAmB;IAEnB,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,IAAI,KAAK,IAAI,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,IAAI,yBAAyB,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,GAAG,GACP,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC;QACnD,eAAe,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACjF,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChC,CAAC;AAED;;;+BAG+B;AAC/B,MAAM,UAAU,qBAAqB,CACnC,EAAiB;IAEjB,IAAI,IAAI,GAA+B,IAAI,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,GAAG,EAAE,IAAI,KAAK,OAAO,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,GAAG,GAAkB,IAAI,CAAC,KAAK,CAAC;IACpC,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IAC/D,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,sBAAsB,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/F,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC/B,CAAC;AAED;sEACsE;AACtE,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,GAAkB,EAAE,KAAK,GAAG,CAAC;IAChF,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,KAAK,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACzD,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,GAAG,EAAE,IAAI,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;gDACgD;AAChD,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAmB;IAEnB,MAAM,GAAG,GAAG,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,OAAO,GAAG,KAAK,IAAI,IAAI,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC;AAED;0DAC0D;AAC1D,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,GAAkB,EAAE,KAAa;IACjF,IAAI,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,GAAG,CAAC,IAAI,EACR,iBAAiB,GAAG,CAAC,IAAI,kIAAkI,CAC5J,CAAC;IACJ,CAAC;IACD,yEAAyE;IACzE,oEAAoE;IACpE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,GAAG,CAAC,IAAI,EACR,iBAAiB,GAAG,CAAC,IAAI,8DAA8D,CACxF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;AAC7F,CAAC;AAED;;;oDAGoD;AACpD,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,GAAkB,EAClB,KAAc,EACd,KAAK,GAAG,CAAC;IAET,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,KAAK,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACzD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAClF,kEAAkE;IAClE,mEAAmE;IACnE,qBAAqB;IACrB,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpE,IAAI,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,wBAAwB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;AAC5E,CAAC;AAED;;;8CAG8C;AAC9C,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,MAAM,GAAG,GAAG,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC;YAClC,CAAC,CAAC,0BAA0B,GAAG,CAAC,IAAI,qEAAqE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,gDAAgD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,8BAA8B;YACvO,CAAC,CAAC,wBAAwB,GAAG,CAAC,IAAI,0EAA0E,CAC/G,CAAC;IACJ,CAAC;IACD,OAAO,eAAe,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC;AAED;;4EAE4E;AAC5E,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,GAAkB,EAClB,KAAmB;IAEnB,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,eAAe,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IAChD,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;AACH,CAAC;AAED;;;;mEAImE;AACnE,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,IAAuB;IAEvB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzF,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,IAAI,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9E,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,4HAA4H,CAC7H,CAAC;IACJ,CAAC;IACD,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,uBAAuB,CAAC,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO,aAAa,CAAC,CAAC,EAAE,kBAAkB,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,6BAA6B,IAAI,oEAAoE,CACtG,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,iBAAiB,IAAI,uEAAuE,CAC7F,CAAC;AACJ,CAAC;AAED;;;0BAG0B;AAC1B,MAAM,UAAU,uBAAuB,CAAC,IAA4B;IAClE,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACvF,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,IAAI,IAAI,KAAK,IAAI,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACtE,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7D,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC;QACjC,CAAC,CAAC,YAAY,KAAK,SAAS;QAC5B,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC;QAC/B,CAAC,CAAC,WAAW,KAAK,SAAS;QAC3B,CAAC,CAAC,cAAc,KAAK,SAAS,CACjC,CAAC;AACJ,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,mBAAmB,CACjC,IAAiC;IAEjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QACzF,OAAO,IAAI,CAAC;IACd,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,IAAsE,CAAC;AAChF,CAAC;AAED;;;0EAG0E;AAC1E,MAAM,UAAU,4BAA4B,CAC1C,IAAkB,EAClB,eAAgD;IAEhD,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAChF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAW,CAAC;IACjC,KAAK,IAAI,CAAC,GAA8B,eAAe,EAAE,CAAC,KAAK,SAAS,GAAG,CAAC;QAC1E,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,MAAM;QAC3F,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACb,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAoD,EAAE,CAAC;IAChE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IACE,IAAI,KAAK,IAAI;YACb,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAEtF,OAAO,MAAM,CAAC;QAChB,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACrD,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAChB,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,gBAAgB,KAAK,SAAS;YACxC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC;gBACjF,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAC9C,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;gCAKgC;AAChC,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,IAA4B;IAE5B,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QACtF,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,IAAI,GAAkB,IAAI,CAAC,WAAW,CAAC;IAC3C,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClF,MAAM,GAAG,GAAG,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,QAAQ,GAA2C,EAAE,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAClE,MAAM,GAAG,GACP,CAAC,CAAC,YAAY,KAAK,SAAS;YAC1B,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI;YACb,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC;gBACrE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI;gBACrB,CAAC,CAAC,IAAI,CAAC;QACb,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC3B,CAAC;AAED;;mBAEmB;AACnB,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,GAAkB,EAClB,GAAW,EACX,KAAc;IAEd,IAAI,GAAG,GAAG,OAAO,CAAC,qBAAqB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;QAAE,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IAChG,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,IAAI,MAAM;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChG,iEAAiE;QACjE,qEAAqE;QACrE,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC;YAAE,OAAO,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAC/E,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACjE,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtF,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/cjs-tsc-interop.d.ts

@@ -0,0 +1,28 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+export interface TscInteropBinding {
+    helper: "__importDefault" | "__importStar";
+    spec: string;
+    dep: ts.SourceFile;
+    /** The dependency stamps `__esModule`: the binding IS its exports. */
+    stamped: boolean;
+}
+/** The interop binding a top-level `const x = __importDefault(require(s))` /
+ * `__importStar(require(s))` declaration makes, or null. The helper must be
+ * the module's own tsc helper declaration and the dependency a compiled
+ * CommonJS program module. */
+export declare function tscInteropBindingOfDecl(lowerer: Lowerer, decl: ts.VariableDeclaration): TscInteropBinding | null;
+/** The interop binding an identifier reads, or null. */
+export declare function tscInteropBindingOf(lowerer: Lowerer, expr: ts.Expression): TscInteropBinding | null;
+/** The module whose exports `expr` denotes through an interop binding:
+ * the binding itself when the dependency is stamped (or for __importStar,
+ * whose copy carries every export), and `binding.default` when it is not.
+ * Null for anything else. */
+export declare function tscInteropModuleOf(lowerer: Lowerer, expr: ts.Expression): TscInteropBinding | null;
+/** `binding.default` over an unstamped single-value dependency: that value
+ * (the caller lowers the dependency's whole export). */
+export declare function tscInteropDefaultValueOf(lowerer: Lowerer, expr: ts.PropertyAccessExpression): TscInteropBinding | null;
+/** True for a tsc helper declaration every reference to which is a
+ * recognized interop binding's callee, its own self-probe, or a reference
+ * from another such dead helper: the statement lowers to nothing. */
+export declare function isDeadTscHelperDecl(lowerer: Lowerer, stmt: ts.Statement): boolean;

package/dist/frontend/lowering/cjs-tsc-interop.js

@@ -0,0 +1,208 @@
+/* tsc's CommonJS import interop: `const x_1 = __importDefault(require("./m"))`
+ * and `const x_1 = __importStar(require("./m"))` at a module's top level,
+ * with the helpers tsc emits at the top of the file:
+ *
+ *   var __importDefault = (this && this.__importDefault) || function (mod) {
+ *     return (mod && mod.__esModule) ? mod : { "default": mod };
+ *   };
+ *
+ * For a CommonJS dependency the helper's answer is fixed by the
+ * dependency's source: stamped with `__esModule` (tsc output), the binding
+ * IS the module's exports; otherwise `x_1.default` is the module's exports
+ * (and __importStar also copies every export onto x_1). Both are the
+ * static alias model a plain `const x_1 = require("./m")` already has, so
+ * the binding lowers as a require binding: the statement is the module's
+ * %init, `x_1.f` / `x_1.default.f` read the exports statically, and
+ * `x_1.default` over a single-value module is that value. The helper
+ * declarations themselves are dead once every call is such a binding (the
+ * self-probe `this.__importDefault` reads the pristine exports object,
+ * which never has the name), so they lower to nothing. */
+import * as ts from "../ts7/adapter.js";
+import { isCjsJsFile, isEsModuleStamp, npmStaticDepSf7, requireSpecOf, resolveImport, } from "../program.js";
+import { cjsNamespaceModule } from "./cjs-inline-require.js";
+const HELPERS = new Set([
+    "__importDefault",
+    "__importStar",
+    "__createBinding",
+    "__setModuleDefault",
+]);
+/** `var <helper> = (this && this.<helper>) || <function>` at a module's top
+ * level: the tsc helper declaration shape. */
+function tscHelperDeclName(stmt) {
+    if (!ts.isVariableStatement(stmt))
+        return null;
+    const decls = stmt.declarationList.declarations.nodes;
+    if (decls.length !== 1)
+        return null;
+    const d = decls[0];
+    if (!ts.isIdentifier(d.name) || !HELPERS.has(d.name.text) || d.initializer === undefined)
+        return null;
+    let init = d.initializer;
+    while (ts.isParenthesizedExpression(init))
+        init = init.expression;
+    if (!ts.isBinaryExpression(init) || init.operatorToken.kind !== ts.SyntaxKind.BarBarToken)
+        return null;
+    let probe = init.left;
+    while (ts.isParenthesizedExpression(probe))
+        probe = probe.expression;
+    if (!ts.isBinaryExpression(probe) ||
+        probe.operatorToken.kind !== ts.SyntaxKind.AmpersandAmpersandToken ||
+        probe.left.kind !== ts.SyntaxKind.ThisKeyword ||
+        !ts.isPropertyAccessExpression(probe.right) ||
+        probe.right.expression.kind !== ts.SyntaxKind.ThisKeyword ||
+        probe.right.name.text !== d.name.text)
+        return null;
+    // The fallback is the helper body: a function, or (newer tsc output) a
+    // conditional or IIFE producing one. It never runs when the helper is dead.
+    return d.name.text;
+}
+/** True when the dependency stamps itself as an ES module translation. */
+function stampsEsModule(dep) {
+    return dep.statements.nodes.some((s) => {
+        if (!ts.isExpressionStatement(s))
+            return false;
+        if (isEsModuleStamp(s.expression))
+            return true;
+        const e = s.expression;
+        return (ts.isBinaryExpression(e) &&
+            e.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+            ts.isPropertyAccessExpression(e.left) &&
+            ts.isIdentifier(e.left.expression) &&
+            e.left.expression.text === "exports" &&
+            e.left.name.text === "__esModule" &&
+            e.right.kind === ts.SyntaxKind.TrueKeyword);
+    });
+}
+/** The interop binding a top-level `const x = __importDefault(require(s))` /
+ * `__importStar(require(s))` declaration makes, or null. The helper must be
+ * the module's own tsc helper declaration and the dependency a compiled
+ * CommonJS program module. */
+export function tscInteropBindingOfDecl(lowerer, decl) {
+    if (!ts.isIdentifier(decl.name) || decl.initializer === undefined)
+        return null;
+    const stmt = decl.parent?.parent;
+    if (stmt === undefined || !ts.isVariableStatement(stmt) || !ts.isSourceFile(stmt.parent))
+        return null;
+    const sf = stmt.parent;
+    if (!isCjsJsFile(sf, lowerer.program))
+        return null;
+    let init = decl.initializer;
+    while (ts.isParenthesizedExpression(init))
+        init = init.expression;
+    if (!ts.isCallExpression(init) || init.arguments.nodes.length !== 1)
+        return null;
+    const callee = init.expression;
+    if (!ts.isIdentifier(callee))
+        return null;
+    if (callee.text !== "__importDefault" && callee.text !== "__importStar")
+        return null;
+    if (!sf.statements.nodes.some((s) => tscHelperDeclName(s) === callee.text))
+        return null;
+    const spec = requireSpecOf(init.arguments.nodes[0]);
+    if (spec === null)
+        return null;
+    const dep = resolveImport(lowerer.program, sf, spec, "require") ??
+        npmStaticDepSf7(lowerer.program, sf, spec, "require");
+    if (!dep || dep.isDeclarationFile || !isCjsJsFile(dep, lowerer.program))
+        return null;
+    return {
+        helper: callee.text,
+        spec,
+        dep,
+        stamped: stampsEsModule(dep),
+    };
+}
+/** The interop binding an identifier reads, or null. */
+export function tscInteropBindingOf(lowerer, expr) {
+    if (!ts.isIdentifier(expr))
+        return null;
+    const sym = lowerer.checker.getSymbolAtLocation(expr);
+    const decl = sym ? sym.declarations.find(ts.isVariableDeclaration) : undefined;
+    return decl ? tscInteropBindingOfDecl(lowerer, decl) : null;
+}
+/** The module whose exports `expr` denotes through an interop binding:
+ * the binding itself when the dependency is stamped (or for __importStar,
+ * whose copy carries every export), and `binding.default` when it is not.
+ * Null for anything else. */
+export function tscInteropModuleOf(lowerer, expr) {
+    let e = expr;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    const direct = tscInteropBindingOf(lowerer, e);
+    if (direct !== null) {
+        return direct.stamped || direct.helper === "__importStar" ? direct : null;
+    }
+    if (ts.isPropertyAccessExpression(e) && !e.questionDotToken && e.name.text === "default") {
+        const via = tscInteropBindingOf(lowerer, e.expression);
+        if (via !== null && !via.stamped)
+            return via;
+    }
+    return null;
+}
+/** `binding.default` over an unstamped single-value dependency: that value
+ * (the caller lowers the dependency's whole export). */
+export function tscInteropDefaultValueOf(lowerer, expr) {
+    if (expr.questionDotToken || expr.name.text !== "default")
+        return null;
+    const via = tscInteropBindingOf(lowerer, expr.expression);
+    if (via === null || via.stamped)
+        return null;
+    return cjsNamespaceModule(lowerer, via.dep) ? null : via;
+}
+/** True for a tsc helper declaration every reference to which is a
+ * recognized interop binding's callee, its own self-probe, or a reference
+ * from another such dead helper: the statement lowers to nothing. */
+export function isDeadTscHelperDecl(lowerer, stmt) {
+    const name = tscHelperDeclName(stmt);
+    if (name === null)
+        return false;
+    const sf = ts.getSourceFileOfNode(stmt);
+    const helperSpans = new Map();
+    for (const s of sf.statements.nodes) {
+        const n = tscHelperDeclName(s);
+        if (n !== null)
+            helperSpans.set(n, s);
+    }
+    const dead = new Set();
+    for (let changed = true; changed;) {
+        changed = false;
+        for (const [helper, decl] of helperSpans) {
+            if (dead.has(helper))
+                continue;
+            let live = false;
+            ts.walkPreorder(sf, (node) => {
+                if (!ts.isIdentifier(node) || node.text !== helper)
+                    return undefined;
+                const parent = node.parent;
+                if (parent !== undefined && ts.isVariableDeclaration(parent) && parent.name === node)
+                    return undefined;
+                const at = ts.tokenStartOfNode(node);
+                if (at >= ts.tokenStartOfNode(decl) && at < decl.end)
+                    return undefined;
+                for (const [other, otherDecl] of helperSpans) {
+                    if (other !== helper && dead.has(other)) {
+                        if (at >= ts.tokenStartOfNode(otherDecl) && at < otherDecl.end)
+                            return undefined;
+                    }
+                }
+                const call = parent;
+                const binding = call?.parent;
+                if (call !== undefined &&
+                    ts.isCallExpression(call) &&
+                    call.expression === node &&
+                    binding !== undefined &&
+                    ts.isVariableDeclaration(binding) &&
+                    tscInteropBindingOfDecl(lowerer, binding) !== null)
+                    return undefined;
+                live = true;
+                return "stop";
+            });
+            if (!live) {
+                dead.add(helper);
+                changed = true;
+            }
+        }
+    }
+    return dead.has(name);
+}
+//# sourceMappingURL=cjs-tsc-interop.js.map

package/dist/frontend/lowering/cjs-tsc-interop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cjs-tsc-interop.js","sourceRoot":"","sources":["../../../src/frontend/lowering/cjs-tsc-interop.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;0DAkB0D;AAC1D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EACL,WAAW,EACX,eAAe,EACf,eAAe,EACf,aAAa,EACb,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE7D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;IACtB,iBAAiB;IACjB,cAAc;IACd,iBAAiB;IACjB,oBAAoB;CACrB,CAAC,CAAC;AAUH;8CAC8C;AAC9C,SAAS,iBAAiB,CAAC,IAAkB;IAC3C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,KAAK,CAAC;IACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IACpB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;QACtF,OAAO,IAAI,CAAC;IACd,IAAI,IAAI,GAAkB,CAAC,CAAC,WAAW,CAAC;IACxC,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvF,OAAO,IAAI,CAAC;IACd,IAAI,KAAK,GAAkB,IAAI,CAAC,IAAI,CAAC;IACrC,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IACrE,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;QAC7B,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAClE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC7C,CAAC,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,KAAK,CAAC;QAC3C,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACzD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI;QAErC,OAAO,IAAI,CAAC;IACd,uEAAuE;IACvE,4EAA4E;IAC5E,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,0EAA0E;AAC1E,SAAS,cAAc,CAAC,GAAkB;IACxC,OAAO,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,IAAI,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACvB,OAAO,CACL,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;YACxB,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAClD,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC;YACrC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;YAClC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;YACpC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;YACjC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAA4B;IAE5B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC/E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QACtF,OAAO,IAAI,CAAC;IACd,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;IACvB,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,IAAI,GAAkB,IAAI,CAAC,WAAW,CAAC;IAC3C,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjF,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IACrF,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACrD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,GAAG,GACP,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC;QACnD,eAAe,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,iBAAiB,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAmC;QAClD,IAAI;QACJ,GAAG;QACH,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAmB;IAEnB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,OAAO,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED;;;6BAG6B;AAC7B,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAmB;IAEnB,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC/C,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzF,MAAM,GAAG,GAAG,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QACvD,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO;YAAE,OAAO,GAAG,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;wDACwD;AACxD,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAiC;IAEjC,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,GAAG,GAAG,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,OAAO,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;AAC3D,CAAC;AAED;;qEAEqE;AACrE,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAkB;IACtE,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAChC,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAwB,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK,IAAI;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC/B,IAAI,IAAI,GAAG,KAAK,CAAC;YACjB,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;gBAC3B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,SAAS,CAAC;gBACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAC3B,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;oBAClF,OAAO,SAAS,CAAC;gBACnB,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,EAAE,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG;oBAAE,OAAO,SAAS,CAAC;gBACvE,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,WAAW,EAAE,CAAC;oBAC7C,IAAI,KAAK,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBACxC,IAAI,EAAE,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,GAAG;4BAAE,OAAO,SAAS,CAAC;oBACnF,CAAC;gBACH,CAAC;gBACD,MAAM,IAAI,GAAG,MAAM,CAAC;gBACpB,MAAM,OAAO,GAAG,IAAI,EAAE,MAAM,CAAC;gBAC7B,IACE,IAAI,KAAK,SAAS;oBAClB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;oBACzB,IAAI,CAAC,UAAU,KAAK,IAAI;oBACxB,OAAO,KAAK,SAAS;oBACrB,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;oBACjC,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,IAAI;oBAElD,OAAO,SAAS,CAAC;gBACnB,IAAI,GAAG,IAAI,CAAC;gBACZ,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}

package/dist/frontend/lowering/class-attributes.d.ts

@@ -0,0 +1,19 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr, type IrFunction } from "../../ir/ir.js";
+import { type Lowerer } from "./lowerer.js";
+/** Object.freeze, Object.seal and Object.preventExtensions of a class
+ * instance: sets the instance's integrity bits, then applies the operation to
+ * the properties added to the instance. Answers the instance. */
+export declare function lowerClassIntegrity(lowerer: Lowerer, call: ts.CallExpression, member: "freeze" | "seal" | "preventExtensions", target: IrExpr): IrExpr | null;
+/** Object.defineProperty with a string-literal key naming a declared field
+ * of a class instance: a data descriptor changes the field's value and
+ * attributes, validated as Node validates ordinary objects. Answers the
+ * instance, or null when the call is not of that form. An object-literal
+ * accessor descriptor is refused at compile time; other accessor
+ * descriptors throw SC2020 when the call runs. */
+export declare function lowerClassFieldDefine(lowerer: Lowerer, call: ts.CallExpression, target: IrExpr): IrExpr | null;
+/** Checks the integrity word, and the field's attribute word when it has one,
+ * before every write to a declared field of a hierarchy that has them. A
+ * read-only field throws Node's TypeError in strict mode code; a sloppy-mode
+ * write leaves it unchanged. Other classes keep their plain stores. */
+export declare function guardClassAttributeWrites(lowerer: Lowerer, functions: IrFunction[]): void;