@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/lowering/runtime-optional-guards.test.js

@@ -5,7 +5,7 @@ import { presentAtUse } from "./runtime-optional-guards.js";
 afterAll(closeSourceParser);
 /** Every `use(x)` argument in `body`, in source order, with whether a
  * presence proof holds for it. Bindings are matched by name. */
-function proofs(body) {
+function proofs(body, neverReturns) {
     const file = parseSourceFile("guards.ts", `declare function use(value: unknown): void;\n${body}`, "ts");
     const results = [];
     ts.walkPreorder(file, (node) => {
@@ -17,6 +17,7 @@ function proofs(body) {
                 results.push(presentAtUse(arg, {
                     sameBinding: (other) => other.text === arg.text,
                     isUndefined: (other) => other.text === "undefined",
+                    ...(neverReturns === undefined ? {} : { neverReturns }),
                 }));
         }
         return undefined;
@@ -89,4 +90,61 @@ test("a hoisted function declaration cannot rely on earlier statements", () => {
       return later;
     }`)).toEqual([false, true]);
 });
+test("a call that never returns exits like a throw", () => {
+    // `fail` and `this.fail` are declared to return never; `log` returns.
+    const neverReturns = (call) => {
+        const callee = call.expression;
+        const name = ts.isIdentifier(callee)
+            ? callee.text
+            : ts.isPropertyAccessExpression(callee)
+                ? callee.name.text
+                : "";
+        return name === "fail";
+    };
+    const body = `function f(x: string) {
+      if (x === undefined) fail("missing");
+      use(x);
+    }
+    function g(x: string) {
+      if (x === undefined) { this.fail("missing"); }
+      use(x);
+    }
+    function h(x: string) {
+      if (x === undefined) log("missing");
+      use(x);
+    }`;
+    expect(proofs(body, neverReturns)).toEqual([true, true, false]);
+    // Without the checker's answer a call is an ordinary statement.
+    expect(proofs(body)).toEqual([false, false, false]);
+});
+test("a call in an optional chain does not exit, whatever its type", () => {
+    // Every call named `fail` has type never; `?.` skips the call when its
+    // receiver or callee is missing, so the statement completes.
+    const neverReturns = (call) => {
+        const callee = call.expression;
+        const name = ts.isIdentifier(callee)
+            ? callee.text
+            : ts.isPropertyAccessExpression(callee)
+                ? callee.name.text
+                : "";
+        return name === "fail";
+    };
+    const body = `function f(x: string, maybe: { fail(m: string): never }) {
+      if (x === undefined) maybe?.fail("missing");
+      use(x);
+    }
+    function g(x: string) {
+      if (x === undefined) { this.helper?.fail("missing"); }
+      use(x);
+    }
+    function h(x: string, fail: (m: string) => never) {
+      if (x === undefined) fail?.("missing");
+      use(x);
+    }
+    function i(x: string, maybe: { fail(m: string): never }) {
+      if (x === undefined) maybe!.fail("missing");
+      use(x);
+    }`;
+    expect(proofs(body, neverReturns)).toEqual([false, false, false, true]);
+});
 //# sourceMappingURL=runtime-optional-guards.test.js.map

package/dist/frontend/lowering/runtime-optional-guards.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"runtime-optional-guards.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/runtime-optional-guards.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAE5D,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAE5B;gEACgE;AAChE,SAAS,MAAM,CAAC,IAAY;IAC1B,MAAM,IAAI,GAAG,eAAe,CAC1B,WAAW,EACX,gDAAgD,IAAI,EAAE,EACtD,IAAI,CACL,CAAC;IACF,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,EAC9B,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,GAAG,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;gBAC7B,OAAO,CAAC,IAAI,CACV,YAAY,CAAC,GAAG,EAAE;oBAChB,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;oBAC/C,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;iBACnD,CAAC,CACH,CAAC;QACN,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,CACJ,MAAM,CAAC;;;;;;;;;;;MAWL,CAAC,CACJ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,CACJ,MAAM,CAAC;;;;;;MAML,CAAC,CACJ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,CACJ,MAAM,CAAC;;;;;;;;;;;;;;;;;;;kCAmBuB,CAAC,CAChC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,CACJ,MAAM,CAAC;;;;;;;;;;MAUL,CAAC,CACJ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,CACJ,MAAM,CAAC;;;;;MAKL,CAAC,CACJ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAC3B,CAAC,CAAC,CAAC"}
+{"version":3,"file":"runtime-optional-guards.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/runtime-optional-guards.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAE5D,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAE5B;gEACgE;AAChE,SAAS,MAAM,CAAC,IAAY,EAAE,YAAmD;IAC/E,MAAM,IAAI,GAAG,eAAe,CAC1B,WAAW,EACX,gDAAgD,IAAI,EAAE,EACtD,IAAI,CACL,CAAC;IACF,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,EAC9B,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,GAAG,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;gBAC7B,OAAO,CAAC,IAAI,CACV,YAAY,CAAC,GAAG,EAAE;oBAChB,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;oBAC/C,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;oBAClD,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;iBACxD,CAAC,CACH,CAAC;QACN,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,CACJ,MAAM,CAAC;;;;;;;;;;;MAWL,CAAC,CACJ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,CACJ,MAAM,CAAC;;;;;;MAML,CAAC,CACJ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,CACJ,MAAM,CAAC;;;;;;;;;;;;;;;;;;;kCAmBuB,CAAC,CAChC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,CACJ,MAAM,CAAC;;;;;;;;;;MAUL,CAAC,CACJ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAClC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,CACJ,MAAM,CAAC;;;;;MAKL,CAAC,CACJ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAC3B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;IACxD,sEAAsE;IACtE,MAAM,YAAY,GAAG,CAAC,IAAuB,EAAW,EAAE;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;gBACrC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;gBAClB,CAAC,CAAC,EAAE,CAAC;QACT,OAAO,IAAI,KAAK,MAAM,CAAC;IACzB,CAAC,CAAC;IACF,MAAM,IAAI,GAAG;;;;;;;;;;;MAWT,CAAC;IACL,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAChE,gEAAgE;IAChE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,uEAAuE;IACvE,6DAA6D;IAC7D,MAAM,YAAY,GAAG,CAAC,IAAuB,EAAW,EAAE;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;gBACrC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;gBAClB,CAAC,CAAC,EAAE,CAAC;QACT,OAAO,IAAI,KAAK,MAAM,CAAC;IACzB,CAAC,CAAC;IACF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;MAeT,CAAC;IACL,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/stable-names.d.ts

@@ -9,3 +9,11 @@ export interface KeyedNameOwner {
  * before, so a helper has the same name whichever unit first needs it. Two
  * keys that hash to the same name throw an InternalCompilerError. */
 export declare function keyedHelperName(owner: KeyedNameOwner, prefix: string, key: string, separator?: string): string;
+/** The number in the `%m<number>.` tag of the module named `fileName`: a
+ * 32-bit FNV-1a hash of the name, so a module keeps its tag when other
+ * modules are added, removed or reordered. A number in `taken` moves to the
+ * next free one, which keeps tags distinct. */
+export declare function moduleTagNumber(fileName: string, taken: ReadonlySet<number>): number;
+/** The path of `file` relative to the directory `from`, with `/` separators
+ * on every platform, so names built from it match across hosts. */
+export declare function portableRelativePath(from: string, file: string, platform?: NodeJS.Platform): string;

package/dist/frontend/lowering/stable-names.js

@@ -1,4 +1,7 @@
+import * as posix from "node:path/posix";
+import * as win32 from "node:path/win32";
 import { InternalCompilerError } from "../../errors.js";
+import { tsgoPath } from "../ts7/session-path.js";
 /** 48 bits of two FNV-1a hashes of `key`, as 12 hex digits. */
 function keyHash(key) {
     let a = 0x811c9dc5;
@@ -32,4 +35,23 @@ export function keyedHelperName(owner, prefix, key, separator = ".") {
         throw new InternalCompilerError(`helper name ${name} is shared by two helper keys`);
     return name;
 }
+/** The number in the `%m<number>.` tag of the module named `fileName`: a
+ * 32-bit FNV-1a hash of the name, so a module keeps its tag when other
+ * modules are added, removed or reordered. A number in `taken` moves to the
+ * next free one, which keeps tags distinct. */
+export function moduleTagNumber(fileName, taken) {
+    let h = 0x811c9dc5;
+    for (let i = 0; i < fileName.length; i++)
+        h = Math.imul(h ^ fileName.charCodeAt(i), 0x01000193);
+    let n = h >>> 0;
+    while (taken.has(n))
+        n = (n + 1) >>> 0;
+    return n;
+}
+/** The path of `file` relative to the directory `from`, with `/` separators
+ * on every platform, so names built from it match across hosts. */
+export function portableRelativePath(from, file, platform = process.platform) {
+    const path = platform === "win32" ? win32.relative(from, file) : posix.relative(from, file);
+    return tsgoPath(path, platform);
+}
 //# sourceMappingURL=stable-names.js.map

package/dist/frontend/lowering/stable-names.js.map

@@ -1 +1 @@
-{"version":3,"file":"stable-names.js","sourceRoot":"","sources":["../../../src/frontend/lowering/stable-names.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AASxD,+DAA+D;AAC/D,SAAS,OAAO,CAAC,GAAW;IAC1B,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,IAAI,CAAC,GAAG,UAAU,GAAG,UAAU,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,4DAA4D;AAC5D,SAAS,SAAS,CAAC,GAAW;IAC5B,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QACjC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAChE,OAAO,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED;;;qEAGqE;AACrE,MAAM,UAAU,eAAe,CAC7B,KAAqB,EACrB,MAAc,EACd,GAAW,EACX,SAAS,GAAG,GAAG;IAEf,MAAM,IAAI,GAAG,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACpD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,QAAQ,KAAK,SAAS;QAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SAC5D,IAAI,QAAQ,KAAK,KAAK;QACzB,MAAM,IAAI,qBAAqB,CAAC,eAAe,IAAI,+BAA+B,CAAC,CAAC;IACtF,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"stable-names.js","sourceRoot":"","sources":["../../../src/frontend/lowering/stable-names.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,iBAAiB,CAAC;AACzC,OAAO,KAAK,KAAK,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AASlD,+DAA+D;AAC/D,SAAS,OAAO,CAAC,GAAW;IAC1B,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,IAAI,CAAC,GAAG,UAAU,GAAG,UAAU,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,4DAA4D;AAC5D,SAAS,SAAS,CAAC,GAAW;IAC5B,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QACjC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAChE,OAAO,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED;;;qEAGqE;AACrE,MAAM,UAAU,eAAe,CAC7B,KAAqB,EACrB,MAAc,EACd,GAAW,EACX,SAAS,GAAG,GAAG;IAEf,MAAM,IAAI,GAAG,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACpD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,QAAQ,KAAK,SAAS;QAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SAC5D,IAAI,QAAQ,KAAK,KAAK;QACzB,MAAM,IAAI,qBAAqB,CAAC,eAAe,IAAI,+BAA+B,CAAC,CAAC;IACtF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;+CAG+C;AAC/C,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,KAA0B;IAC1E,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IAChG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,CAAC,CAAC;AACX,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,IAAY,EACZ,QAAQ,GAAoB,OAAO,CAAC,QAAQ;IAE5C,MAAM,IAAI,GAAG,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5F,OAAO,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAClC,CAAC"}

package/dist/frontend/lowering/stable-names.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/lowering/stable-names.test.js

@@ -0,0 +1,16 @@
+import { expect, test } from "vitest";
+import { moduleTagNumber, portableRelativePath } from "./stable-names.js";
+test("module tag numbers depend only on the file name and stay distinct", () => {
+    const first = moduleTagNumber("lib/a.ts", new Set());
+    expect(moduleTagNumber("lib/a.ts", new Set([7, 8]))).toBe(first);
+    expect(moduleTagNumber("lib/b.ts", new Set())).not.toBe(first);
+    expect(moduleTagNumber("lib/a.ts", new Set([first]))).toBe((first + 1) >>> 0);
+    expect(moduleTagNumber("lib/a.ts", new Set([first, (first + 1) >>> 0]))).toBe((first + 2) >>> 0);
+});
+test("relative module paths use / on every platform", () => {
+    expect(portableRelativePath("/repo/src", "/repo/src/lib/a.ts", "linux")).toBe("lib/a.ts");
+    expect(portableRelativePath("C:/repo/src", "C:/repo/src/lib/a.ts", "win32")).toBe("lib/a.ts");
+    expect(portableRelativePath("C:\\repo\\src", "C:/repo/node_modules/x/index.d.ts", "win32")).toBe("../node_modules/x/index.d.ts");
+    expect(moduleTagNumber(portableRelativePath("C:/repo", "C:/repo/lib/a.ts", "win32"), new Set())).toBe(moduleTagNumber(portableRelativePath("/repo", "/repo/lib/a.ts", "linux"), new Set()));
+});
+//# sourceMappingURL=stable-names.test.js.map

package/dist/frontend/lowering/stable-names.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stable-names.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/stable-names.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAE1E,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACrD,MAAM,CAAC,eAAe,CAAC,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,MAAM,CAAC,eAAe,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,CAAC,eAAe,CAAC,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,eAAe,CAAC,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,CAAC,oBAAoB,CAAC,WAAW,EAAE,oBAAoB,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1F,MAAM,CAAC,oBAAoB,CAAC,aAAa,EAAE,sBAAsB,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9F,MAAM,CAAC,oBAAoB,CAAC,eAAe,EAAE,mCAAmC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAC9F,8BAA8B,CAC/B,CAAC;IACF,MAAM,CACJ,eAAe,CAAC,oBAAoB,CAAC,SAAS,EAAE,kBAAkB,EAAE,OAAO,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CACzF,CAAC,IAAI,CAAC,eAAe,CAAC,oBAAoB,CAAC,OAAO,EAAE,gBAAgB,EAAE,OAAO,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/static-typeof.d.ts

@@ -2,10 +2,11 @@ import * as ts from "../ts7/adapter.js";
 import type { Lowerer } from "./lowerer.js";
 /** The answer `typeof <operand>` gives without evaluating anything, for
  * the global-detection idioms (`typeof window < "u"`, `typeof global !==
- * "undefined"`): a name nothing declares answers "undefined" (Node's
- * answer for an undeclared global such as window or self, and typeof never
- * throws for one), and the Node global object and process answer
- * "object". Null for every other operand. */
+ * "undefined"`): a name nothing declares, or one the program declares
+ * ambiently and nothing defines, answers "undefined" (Node's answer for an
+ * undeclared global such as window or self, and typeof never throws for
+ * one), and the Node global object and process answer "object". Null for
+ * every other operand. */
 export declare function staticTypeofAnswer(lowerer: Lowerer, operand: ts.Expression): string | null;
 /** A comparison of a statically answered typeof against a string literal
  * (`typeof window < "u"`, esbuild's minified undefined test, or

package/dist/frontend/lowering/static-typeof.js

@@ -1,10 +1,12 @@
 import * as ts from "../ts7/adapter.js";
+import { ambientUndefinedFnSymbolOf, ambientUndefinedVarSymbolOf } from "./lower-namespaces.js";
 /** The answer `typeof <operand>` gives without evaluating anything, for
  * the global-detection idioms (`typeof window < "u"`, `typeof global !==
- * "undefined"`): a name nothing declares answers "undefined" (Node's
- * answer for an undeclared global such as window or self, and typeof never
- * throws for one), and the Node global object and process answer
- * "object". Null for every other operand. */
+ * "undefined"`): a name nothing declares, or one the program declares
+ * ambiently and nothing defines, answers "undefined" (Node's answer for an
+ * undeclared global such as window or self, and typeof never throws for
+ * one), and the Node global object and process answer "object". Null for
+ * every other operand. */
 export function staticTypeofAnswer(lowerer, operand) {
     let e = operand;
     while (ts.isParenthesizedExpression(e))
@@ -16,6 +18,10 @@ export function staticTypeofAnswer(lowerer, operand) {
     for (const name of ["global", "globalThis", "process"])
         if (lowerer.isStdlibGlobal(e, name))
             return "object";
+    // A name the program declares ambiently but nothing defines (`declare
+    // const Bun`): undeclared at run time.
+    if (ambientUndefinedVarSymbolOf(lowerer, e) || ambientUndefinedFnSymbolOf(lowerer, e))
+        return "undefined";
     return null;
 }
 /** A comparison of a statically answered typeof against a string literal

package/dist/frontend/lowering/static-typeof.js.map

@@ -1 +1 @@
-{"version":3,"file":"static-typeof.js","sourceRoot":"","sources":["../../../src/frontend/lowering/static-typeof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC;;;;;6CAK6C;AAC7C,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,OAAsB;IACzE,IAAI,CAAC,GAAG,OAAO,CAAC;IAChB,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC7E,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,CAAC;QACpD,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,QAAQ,CAAC;IACvD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;oEAGoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,CAAsB;IAC7E,MAAM,MAAM,GAAG,CAAC,CAAgB,EAAiB,EAAE;QACjD,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,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAClD,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3D,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;SAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAClE,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACvD,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,QAAQ,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3C,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YAClC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC;QAChD,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;YACpC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;gEAEgE;AAChE,SAAS,UAAU,CAAC,OAAgB,EAAE,CAAgB;IACpD,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACtD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC;AACjF,CAAC;AAED;qEACqE;AACrE,SAAS,oBAAoB,CAAC,OAAgB,EAAE,CAAsB;IACpE,MAAM,MAAM,GAAG,CAAC,CAAgB,EAAW,EAAE;QAC3C,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,OAAO,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;IAC9C,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3B,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC;QAC7B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;YACd,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC;YAC9B,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,QAAQ,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3C,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YAClC,OAAO,CAAC,KAAK,CAAC;QAChB,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC;QAChD,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,KAAK,CAAC;QACf;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;0EAE0E;AAC1E,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAmB;IACnE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACnF,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;IAChC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3D,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,sBAAsB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAChF,CAAC;AAED;;0BAE0B;AAC1B,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IACtE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,SAAS,CAAC;QACR,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;QAC7B,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvC,CAAC;AACH,CAAC;AAED;;oEAEoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,IAAkB;IACvD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;YAAE,OAAO;QACxF,IACE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAC/B,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EACzD,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"static-typeof.js","sourceRoot":"","sources":["../../../src/frontend/lowering/static-typeof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,0BAA0B,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEhG;;;;;;0BAM0B;AAC1B,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,OAAsB;IACzE,IAAI,CAAC,GAAG,OAAO,CAAC;IAChB,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC7E,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,CAAC;QACpD,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,QAAQ,CAAC;IACvD,sEAAsE;IACtE,uCAAuC;IACvC,IAAI,2BAA2B,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,0BAA0B,CAAC,OAAO,EAAE,CAAC,CAAC;QACnF,OAAO,WAAW,CAAC;IACrB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;oEAGoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,CAAsB;IAC7E,MAAM,MAAM,GAAG,CAAC,CAAgB,EAAiB,EAAE;QACjD,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,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAClD,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3D,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;SAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAClE,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACvD,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,QAAQ,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3C,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YAClC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC;QAChD,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;YACpC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;gEAEgE;AAChE,SAAS,UAAU,CAAC,OAAgB,EAAE,CAAgB;IACpD,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACtD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC;AACjF,CAAC;AAED;qEACqE;AACrE,SAAS,oBAAoB,CAAC,OAAgB,EAAE,CAAsB;IACpE,MAAM,MAAM,GAAG,CAAC,CAAgB,EAAW,EAAE;QAC3C,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,OAAO,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;IAC9C,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3B,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC;QAC7B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;YACd,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC;YAC9B,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,QAAQ,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3C,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YAClC,OAAO,CAAC,KAAK,CAAC;QAChB,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC;QAChD,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,KAAK,CAAC;QACf;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;0EAE0E;AAC1E,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAmB;IACnE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACnF,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;IAChC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3D,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,sBAAsB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAChF,CAAC;AAED;;0BAE0B;AAC1B,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IACtE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,SAAS,CAAC;QACR,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;QAC7B,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvC,CAAC;AACH,CAAC;AAED;;oEAEoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,IAAkB;IACvD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;YAAE,OAAO;QACxF,IACE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAC/B,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EACzD,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/frontend/lowering/structural-instances.d.ts

@@ -0,0 +1,22 @@
+import * as ts from "../ts7/adapter.js";
+import type { IrType } from "../../ir/ir.js";
+import type { FnSig } from "./call-signatures.js";
+import { type GenericInstance } from "./generic-functions.js";
+import type { Lowerer } from "./lowerer.js";
+/** The instance a direct call of the declared function `sig` targets when
+ * one of its arguments names a record or array whose layout the parameter
+ * would copy; null when every argument converts as declared. */
+export declare function structuralCallInstance(lowerer: Lowerer, expr: ts.CallExpression, sig: FnSig): GenericInstance | null;
+/** The return type of a declared function whose every `return` names an
+ * existing value of one record or array layout that the declared return type
+ * would copy (`function items(values: Refined[]): Value[] { return values; }`):
+ * that layout, so the caller receives the value itself. `declared` otherwise. */
+export declare function layoutReturnType(lowerer: Lowerer, decl: ts.FunctionDeclaration, declared: IrType): IrType;
+/** Whether a `const` binding typed `declared` keeps the record or array
+ * layout `actual` of an initializer that names an existing value or returns
+ * one, instead of converting it by a copy. Fresh literals convert as
+ * declared: their copy is not observable. */
+export declare function keepsInitializerLayout(lowerer: Lowerer, initializer: ts.Expression, actual: IrType, declared: IrType): boolean;
+/** Records that the const `decl` keeps its initializer's layout, so calls
+ * that pass it bind the initializer's type (preservedLayoutOf). */
+export declare function notePreservedLayout(lowerer: Lowerer, decl: ts.VariableDeclaration): void;

package/dist/frontend/lowering/structural-instances.js

@@ -0,0 +1,282 @@
+import * as ts from "../ts7/adapter.js";
+import { typeEquals, UNDEFINED_T } from "../../ir/ir.js";
+import { isThisParameter } from "./call-signatures.js";
+import { internImplicitInstanceOr, paramWrittenInBody, } from "./generic-functions.js";
+import { nsPathPrefix } from "./lower-namespaces.js";
+/** Instances of a typed function for arguments that keep their own layout.
+ *
+ * A record or array whose layout differs from a parameter's declared
+ * structural type converts by copying it (`{ id; name; owned?: true }[]`
+ * into `{ id; name }[]`). JavaScript passes the same object, so the
+ * callee's writes (`push`, index stores, element-field writes) and identity
+ * comparisons see the caller's value. When an argument names an existing
+ * value, the call instead targets an instance of the function lowered with
+ * that parameter bound to the argument's own type: the body reads and
+ * writes the caller's storage. Instances are keyed by the parameter
+ * layouts, so each layout combination compiles once. */
+/** The argument expressions that can name a value another reference sees:
+ * bindings, member reads and `this`. Fresh values (literals, calls) have no
+ * other reference, so their copy is not observable. */
+function namesExistingValue(arg) {
+    let e = arg;
+    for (;;) {
+        if (ts.isParenthesizedExpression(e) || ts.isNonNullExpression(e))
+            e = e.expression;
+        else if (ts.isAsExpression(e) || ts.isSatisfiesExpression(e))
+            e = e.expression;
+        else
+            break;
+    }
+    return (ts.isIdentifier(e) ||
+        ts.isPropertyAccessExpression(e) ||
+        ts.isElementAccessExpression(e) ||
+        e.kind === ts.SyntaxKind.ThisKeyword);
+}
+/** Whether a value of layout `from` can stand for a value of layout `to`
+ * in code written against `to`: the same layout, or a record that has every
+ * field of `to` at such a layout plus fields `to` lacks that are optional
+ * (`{ id; name; owned?: true }` for `{ id; name }`), or an array of such
+ * elements. Every value that code stores converts into `from` by completing
+ * the optional fields as absent, so reads and writes through either type see
+ * one value. */
+function standsFor(lowerer, from, to, assumed = new Set()) {
+    if (typeEquals(from, to))
+        return true;
+    if (from.kind === "array" && to.kind === "array")
+        return standsFor(lowerer, from.elem, to.elem, assumed);
+    if (from.kind !== "record" || to.kind !== "record")
+        return false;
+    // Recursive layouts (`{ kids: Tree[] }` against `{ kids: Plain[] }`) meet
+    // the same pair again inside their fields; the pair holds there if it
+    // holds for the other fields.
+    const pair = `${from.shapeId}>${to.shapeId}`;
+    if (assumed.has(pair))
+        return true;
+    assumed.add(pair);
+    const source = lowerer.shapes.get(from.shapeId);
+    const target = lowerer.shapes.get(to.shapeId);
+    if (!source || !target || source.tuple || target.tuple)
+        return false;
+    if (source.indexValue || target.indexValue)
+        return false;
+    for (const field of target.fields) {
+        const kept = source.fields.find((f) => f.name === field.name);
+        if (!kept || !standsFor(lowerer, kept.type, field.type, assumed))
+            return false;
+    }
+    return source.fields.every((field) => target.fields.some((f) => f.name === field.name) ||
+        (field.type.kind === "union" && lowerer.armTag(field.type.unionId, UNDEFINED_T) >= 0));
+}
+/** Whether converting `from` into `to` copies a value that could keep its
+ * own layout instead. */
+function copies(lowerer, from, to) {
+    if (typeEquals(from, to) || !standsFor(lowerer, from, to))
+        return false;
+    const plan = lowerer.widthLiftPlan(from, to);
+    return plan !== null && (plan.how === "arr" || plan.how === "width");
+}
+/** The structural-instance info of a typed function declaration, created on
+ * first use and kept on the Lowerer. */
+function structuralInfoOf(lowerer, decl, symbol) {
+    const existing = lowerer.structuralFnInfos.get(symbol);
+    if (existing)
+        return existing;
+    const nameText = decl.name?.text ?? "%default";
+    const body = decl.body;
+    const info = {
+        decl,
+        baseName: nameText,
+        qualifiedName: lowerer.qualify(ts.getSourceFileOfNode(decl), nsPathPrefix(lowerer, decl) + nameText + "%layout"),
+        typeParams: [],
+        instances: new Map(),
+        implicitParams: decl.parameters.nodes.map((param) => {
+            if (!ts.isIdentifier(param.name) || param.dotDotDotToken || param.initializer)
+                return null;
+            if (param.questionToken)
+                return null;
+            const sym = lowerer.checker.getSymbolAtLocation(param.name);
+            if (!sym || paramWrittenInBody(lowerer, body, sym, param.name.text))
+                return null;
+            return sym;
+        }),
+    };
+    lowerer.structuralFnInfos.set(symbol, info);
+    return info;
+}
+/** The instance a direct call of the declared function `sig` targets when
+ * one of its arguments names a record or array whose layout the parameter
+ * would copy; null when every argument converts as declared. */
+export function structuralCallInstance(lowerer, expr, sig) {
+    const symbol = lowerer.resolveValueSymbol(expr.expression);
+    const decl = symbol?.valueDeclaration;
+    if (!symbol || !decl || !ts.isFunctionDeclaration(decl) || !decl.body)
+        return null;
+    if (decl.asteriskToken ||
+        decl.modifiers?.nodes.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword))
+        return null;
+    if (decl.parameters.nodes.some(isThisParameter))
+        return null;
+    if (symbol.declarations.filter((d) => ts.isFunctionDeclaration(d)).length !== 1)
+        return null;
+    const args = expr.arguments.nodes;
+    if (args.some((a) => ts.isSpreadElement(a)))
+        return null;
+    const params = decl.parameters.nodes;
+    if (sig.params.length !== params.length)
+        return null;
+    const bound = [];
+    params.forEach((_, index) => {
+        const arg = args[index];
+        const declared = sig.params[index];
+        if (!arg || declared.mode !== "required" || !namesExistingValue(arg))
+            return;
+        // A signature that widens the declared type's layout (record parameters
+        // whose fields also take undefined) keeps its own boundary conversion.
+        const own = lowerer.mapTypeOf(lowerer.checker.getTypeAtLocation(params[index].name));
+        if (!own || !typeEquals(own, declared.type))
+            return;
+        const checker = preservedLayoutOf(lowerer, arg) ?? lowerer.typeOf(arg);
+        const type = lowerer.mapTypeOf(checker);
+        if (type && copies(lowerer, type, declared.type))
+            bound.push({ index, type, checker });
+    });
+    if (bound.length === 0)
+        return null;
+    const info = structuralInfoOf(lowerer, decl, symbol);
+    const shapes = [...sig.params];
+    const argTypes = new Map();
+    for (const { index, type, checker } of bound) {
+        const sym = info.implicitParams[index];
+        if (!sym)
+            continue;
+        shapes[index] = { type, mode: "required" };
+        argTypes.set(sym, checker);
+    }
+    if (argTypes.size === 0)
+        return null;
+    // A body that returns a bound parameter returns the argument's layout.
+    const previous = lowerer.implicitParamTypes;
+    lowerer.implicitParamTypes = argTypes;
+    let returnType;
+    try {
+        returnType = layoutReturnType(lowerer, decl, sig.returnType);
+    }
+    finally {
+        lowerer.implicitParamTypes = previous;
+    }
+    const instance = internImplicitInstanceOr(lowerer, expr, info, shapes, argTypes, "", returnType, true);
+    if (instance)
+        for (const { index } of bound)
+            lowerer.layoutKeptNodes.add(args[index]);
+    return instance;
+}
+/** The layout of the value an existing-value expression names: a binding's
+ * own type, or the element or field of such a value read through `[i]` or
+ * `.name`. Reads of a parameter bound to an argument's layout follow that
+ * layout rather than the parameter's declared type. */
+function layoutOf(lowerer, expression) {
+    let e = expression;
+    while (ts.isParenthesizedExpression(e) || ts.isNonNullExpression(e))
+        e = e.expression;
+    if (ts.isElementAccessExpression(e)) {
+        const base = layoutOf(lowerer, e.expression);
+        if (base?.kind === "array" &&
+            lowerer.mapTypeOf(lowerer.typeOf(e.argumentExpression))?.kind === "f64")
+            return base.elem;
+    }
+    else if (ts.isPropertyAccessExpression(e) && ts.isIdentifier(e.name)) {
+        const base = layoutOf(lowerer, e.expression);
+        if (base?.kind === "record") {
+            const field = lowerer.shapes.get(base.shapeId)?.fields.find((f) => f.name === e.name.text);
+            if (field)
+                return field.type;
+        }
+    }
+    return lowerer.mapTypeOf(lowerer.typeOf(e));
+}
+/** The return type of a declared function whose every `return` names an
+ * existing value of one record or array layout that the declared return type
+ * would copy (`function items(values: Refined[]): Value[] { return values; }`):
+ * that layout, so the caller receives the value itself. `declared` otherwise. */
+export function layoutReturnType(lowerer, decl, declared) {
+    if (!decl.body || (declared.kind !== "array" && declared.kind !== "record"))
+        return declared;
+    // An exported function keeps its declared result: a library build calls it
+    // from outside the program, through the declared ABI.
+    if (decl.modifiers?.nodes.some((m) => m.kind === ts.SyntaxKind.ExportKeyword))
+        return declared;
+    const returned = [];
+    let open = false;
+    ts.walkPreorder(decl.body, (node) => {
+        if (node !== decl.body && ts.isFunctionLike(node))
+            return "skip";
+        if (ts.isClassDeclaration(node) || ts.isClassExpression(node))
+            return "skip";
+        if (!ts.isReturnStatement(node))
+            return undefined;
+        if (!node.expression || !namesExistingValue(node.expression))
+            open = true;
+        else
+            returned.push(node.expression);
+        return undefined;
+    });
+    if (open || returned.length === 0)
+        return declared;
+    let layout = null;
+    for (const expression of returned) {
+        const type = layoutOf(lowerer, expression);
+        if (!type || !copies(lowerer, type, declared))
+            return declared;
+        if (layout && !typeEquals(layout, type))
+            return declared;
+        layout = type;
+    }
+    return layout ?? declared;
+}
+/** The initializer type of a const the argument names when the const kept
+ * that initializer's layout (keepsInitializerLayout): the checker types the
+ * binding by its annotation, but its value has the initializer's layout. A
+ * declaration lowers once per function instance, and only some instances
+ * keep a layout, so the recorded type applies only while it maps to the
+ * layout of the binding the current lowering resolves. */
+function preservedLayoutOf(lowerer, arg) {
+    let e = arg;
+    while (ts.isParenthesizedExpression(e) || ts.isNonNullExpression(e))
+        e = e.expression;
+    if (!ts.isIdentifier(e))
+        return undefined;
+    const symbol = lowerer.resolveValueSymbol(e);
+    const recorded = symbol ? lowerer.preservedLayoutTypes.get(symbol) : undefined;
+    if (recorded === undefined)
+        return undefined;
+    const binding = lowerer.peekLocal(e)?.type ?? lowerer.globalOf(e)?.type;
+    const layout = lowerer.mapTypeOf(recorded);
+    return binding && layout && typeEquals(binding, layout) ? recorded : undefined;
+}
+/** Whether a `const` binding typed `declared` keeps the record or array
+ * layout `actual` of an initializer that names an existing value or returns
+ * one, instead of converting it by a copy. Fresh literals convert as
+ * declared: their copy is not observable. */
+export function keepsInitializerLayout(lowerer, initializer, actual, declared) {
+    let e = initializer;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (!namesExistingValue(e) && !ts.isCallExpression(e))
+        return false;
+    if (lowerer.isRuntimeOptionalRecordVariant(actual, declared))
+        return false;
+    return copies(lowerer, actual, declared);
+}
+/** Records that the const `decl` keeps its initializer's layout, so calls
+ * that pass it bind the initializer's type (preservedLayoutOf). */
+export function notePreservedLayout(lowerer, decl) {
+    if (!ts.isIdentifier(decl.name) || !decl.initializer)
+        return;
+    const symbol = lowerer.checker.getSymbolAtLocation(decl.name);
+    if (!symbol)
+        return;
+    const initializer = preservedLayoutOf(lowerer, decl.initializer) ?? lowerer.typeOf(decl.initializer);
+    lowerer.preservedLayoutTypes.set(symbol, initializer);
+    lowerer.layoutKeptNodes.add(decl.initializer);
+}
+//# sourceMappingURL=structural-instances.js.map

package/dist/frontend/lowering/structural-instances.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-instances.js","sourceRoot":"","sources":["../../../src/frontend/lowering/structural-instances.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAEzD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GAGnB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAGrD;;;;;;;;;;wDAUwD;AAExD;;uDAEuD;AACvD,SAAS,kBAAkB,CAAC,GAAkB;IAC5C,IAAI,CAAC,GAAG,GAAG,CAAC;IACZ,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;aAC9E,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;;YAC1E,MAAM;IACb,CAAC;IACD,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAClB,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAChC,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAC/B,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CACrC,CAAC;AACJ,CAAC;AAED;;;;;;gBAMgB;AAChB,SAAS,SAAS,CAChB,OAAgB,EAChB,IAAY,EACZ,EAAU,EACV,OAAO,GAAgB,IAAI,GAAG,EAAE;IAEhC,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;QAC9C,OAAO,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACjE,0EAA0E;IAC1E,sEAAsE;IACtE,8BAA8B;IAC9B,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;IAC7C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACrE,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IACzD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;IACjF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CACxB,CAAC,KAAK,EAAE,EAAE,CACR,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;QAChD,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CACxF,CAAC;AACJ,CAAC;AAED;yBACyB;AACzB,SAAS,MAAM,CAAC,OAAgB,EAAE,IAAY,EAAE,EAAU;IACxD,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACxE,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC;AACvE,CAAC;AAED;wCACwC;AACxC,SAAS,gBAAgB,CACvB,OAAgB,EAChB,IAA4B,EAC5B,MAAiB;IAEjB,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,UAAU,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAK,CAAC;IACxB,MAAM,IAAI,GAAkB;QAC1B,IAAI;QACJ,QAAQ,EAAE,QAAQ;QAClB,aAAa,EAAE,OAAO,CAAC,OAAO,CAC5B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAC5B,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,QAAQ,GAAG,SAAS,CACnD;QACD,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAClD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,WAAW;gBAAE,OAAO,IAAI,CAAC;YAC3F,IAAI,KAAK,CAAC,aAAa;gBAAE,OAAO,IAAI,CAAC;YACrC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC5D,IAAI,CAAC,GAAG,IAAI,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjF,OAAO,GAAG,CAAC;QACb,CAAC,CAAC;KACH,CAAC;IACF,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;gEAEgE;AAChE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,GAAU;IAEV,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAA2B,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,MAAM,EAAE,gBAAgB,CAAC;IACtC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACnF,IACE,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAExE,OAAO,IAAI,CAAC;IACd,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7F,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IACrC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,KAAK,GAAwD,EAAE,CAAC;IACtE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;QACpC,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC;YAAE,OAAO;QAC7E,wEAAwE;QACxE,uEAAuE;QACvE,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACtF,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO;QACpD,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,MAAM,GAAiB,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,cAAe,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC3C,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,uEAAuE;IACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAC5C,OAAO,CAAC,kBAAkB,GAAG,QAAQ,CAAC;IACtC,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/D,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,kBAAkB,GAAG,QAAQ,CAAC;IACxC,CAAC;IACD,MAAM,QAAQ,GAAG,wBAAwB,CACvC,OAAO,EACP,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,EAAE,EACF,UAAU,EACV,IAAI,CACL,CAAC;IACF,IAAI,QAAQ;QAAE,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,KAAK;YAAE,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC;IACvF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;uDAGuD;AACvD,SAAS,QAAQ,CAAC,OAAgB,EAAE,UAAyB;IAC3D,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACtF,IAAI,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAC7C,IACE,IAAI,EAAE,IAAI,KAAK,OAAO;YACtB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK;YAEvE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;SAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3F,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC,IAAI,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED;;;iFAGiF;AACjF,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAA4B,EAC5B,QAAgB;IAEhB,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC7F,2EAA2E;IAC3E,sDAAsD;IACtD,IAAI,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC/F,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAClC,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC;QACjE,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC;QAC7E,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC;;YACrE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,IAAI,IAAI,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACnD,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,KAAK,MAAM,UAAU,IAAI,QAAQ,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC;YAAE,OAAO,QAAQ,CAAC;QAC/D,IAAI,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,OAAO,QAAQ,CAAC;QACzD,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,IAAI,QAAQ,CAAC;AAC5B,CAAC;AAED;;;;;0DAK0D;AAC1D,SAAS,iBAAiB,CAAC,OAAgB,EAAE,GAAkB;IAC7D,IAAI,CAAC,GAAG,GAAG,CAAC;IACZ,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACtF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,OAAO,OAAO,IAAI,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED;;;6CAG6C;AAC7C,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,WAA0B,EAC1B,MAAc,EACd,QAAgB;IAEhB,IAAI,CAAC,GAAG,WAAW,CAAC;IACpB,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACpE,IAAI,OAAO,CAAC,8BAA8B,CAAC,MAAM,EAAE,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3E,OAAO,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC3C,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAA4B;IAChF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM;QAAE,OAAO;IACpB,MAAM,WAAW,GACf,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnF,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACtD,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AAChD,CAAC"}

package/dist/frontend/lowering/surfaces.d.ts

@@ -175,6 +175,9 @@ export interface BuiltinModuleFn {
     /** The function value's `length` when it is not the count of its
      * required value parameters (`Math.max`'s 2 over its rest pack). */
     valueLength?: number;
+    /** The function value's `name` when it is not the member's
+     * (`process.cwd` is Node's `wrappedCwd`). */
+    valueName?: string;
 }
 export type BuiltinValueParam = {
     mode: "required";