@scriptc/compiler 0.4.2 → 0.4.4

package/dist/frontend/lowering/module-namespace-elements.d.ts

@@ -1,7 +1,17 @@
 import * as ts from "../ts7/adapter.js";
-import { type IrExpr } from "../../ir/ir.js";
+import { type IrExpr, type IrType } from "../../ir/ir.js";
 import { type Lowerer } from "./lowerer.js";
 /** Computed namespace reads select live exports instead of copying a
  * namespace into a registry snapshot. Constructor registries may contain
  * unrelated classes with different native signatures. */
 export declare function lowerModuleNamespaceElement(lowerer: Lowerer, expr: ts.ElementAccessExpression): IrExpr | null;
+/** A module namespace taken as an untyped value (`{ ...ns }`, `{ iso: ns }`
+ * in JavaScript): an object holding each value export, keyed in the
+ * namespace's sorted key order. The copy is exact while every export is a
+ * binding that never changes after initialization (const, function or
+ * class); null for other namespaces, which keep their fence. */
+export declare function moduleNamespaceObject(lowerer: Lowerer, ns: IrExpr & {
+    type: IrType & {
+        kind: "moduleNs";
+    };
+}): IrExpr | null;

package/dist/frontend/lowering/module-namespace-elements.js

@@ -1,6 +1,6 @@
 import { dynUndefinedExpr, strLit, varRef } from "../../ir/build.js";
 import * as ts from "../ts7/adapter.js";
-import { DYN, STRING } from "../../ir/ir.js";
+import { DYN, STRING, } from "../../ir/ir.js";
 import { locOf } from "../program.js";
 import { newFnCtx } from "./lowerer.js";
 /** Computed namespace reads select live exports instead of copying a
@@ -23,12 +23,13 @@ export function lowerModuleNamespaceElement(lowerer, expr) {
         try {
             const body = [];
             const symbol = lowerer.checker.getSymbolAtLocation(source);
-            symbol?.getExports().forEach((exported, key) => {
+            for (const exported of symbol ? lowerer.checker.getExportsOfModule(symbol) : []) {
+                const key = ts.symbolName(exported);
                 const target = exported.flags & ts.SymbolFlags.Alias
                     ? lowerer.checker.getAliasedSymbol(exported)
                     : exported;
                 if (!(target.flags & ts.SymbolFlags.Value))
-                    return;
+                    continue;
                 const declaration = target.valueDeclaration;
                 const identifier = declaration?.name;
                 if (!identifier || !ts.isIdentifier(identifier)) {
@@ -41,7 +42,7 @@ export function lowerModuleNamespaceElement(lowerer, expr) {
                         kind: "strEq",
                         negated: false,
                         left: varRef("key", STRING, loc),
-                        right: strLit(String(key), loc),
+                        right: strLit(key, loc),
                         type: { kind: "bool" },
                         loc,
                     },
@@ -49,7 +50,7 @@ export function lowerModuleNamespaceElement(lowerer, expr) {
                     else_: null,
                     loc,
                 });
-            });
+            }
             body.push({ kind: "return", value: dynUndefinedExpr(loc), loc });
             const fn = {
                 name,
@@ -86,4 +87,80 @@ export function lowerModuleNamespaceElement(lowerer, expr) {
         };
     return { kind: "call", callee: name, args: [receiver, text], type: DYN, loc };
 }
+/** A module namespace taken as an untyped value (`{ ...ns }`, `{ iso: ns }`
+ * in JavaScript): an object holding each value export, keyed in the
+ * namespace's sorted key order. The copy is exact while every export is a
+ * binding that never changes after initialization (const, function or
+ * class); null for other namespaces, which keep their fence. */
+export function moduleNamespaceObject(lowerer, ns) {
+    const source = lowerer.sourceFileOfModuleNamespace(ns.type);
+    if (!source)
+        return null;
+    const symbol = lowerer.checker.getSymbolAtLocation(source);
+    if (!symbol)
+        return null;
+    const exports = [];
+    let exact = true;
+    // The module's resolved exports, which include `export *` members.
+    for (const exported of lowerer.checker.getExportsOfModule(symbol)) {
+        const key = ts.symbolName(exported);
+        const target = exported.flags & ts.SymbolFlags.Alias ? lowerer.checker.getAliasedSymbol(exported) : exported;
+        if (!(target.flags & ts.SymbolFlags.Value))
+            continue;
+        const declaration = target.valueDeclaration;
+        const identifier = declaration?.name;
+        const immutable = declaration !== undefined &&
+            (ts.isFunctionDeclaration(declaration) ||
+                ts.isClassDeclaration(declaration) ||
+                (ts.isVariableDeclaration(declaration) &&
+                    (ts.getCombinedNodeFlags(declaration) & ts.NodeFlags.Const) !== 0));
+        if (!identifier || !ts.isIdentifier(identifier) || !immutable) {
+            exact = false;
+            break;
+        }
+        exports.push({ key, identifier });
+    }
+    if (!exact)
+        return null;
+    exports.sort((a, b) => (a.key < b.key ? -1 : a.key > b.key ? 1 : 0));
+    const name = `%module.object:${ns.type.moduleId}`;
+    const loc = ns.loc;
+    if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
+        const context = newFnCtx(false, null, null, DYN);
+        const previousClass = lowerer.currentClass;
+        lowerer.currentClass = null;
+        lowerer.fnStack.push(context);
+        try {
+            const fields = exports.map(({ key, identifier }) => ({
+                key: strLit(key, loc),
+                value: lowerer.lowerExprExpecting(identifier, DYN),
+            }));
+            if (fields.some((field) => field.value.type.kind !== "dyn"))
+                return null;
+            const fn = {
+                name,
+                params: [],
+                returnType: DYN,
+                locals: [...context.locals],
+                body: [{ kind: "return", value: { kind: "dynObjLit", fields, type: DYN, loc }, loc }],
+                loc,
+            };
+            lowerer.liftedFns.push(fn);
+        }
+        finally {
+            lowerer.fnStack.pop();
+            lowerer.currentClass = previousClass;
+        }
+    }
+    const call = { kind: "call", callee: name, args: [], type: DYN, loc };
+    if (ns.kind === "moduleNsRef")
+        return call;
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "exprStmt", expr: ns, loc }],
+        result: call,
+        type: DYN,
+        loc,
+    };
+}
 //# sourceMappingURL=module-namespace-elements.js.map

package/dist/frontend/lowering/module-namespace-elements.js.map

@@ -1 +1 @@
-{"version":3,"file":"module-namespace-elements.js","sourceRoot":"","sources":["../../../src/frontend/lowering/module-namespace-elements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,EAA6C,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAgB,MAAM,cAAc,CAAC;AAEtD;;yDAEyD;AACzD,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAgC;IAEhC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAChE,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,mBAAmB,IAAI,CAAC,QAAQ,EAAE,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;QAC3C,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;QAC5B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAC3D,MAAM,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE;gBAC7C,MAAM,MAAM,GACV,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;oBACnC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC;oBAC5C,CAAC,CAAC,QAAQ,CAAC;gBACf,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;oBAAE,OAAO;gBACnD,MAAM,WAAW,GAAG,MAAM,CAAC,gBAAgB,CAAC;gBAC5C,MAAM,UAAU,GAAG,WAAW,EAAE,IAA2B,CAAC;gBAC5D,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;oBAChD,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,6CAA6C,CAAC,CAAC;gBACrF,CAAC;gBACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC1D,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,KAAK;wBACd,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC;wBAChC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;wBAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;wBACtB,GAAG;qBACJ;oBACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;oBACtC,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACjE,MAAM,EAAE,GAAe;gBACrB,IAAI;gBACJ,MAAM,EAAE;oBACN,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE;oBACjD,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;iBAC9C;gBACD,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE;oBACN,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC5D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;oBACxD,GAAG,OAAO,CAAC,MAAM;iBAClB;gBACD,IAAI;gBACJ,GAAG;aACJ,CAAC;YACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtB,OAAO,CAAC,YAAY,GAAG,aAAa,CAAC;QACvC,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACvD,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACxB,CAAC,CAAC,GAAG;QACL,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC7D,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACR,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC"}
+{"version":3,"file":"module-namespace-elements.js","sourceRoot":"","sources":["../../../src/frontend/lowering/module-namespace-elements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,GAAG,EACH,MAAM,GAKP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAgB,MAAM,cAAc,CAAC;AAEtD;;yDAEyD;AACzD,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAgC;IAEhC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAChE,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,mBAAmB,IAAI,CAAC,QAAQ,EAAE,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;QAC3C,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;QAC5B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAC3D,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBAChF,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBACpC,MAAM,MAAM,GACV,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;oBACnC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC;oBAC5C,CAAC,CAAC,QAAQ,CAAC;gBACf,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACrD,MAAM,WAAW,GAAG,MAAM,CAAC,gBAAgB,CAAC;gBAC5C,MAAM,UAAU,GAAG,WAAW,EAAE,IAA2B,CAAC;gBAC5D,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;oBAChD,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,6CAA6C,CAAC,CAAC;gBACrF,CAAC;gBACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC1D,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,KAAK;wBACd,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC;wBAChC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;wBACvB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;wBACtB,GAAG;qBACJ;oBACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;oBACtC,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACjE,MAAM,EAAE,GAAe;gBACrB,IAAI;gBACJ,MAAM,EAAE;oBACN,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE;oBACjD,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;iBAC9C;gBACD,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE;oBACN,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC5D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;oBACxD,GAAG,OAAO,CAAC,MAAM;iBAClB;gBACD,IAAI;gBACJ,GAAG;aACJ,CAAC;YACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtB,OAAO,CAAC,YAAY,GAAG,aAAa,CAAC;QACvC,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACvD,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACxB,CAAC,CAAC,GAAG;QACL,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC7D,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACR,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC;AAED;;;;gEAIgE;AAChE,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,EAAoD;IAEpD,MAAM,MAAM,GAAG,OAAO,CAAC,2BAA2B,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,OAAO,GAAiD,EAAE,CAAC;IACjE,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,mEAAmE;IACnE,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,MAAM,GACV,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAChG,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;YAAE,SAAS;QACrD,MAAM,WAAW,GAAG,MAAM,CAAC,gBAAgB,CAAC;QAC5C,MAAM,UAAU,GAAG,WAAW,EAAE,IAA2B,CAAC;QAC5D,MAAM,SAAS,GACb,WAAW,KAAK,SAAS;YACzB,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;gBACpC,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;gBAClC,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;oBACpC,CAAC,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YAC9D,KAAK,GAAG,KAAK,CAAC;YACd,MAAM;QACR,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,kBAAkB,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;IAClD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;QAC3C,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;QAC5B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;gBACnD,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;gBACrB,KAAK,EAAE,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC;aACnD,CAAC,CAAC,CAAC;YACJ,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzE,MAAM,EAAE,GAAe;gBACrB,IAAI;gBACJ,MAAM,EAAE,EAAE;gBACV,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;gBAC3B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;gBACrF,GAAG;aACJ,CAAC;YACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtB,OAAO,CAAC,YAAY,GAAG,aAAa,CAAC;QACvC,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9E,IAAI,EAAE,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAC3C,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;QAC5C,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/new-target.d.ts

@@ -0,0 +1,12 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+export declare function isNewTarget(node: ts.Node): node is ts.MetaProperty;
+/** `new.target` as a value. */
+export declare function lowerNewTarget(lowerer: Lowerer, expr: ts.MetaProperty): IrExpr;
+/** `new.target.name`: the exact class's name, without materializing a
+ * class value (subclasses may construct with other signatures). */
+export declare function lowerNewTargetName(lowerer: Lowerer, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `new.target === C` (and `!==`, `==`, `!=`, either operand order) with a
+ * program class named by the other operand: an exact-class test. */
+export declare function lowerNewTargetComparison(lowerer: Lowerer, expr: ts.BinaryExpression): IrExpr | null;

package/dist/frontend/lowering/new-target.js

@@ -0,0 +1,280 @@
+/* `new.target`. Compiled code has no invocation record, but inside a class
+ * constructor `new.target` is always the class of the object under
+ * construction: a compiled `new` allocates the instance with its concrete
+ * class before any constructor of the chain runs, and every constructor of
+ * the chain receives that instance as `this`. The program's class
+ * hierarchy is closed, so the value is a static dispatch over the
+ * constructor's class and its descendants: the deepest class the instance
+ * is an instance of is its exact class.
+ *
+ * The checker rejects `new.target` in methods, accessors, static blocks and
+ * field initializers. Plain functions (constructible in JavaScript) keep
+ * the refusal. */
+import * as ts from "../ts7/adapter.js";
+import { BOOL, STRING } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { locOf } from "../program.js";
+import { classValueRef, functionLocalClass } from "./lower-classes.js";
+export function isNewTarget(node) {
+    return (ts.isMetaProperty(node) &&
+        node.keywordToken === ts.SyntaxKind.NewKeyword &&
+        node.name.text === "target");
+}
+function bindingOf(node) {
+    for (let p = node.parent; p !== undefined; p = p.parent) {
+        if (ts.isArrowFunction(p))
+            continue;
+        if (ts.isConstructorDeclaration(p))
+            return { kind: "constructor", declaration: p };
+        if (ts.isFunctionLike(p) || ts.isSourceFile(p))
+            return { kind: "function" };
+    }
+    return { kind: "function" };
+}
+function depth(info) {
+    let d = 0;
+    for (let c = info.base; c; c = c.base)
+        d++;
+    return d;
+}
+/** The function-local classes of the program that extend a class. */
+function functionLocalSubclasses(lowerer) {
+    let found = lowerer.functionLocalSubclasses;
+    if (found === undefined) {
+        const classes = [];
+        for (const sf of lowerer.moduleOrder)
+            ts.walkPreorder(sf, (node) => {
+                if ((ts.isClassDeclaration(node) || ts.isClassExpression(node)) &&
+                    baseExpressionOf(node) !== undefined &&
+                    functionLocalClass(node))
+                    classes.push(node);
+            });
+        lowerer.functionLocalSubclasses = found = classes;
+    }
+    return found;
+}
+function baseExpressionOf(node) {
+    let base = node.heritageClauses?.nodes.find((clause) => clause.token === ts.SyntaxKind.ExtendsKeyword)?.types?.nodes[0]?.expression;
+    while (base !== undefined && ts.isParenthesizedExpression(base))
+        base = base.expression;
+    return base;
+}
+/** Whether the class `node` extends the class of `info` (for an
+ * instantiation, its family), directly or through other classes, as far as
+ * its `extends` clauses name classes. */
+function derivesFrom(lowerer, node, info, seen) {
+    if (seen.has(node))
+        return false;
+    seen.add(node);
+    const base = baseExpressionOf(node);
+    const name = base === undefined
+        ? undefined
+        : ts.isIdentifier(base)
+            ? base
+            : ts.isPropertyAccessExpression(base)
+                ? base.name
+                : undefined;
+    let symbol = name === undefined ? undefined : lowerer.checker.getSymbolAtLocation(name);
+    if (symbol !== undefined && (symbol.flags & ts.SymbolFlags.Alias) !== 0)
+        symbol = lowerer.checker.getAliasedSymbol(symbol);
+    if (symbol === undefined)
+        return false;
+    const named = lowerer.classBySymbol.get(symbol);
+    if (named !== undefined)
+        return (named === info ||
+            named === info.genericInstance?.family ||
+            lowerer.isSubclassOf(named.def.name, info.def.name));
+    // A class lowering has not collected: through its declaration.
+    for (const declaration of symbol.declarations) {
+        let cls = declaration;
+        if (ts.isVariableDeclaration(cls)) {
+            cls = cls.initializer;
+            while (cls !== undefined && ts.isParenthesizedExpression(cls))
+                cls = cls.expression;
+        }
+        if (cls !== undefined &&
+            (ts.isClassDeclaration(cls) || ts.isClassExpression(cls)) &&
+            derivesFrom(lowerer, cls, info, seen))
+            return true;
+    }
+    return false;
+}
+/** `node`'s name, quoted, for diagnostics. */
+function localClassName(node) {
+    if (node.name)
+        return `'${node.name.text}'`;
+    const parent = node.parent;
+    return parent && ts.isVariableDeclaration(parent) && ts.isIdentifier(parent.name)
+        ? `'${parent.name.text}'`
+        : "a class expression";
+}
+/** The classes `new.target` can denote in the constructor being lowered,
+ * or null after a diagnostic. */
+function dispatchOf(lowerer, expr) {
+    const binding = bindingOf(expr);
+    if (binding.kind !== "constructor")
+        return null;
+    const info = lowerer.currentClass;
+    const cls = binding.declaration.parent;
+    if (!info || (info.decl !== null && info.decl !== cls)) {
+        lowerer.unsupported("SC1090", expr, "'new.target' in this constructor (its class has no lowering here)");
+        return null;
+    }
+    // An instantiation's subclasses can also be instantiations of generic
+    // subclasses of its family (`class G<T> extends Box<T>` under Box<number>).
+    const family = info.genericInstance?.family;
+    const descendants = [];
+    for (const other of lowerer.classes.values()) {
+        if (other === info)
+            continue;
+        if (lowerer.isSubclassOf(other.def.name, info.def.name) ||
+            (family !== undefined &&
+                other.generic !== undefined &&
+                other !== family &&
+                lowerer.isSubclassOf(other.def.name, family.def.name)))
+            descendants.push(other);
+    }
+    descendants.sort((a, b) => depth(b) - depth(a));
+    const classes = [...descendants, info];
+    for (const c of classes) {
+        if (c.localClass) {
+            lowerer.unsupported("SC1090", expr, `'new.target' where '${c.def.jsName ?? c.def.name}' is a function-local class (each evaluation creates a new class)`);
+            return null;
+        }
+    }
+    // Lowering collects a function-local class with the body declaring it,
+    // which may come after this constructor.
+    for (const local of functionLocalSubclasses(lowerer)) {
+        if (!derivesFrom(lowerer, local, info, new Set()))
+            continue;
+        lowerer.unsupported("SC1090", expr, `'new.target' where ${localClassName(local)} is a function-local class (each evaluation creates a new class)`);
+    }
+    let self = null;
+    if (classes.length > 1) {
+        const thisLocal = lowerer.resolveThis(expr);
+        if (!thisLocal || thisLocal.type.kind !== "object") {
+            lowerer.unsupported("SC1090", expr, "'new.target' where the constructor's 'this' has no class representation");
+            return null;
+        }
+        self = varRef(thisLocal.id, thisLocal.type, locOf(expr));
+    }
+    return { info, classes, self };
+}
+/** A conditional chain selecting `arm(D)` for the exact class D of the
+ * instance under construction. */
+function select(dispatch, type, loc, arm) {
+    const { classes, self } = dispatch;
+    let result = arm(classes[classes.length - 1]);
+    for (let i = classes.length - 2; i >= 0; i--) {
+        const c = classes[i];
+        result = {
+            kind: "ternary",
+            cond: { kind: "instanceOf", value: self, className: c.def.name, type: BOOL, loc },
+            then: arm(c),
+            else_: result,
+            type,
+            loc,
+        };
+    }
+    return result;
+}
+function refuseFunction(lowerer, expr) {
+    return lowerer.unsupported("SC1090", expr, "'new.target' in a plain function (a constructible function's invocation record does not exist in compiled code; use a class constructor)");
+}
+/** `new.target` as a value. */
+export function lowerNewTarget(lowerer, expr) {
+    const loc = locOf(expr);
+    if (bindingOf(expr).kind === "function")
+        refuseFunction(lowerer, expr);
+    const dispatch = dispatchOf(lowerer, expr);
+    const type = { kind: "classval", className: dispatch.info.def.name };
+    for (const c of dispatch.classes) {
+        if (c.generic) {
+            lowerer.unsupported("SC1090", expr, `'new.target' as a value where '${c.def.jsName ?? c.def.name}' is a generic subclass (its instantiations have no common class value; read 'new.target.name' or compare 'new.target' with a class instead)`);
+        }
+        if (c !== dispatch.info && !lowerer.ctorAbiEquals(c, dispatch.info)) {
+            lowerer.unsupported("SC1090", expr, `'new.target' as a value where '${c.def.jsName ?? c.def.name}' constructs with a different signature than '${dispatch.info.def.jsName ?? dispatch.info.def.name}' (read 'new.target.name' or compare 'new.target' with a class instead)`);
+        }
+    }
+    return select(dispatch, type, loc, (c) => lowerer.coerceToExpected(classValueRef(lowerer, c, expr), type));
+}
+/** `new.target.name`: the exact class's name, without materializing a
+ * class value (subclasses may construct with other signatures). */
+export function lowerNewTargetName(lowerer, access) {
+    if (access.questionDotToken || access.name.text !== "name")
+        return null;
+    let target = access.expression;
+    while (ts.isParenthesizedExpression(target))
+        target = target.expression;
+    if (!isNewTarget(target) || bindingOf(target).kind !== "constructor")
+        return null;
+    const dispatch = dispatchOf(lowerer, target);
+    if (!dispatch)
+        return null;
+    const loc = locOf(access);
+    return select(dispatch, STRING, loc, (c) => {
+        // An own static `name` field replaces the class's name; a subclass has
+        // its own name. An instantiation's statics are its family's.
+        const owner = c.genericInstance?.family ?? c;
+        const field = owner.staticFields.find((f) => f.name === "name");
+        if (field !== undefined) {
+            if (field.type.kind !== "string")
+                lowerer.unsupported("SC1090", access, `'new.target.name' where '${c.def.jsName ?? c.def.name}' declares a static 'name' that is not a string`);
+            return { kind: "varRef", localId: field.globalId, type: field.type, loc };
+        }
+        if (owner.staticMethods?.has("name") || owner.genericStatics?.has("name"))
+            lowerer.unsupported("SC1090", access, `'new.target.name' where '${c.def.jsName ?? c.def.name}' declares a static method 'name'`);
+        // A generic family's instantiations share its name.
+        if (c.generic)
+            return { kind: "strLit", value: c.def.jsName ?? c.generic.baseName, type: STRING, loc };
+        return {
+            kind: "libCall",
+            fn: "class.name",
+            args: [classValueRef(lowerer, c, target)],
+            type: STRING,
+            loc,
+        };
+    });
+}
+/** `new.target === C` (and `!==`, `==`, `!=`, either operand order) with a
+ * program class named by the other operand: an exact-class test. */
+export function lowerNewTargetComparison(lowerer, expr) {
+    const op = expr.operatorToken.kind;
+    const negated = op === ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+        op === ts.SyntaxKind.ExclamationEqualsToken;
+    if (!negated &&
+        op !== ts.SyntaxKind.EqualsEqualsEqualsToken &&
+        op !== ts.SyntaxKind.EqualsEqualsToken)
+        return null;
+    const strip = (e) => {
+        while (ts.isParenthesizedExpression(e))
+            e = e.expression;
+        return e;
+    };
+    const left = strip(expr.left);
+    const right = strip(expr.right);
+    const target = isNewTarget(left) ? left : isNewTarget(right) ? right : null;
+    if (!target || bindingOf(target).kind !== "constructor")
+        return null;
+    const other = target === left ? right : left;
+    if (!ts.isIdentifier(other))
+        return null;
+    // A constructor's new.target is never undefined.
+    if (other.text === "undefined" && (lowerer.typeOf(other).flags & ts.TypeFlags.Undefined) !== 0)
+        return { kind: "boolLit", value: negated, type: BOOL, loc: locOf(expr) };
+    const symbol = lowerer.resolveValueSymbol(other);
+    const named = symbol ? lowerer.classBySymbol.get(symbol) : undefined;
+    if (!named || named.generic || named.localClass)
+        return null;
+    const dispatch = dispatchOf(lowerer, target);
+    if (!dispatch)
+        return null;
+    const loc = locOf(expr);
+    return select(dispatch, BOOL, loc, (c) => ({
+        kind: "boolLit",
+        value: (c === named) !== negated,
+        type: BOOL,
+        loc,
+    }));
+}
+//# sourceMappingURL=new-target.js.map

package/dist/frontend/lowering/new-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"new-target.js","sourceRoot":"","sources":["../../../src/frontend/lowering/new-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;kBAWkB;AAClB,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAyC,MAAM,gBAAgB,CAAC;AACrF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAGtC,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAEvE,MAAM,UAAU,WAAW,CAAC,IAAa;IACvC,OAAO,CACL,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;QAC9C,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC5B,CAAC;AACJ,CAAC;AAQD,SAAS,SAAS,CAAC,IAAa;IAC9B,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACxD,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;YAAE,SAAS;QACpC,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;QACnF,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAC9B,CAAC;AAWD,SAAS,KAAK,CAAC,IAAe;IAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI;QAAE,CAAC,EAAE,CAAC;IAC3C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,qEAAqE;AACrE,SAAS,uBAAuB,CAAC,OAAgB;IAC/C,IAAI,KAAK,GAAG,OAAO,CAAC,uBAAuB,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,OAAO,GAA8B,EAAE,CAAC;QAC9C,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,WAAW;YAClC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;gBAC3B,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;oBAC3D,gBAAgB,CAAC,IAAI,CAAC,KAAK,SAAS;oBACpC,kBAAkB,CAAC,IAAI,CAAC;oBAExB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC;QACL,OAAO,CAAC,uBAAuB,GAAG,KAAK,GAAG,OAAO,CAAC;IACpD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,IAA6B;IACrD,IAAI,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,IAAI,CACzC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAC1D,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;IAC/B,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IACxF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;yCAEyC;AACzC,SAAS,WAAW,CAClB,OAAgB,EAChB,IAA6B,EAC7B,IAAe,EACf,IAAkB;IAElB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACjC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACf,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,IAAI,GACR,IAAI,KAAK,SAAS;QAChB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC,CAAC,CAAC,IAAI,CAAC,IAAI;gBACX,CAAC,CAAC,SAAS,CAAC;IACpB,IAAI,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxF,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;QACrE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS;QACrB,OAAO,CACL,KAAK,KAAK,IAAI;YACd,KAAK,KAAK,IAAI,CAAC,eAAe,EAAE,MAAM;YACtC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CACpD,CAAC;IACJ,+DAA+D;IAC/D,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QAC9C,IAAI,GAAG,GAAwB,WAAW,CAAC;QAC3C,IAAI,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC;YACtB,OAAO,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;gBAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;QACtF,CAAC;QACD,IACE,GAAG,KAAK,SAAS;YACjB,CAAC,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;YACzD,WAAW,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC;YAErC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8CAA8C;AAC9C,SAAS,cAAc,CAAC,IAA6B;IACnD,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,OAAO,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;QAC/E,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG;QACzB,CAAC,CAAC,oBAAoB,CAAC;AAC3B,CAAC;AAED;iCACiC;AACjC,SAAS,UAAU,CAAC,OAAgB,EAAE,IAAqB;IACzD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC;IAClC,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC;IACvC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,mEAAmE,CACpE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC;IAC5C,MAAM,WAAW,GAAgB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC7C,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,IACE,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACnD,CAAC,MAAM,KAAK,SAAS;gBACnB,KAAK,CAAC,OAAO,KAAK,SAAS;gBAC3B,KAAK,KAAK,MAAM;gBAChB,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAExD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,CAAC,GAAG,WAAW,EAAE,IAAI,CAAC,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACjB,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,uBAAuB,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,mEAAmE,CACrH,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,uEAAuE;IACvE,yCAAyC;IACzC,KAAK,MAAM,KAAK,IAAI,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC;YAAE,SAAS;QAC5D,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,sBAAsB,cAAc,CAAC,KAAK,CAAC,kEAAkE,CAC9G,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,yEAAyE,CAC1E,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACjC,CAAC;AAED;kCACkC;AAClC,SAAS,MAAM,CACb,QAAkB,EAClB,IAAY,EACZ,GAAW,EACX,GAAgC;IAEhC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IACnC,IAAI,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACtB,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAK,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAClF,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YACZ,KAAK,EAAE,MAAM;YACb,IAAI;YACJ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB,EAAE,IAAqB;IAC7D,OAAO,OAAO,CAAC,WAAW,CACxB,QAAQ,EACR,IAAI,EACJ,0IAA0I,CAC3I,CAAC;AACJ,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,IAAqB;IACpE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAE,CAAC;IAC5C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,kCAAkC,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,8IAA8I,CAC3M,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,kCAAkC,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,iDAAiD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,yEAAyE,CACzO,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CACvC,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAChE,CAAC;AACJ,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,MAAmC;IAEnC,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,MAAM,GAAkB,MAAM,CAAC,UAAU,CAAC;IAC9C,OAAO,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IACxE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAClF,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,OAAO,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;QACzC,uEAAuE;QACvE,6DAA6D;QAC7D,MAAM,KAAK,GAAG,CAAC,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAChE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC9B,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,4BAA4B,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,iDAAiD,CACxG,CAAC;YACJ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAC5E,CAAC;QACD,IAAI,KAAK,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC;YACvE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,4BAA4B,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,mCAAmC,CAC1F,CAAC;QACJ,oDAAoD;QACpD,IAAI,CAAC,CAAC,OAAO;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC1F,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACzC,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;oEACoE;AACpE,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAyB;IAEzB,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;IACnC,MAAM,OAAO,GACX,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;QACjD,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;IAC9C,IACE,CAAC,OAAO;QACR,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QAEtC,OAAO,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,CAAgB,EAAiB,EAAE;QAChD,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,KAAK,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,iDAAiD;IACjD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC;QAC5F,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,OAAO;QAChC,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/frontend/lowering/object-factory-new.d.ts

@@ -4,6 +4,11 @@ import type { Lowerer } from "./lowerer.js";
 import { type FnSig } from "./call-signatures.js";
 /** Collection must register the shared result before reaching factory
  * bodies: those bodies can reference later globals in the same module. */
+/** The storage of a JavaScript module binding initialized with `new` of an
+ * ordinary function: a factory's result and a constructor function's
+ * receiver (`const head = new Segment()`) are both checked-dynamic
+ * values, which functions declared elsewhere in the module read through
+ * the global. */
 export declare function objectFactoryGlobalType(lowerer: Lowerer, expr: ts.NewExpression): IrType | null;
 export declare function objectFactorySignature(lowerer: Lowerer, expr: ts.NewExpression): FnSig | null;
 export declare function lowerObjectFactoryNew(lowerer: Lowerer, expr: ts.NewExpression): IrExpr | null;

package/dist/frontend/lowering/object-factory-new.js

@@ -4,11 +4,12 @@ import { isJsSourceFile, locOf } from "../program.js";
 import { bindingNeverReassigned } from "./binding-analysis.js";
 import { implicitDefaultInstance } from "./generic-functions.js";
 import {} from "./call-signatures.js";
-/** An ordinary constructor's explicit object return replaces its receiver.
- * Without observing this or new.target, it can use the function's call ABI. */
-function isObjectFactoryNew(lowerer, expr) {
+/** The JavaScript function declaration (or never-reassigned function
+ * expression binding) `new` calls, when it is an ordinary constructor: not
+ * a generator or async function. */
+function jsConstructorFunctionOf(lowerer, expr) {
     if (!ts.isIdentifier(expr.expression) || lowerer.peekLocal(expr.expression))
-        return false;
+        return null;
     // This probe also sees ordinary classes during global collection. Leave
     // their deferred diagnostics for the class declaration's lowering.
     const wasCollecting = lowerer.collecting;
@@ -21,7 +22,7 @@ function isObjectFactoryNew(lowerer, expr) {
         lowerer.collecting = wasCollecting;
     }
     if (!symbol)
-        return false;
+        return null;
     const owner = symbol.declarations.find((node) => (ts.isFunctionDeclaration(node) && node.body !== undefined) ||
         (ts.isVariableDeclaration(node) &&
             node.initializer &&
@@ -40,6 +41,14 @@ function isObjectFactoryNew(lowerer, expr) {
         !isJsSourceFile(ts.getSourceFileOfNode(declaration)) ||
         declaration.asteriskToken ||
         declaration.modifiers?.nodes.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword))
+        return null;
+    return declaration;
+}
+/** An ordinary constructor's explicit object return replaces its receiver.
+ * Without observing this or new.target, it can use the function's call ABI. */
+function isObjectFactoryNew(lowerer, expr) {
+    const declaration = jsConstructorFunctionOf(lowerer, expr);
+    if (!declaration?.body)
         return false;
     const objectReturn = (expression) => ts.isObjectLiteralExpression(expression) ||
         ts.isArrayLiteralExpression(expression) ||
@@ -75,8 +84,13 @@ function isObjectFactoryNew(lowerer, expr) {
 }
 /** Collection must register the shared result before reaching factory
  * bodies: those bodies can reference later globals in the same module. */
+/** The storage of a JavaScript module binding initialized with `new` of an
+ * ordinary function: a factory's result and a constructor function's
+ * receiver (`const head = new Segment()`) are both checked-dynamic
+ * values, which functions declared elsewhere in the module read through
+ * the global. */
 export function objectFactoryGlobalType(lowerer, expr) {
-    return isObjectFactoryNew(lowerer, expr) ? DYN : null;
+    return jsConstructorFunctionOf(lowerer, expr) !== null ? DYN : null;
 }
 export function objectFactorySignature(lowerer, expr) {
     if (!ts.isIdentifier(expr.expression) || !isObjectFactoryNew(lowerer, expr))

package/dist/frontend/lowering/object-factory-new.js.map

@@ -1 +1 @@
-{"version":3,"file":"object-factory-new.js","sourceRoot":"","sources":["../../../src/frontend/lowering/object-factory-new.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,GAAG,EAA4B,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAc,MAAM,sBAAsB,CAAC;AAElD;+EAC+E;AAC/E,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAsB;IAClE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1F,wEAAwE;IACxE,mEAAmE;IACnE,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC;IACzC,IAAI,MAAM,GAAqB,IAAI,CAAC;IACpC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAC1B,IAAI,CAAC;QACH,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,UAAU,GAAG,aAAa,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CACpC,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC3D,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC7B,IAAI,CAAC,WAAW;YAChB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAC/C,CAAC;IACF,MAAM,WAAW,GACf,KAAK;QACL,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC/B,KAAK,CAAC,WAAW;QACjB,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,WAAW,CAAC;QACxC,CAAC,CAAC,KAAK,CAAC,WAAW;QACnB,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;YACxC,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,IAAI,CAAC;IACb,IACE,CAAC,KAAK;QACN,CAAC,WAAW,EAAE,IAAI;QAClB,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;QAC/C,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;QACpD,WAAW,CAAC,aAAa;QACzB,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAE/E,OAAO,KAAK,CAAC;IACf,MAAM,YAAY,GAAG,CAAC,UAAyB,EAAW,EAAE,CAC1D,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACvC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;QACnC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,WAAW,GAAG,KAAK,EAAQ,EAAE;QACzD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;gBAAE,OAAO;YACtC,WAAW,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC;QACrF,IACE,CAAC,WAAW;YACZ,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAEpD,IAAI,GAAG,KAAK,CAAC;QACf,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,CAAC,KAAK;QAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACvE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;0EAC0E;AAC1E,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAsB;IAC9E,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAsB;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,OAAO,EAAE,cAAc;QACvC,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC;QACjD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,OAAO,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAsB;IAC5E,MAAM,SAAS,GAAG,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,SAAS,CAAC,IAAI;QACtB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;QACpF,IAAI,EAAE,SAAS,CAAC,UAAU;QAC1B,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"object-factory-new.js","sourceRoot":"","sources":["../../../src/frontend/lowering/object-factory-new.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,GAAG,EAA4B,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAc,MAAM,sBAAsB,CAAC;AAElD;;oCAEoC;AACpC,SAAS,uBAAuB,CAC9B,OAAgB,EAChB,IAAsB;IAEtB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,wEAAwE;IACxE,mEAAmE;IACnE,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC;IACzC,IAAI,MAAM,GAAqB,IAAI,CAAC;IACpC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAC1B,IAAI,CAAC;QACH,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,UAAU,GAAG,aAAa,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CACpC,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC3D,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC7B,IAAI,CAAC,WAAW;YAChB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAC/C,CAAC;IACF,MAAM,WAAW,GACf,KAAK;QACL,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC/B,KAAK,CAAC,WAAW;QACjB,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,WAAW,CAAC;QACxC,CAAC,CAAC,KAAK,CAAC,WAAW;QACnB,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;YACxC,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,IAAI,CAAC;IACb,IACE,CAAC,KAAK;QACN,CAAC,WAAW,EAAE,IAAI;QAClB,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;QAC/C,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;QACpD,WAAW,CAAC,aAAa;QACzB,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAE/E,OAAO,IAAI,CAAC;IACd,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;+EAC+E;AAC/E,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAsB;IAClE,MAAM,WAAW,GAAG,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3D,IAAI,CAAC,WAAW,EAAE,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,YAAY,GAAG,CAAC,UAAyB,EAAW,EAAE,CAC1D,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACvC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;QACnC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,WAAW,GAAG,KAAK,EAAQ,EAAE;QACzD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;gBAAE,OAAO;YACtC,WAAW,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC;QACrF,IACE,CAAC,WAAW;YACZ,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAEpD,IAAI,GAAG,KAAK,CAAC;QACf,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,CAAC,KAAK;QAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACvE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;0EAC0E;AAC1E;;;;iBAIiB;AACjB,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAsB;IAC9E,OAAO,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAsB;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,OAAO,EAAE,cAAc;QACvC,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC;QACjD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,OAAO,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAsB;IAC5E,MAAM,SAAS,GAAG,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,SAAS,CAAC,IAAI;QACtB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;QACpF,IAAI,EAAE,SAAS,CAAC,UAAU;QAC1B,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/overload-choice.d.ts

@@ -0,0 +1,33 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+/** Whether a checked-dynamic argument leaves a JS call's overload
+ * undecided.
+ *
+ * The checker resolves an overloaded call whose argument is `any` (an
+ * untyped parameter, a value read from one) to the FIRST overload that
+ * argument satisfies, but the value can match any overload at run time:
+ * `generateKeyPairSync("ec", options)` answers KeyObjects or encoded
+ * strings by the options' contents, `digest(encoding)` a Buffer when the
+ * encoding is undefined. When another overload the call could take at
+ * run time returns a different type, the resolved overload's return is a
+ * guess, and the result is checked-dynamic instead.
+ *
+ * An overload is reachable when the arguments fit its arity (trailing
+ * checked-dynamic or `undefined` arguments may be absent) and every
+ * statically typed argument is assignable to its parameter. Generic
+ * overloads whose return cannot be mapped without instantiation do not
+ * count, so the resolved instantiation stands for them. */
+export declare function dynamicOverloadChoice(lowerer: Lowerer, expr: ts.CallExpression | ts.NewExpression): boolean;
+/** Whether a JavaScript value's checker type rests on an undecided
+ * overload (dynamicOverloadChoice): the call itself, an awaited one, a
+ * call to an unannotated JS function returning such a value, or a read of
+ * an unannotated JS binding initialized with one (destructured or not).
+ * Such a value is checked-dynamic wherever the checker's inference would
+ * otherwise carry the guess into a binding or a return. */
+export declare function guessedOverloadValue(lowerer: Lowerer, expr: ts.Expression): boolean;
+/** Whether a JS identifier, as a binding's declared name or as a read,
+ * names a guessedOverloadBinding. */
+export declare function guessedOverloadIdentifier(lowerer: Lowerer, node: ts.Identifier): boolean;
+/** Whether a return of the unannotated JS function `decl` itself is a
+ * guessedOverloadValue. */
+export declare function returnsGuessedOverloadValue(lowerer: Lowerer, decl: ts.SignatureDeclaration): boolean;