@scriptc/compiler 0.3.5 → 0.4.0

package/dist/frontend/lowering/builtins/webcrypto.js

@@ -0,0 +1,112 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { isJsSourceFile, locOf } from "../../program.js";
+import { BOOL, DYN } from "../../../ir/ir.js";
+import { lowerDynObjectLiteral } from "../expressions/object-literals.js";
+import { stdlibGlobalNameOf } from "../surfaces.js";
+import { WEBCRYPTO_DYN_TYPES } from "../../type-mapper.js";
+/* WebCrypto's HMAC slice (scr_webcrypto.c): `crypto.subtle.importKey`,
+ * `sign`, `verify` and `digest` called on the crypto global (also through
+ * globalThis) lower to runtime entry points that take the argument vector
+ * as one dyn array and answer a promise, so Web IDL conversion, algorithm
+ * normalization and every error stay Node-shaped at run time. CryptoKey
+ * values are native handles; their type maps to dyn and their members
+ * are handle reads. Other SubtleCrypto methods are refused by name. */
+const SUBTLE_LOWERED = new Map([
+    ["importKey", "webcrypto.importKey"],
+    ["sign", "webcrypto.sign"],
+    ["verify", "webcrypto.verify"],
+    ["digest", "webcrypto.digest"],
+]);
+const SUBTLE_HINT = "the native WebCrypto surface is crypto.subtle.importKey('raw', ...) for HMAC keys, sign and verify with HMAC, and digest with SHA-1, SHA-256, SHA-384 or SHA-512, each called directly on crypto.subtle";
+/** Whether `node` is `crypto.subtle` on the WebCrypto global. */
+function isSubtleReceiver(lowerer, node) {
+    while (ts.isParenthesizedExpression(node))
+        node = node.expression;
+    return (ts.isPropertyAccessExpression(node) &&
+        !node.questionDotToken &&
+        node.name.text === "subtle" &&
+        stdlibGlobalNameOf(lowerer, node.expression) === "crypto");
+}
+/** `crypto.subtle.<method>(...args)`: the lowered methods become their
+ * libCall over the argument vector; every other method is refused. */
+export function lowerWebCryptoCall(lowerer, call) {
+    const callee = call.expression;
+    if (!ts.isPropertyAccessExpression(callee) || !isSubtleReceiver(lowerer, callee.expression)) {
+        return null;
+    }
+    const member = callee.name.text;
+    const fn = SUBTLE_LOWERED.get(member);
+    if (fn === undefined)
+        lowerer.noLowering(`crypto.subtle.${member}`, callee, SUBTLE_HINT);
+    if (callee.questionDotToken || call.questionDotToken) {
+        lowerer.noLowering(`optional calls of crypto.subtle.${member}`, call, SUBTLE_HINT);
+    }
+    if (call.arguments.nodes.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`crypto.subtle.${member} with spread arguments`, call, SUBTLE_HINT);
+    }
+    // JsonWebKey imports are not implemented: a literal 'jwk' format is
+    // refused here (the runtime refuses a computed one).
+    const format = call.arguments.nodes[0];
+    if (member === "importKey" &&
+        format !== undefined &&
+        ts.isStringLiteralLike(format) &&
+        format.text === "jwk") {
+        lowerer.noLowering("crypto.subtle.importKey with the 'jwk' key format", format, SUBTLE_HINT);
+    }
+    const loc = locOf(call);
+    const args = call.arguments.nodes.map((arg) => ts.isObjectLiteralExpression(arg)
+        ? lowerDynObjectLiteral(lowerer, arg)
+        : lowerer.lowerExprExpecting(arg, DYN));
+    return {
+        kind: "libCall",
+        fn,
+        args: [{ kind: "dynArrLit", elems: args, type: DYN, loc }],
+        type: { kind: "promise", inner: member === "verify" ? BOOL : DYN },
+        loc,
+    };
+}
+/** `v instanceof CryptoKey` against the global. */
+export function lowerCryptoKeyInstanceof(lowerer, expr) {
+    if (stdlibGlobalNameOf(lowerer, expr.right) !== "CryptoKey")
+        return null;
+    const value = lowerer.coerceInto(expr.left, lowerer.lowerExpr(expr.left), DYN);
+    return {
+        kind: "libCall",
+        fn: "webcrypto.isCryptoKey",
+        args: [value],
+        type: BOOL,
+        loc: locOf(expr),
+    };
+}
+/** TypeScript reads of `crypto.subtle` and its members outside a direct
+ * call: the global's dynamic object does not carry the lowered methods,
+ * so a detached read is refused rather than answering a value without
+ * them. JavaScript keeps the dynamic object's reads. */
+export function fenceWebCryptoMember(lowerer, access, use) {
+    if (use !== "read" || !ts.isPropertyAccessExpression(access))
+        return null;
+    if (isJsSourceFile(ts.getSourceFileOfNode(access)))
+        return null;
+    if (isSubtleReceiver(lowerer, access)) {
+        lowerer.noLowering("crypto.subtle as a value", access, SUBTLE_HINT);
+    }
+    if (isSubtleReceiver(lowerer, access.expression)) {
+        lowerer.noLowering(`crypto.subtle.${access.name.text} as a value`, access, SUBTLE_HINT);
+    }
+    return null;
+}
+/** Whether a checker type is one of the WebCrypto interfaces reached
+ * through the crypto global's members (SubtleCrypto, CryptoKey and the
+ * algorithm dictionaries). While `crypto` was typed `unknown` those member
+ * reads were untyped, so JavaScript destructurings of them keep the
+ * module-global path untyped bindings take. `Crypto` itself is excluded:
+ * the global was `unknown`, which already mapped to dyn. */
+export function isWebCryptoMemberType(lowerer, type) {
+    const symbol = type.getAliasSymbol() ?? type.getSymbol();
+    return (symbol !== undefined &&
+        ts.symbolName(symbol) !== "Crypto" &&
+        WEBCRYPTO_DYN_TYPES.has(ts.symbolName(symbol)) &&
+        lowerer.isStdlibSymbol(symbol));
+}
+//# sourceMappingURL=webcrypto.js.map

package/dist/frontend/lowering/builtins/webcrypto.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"webcrypto.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/webcrypto.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,IAAI,EAAE,GAAG,EAA6B,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;;;;;uEAMuE;AAEvE,MAAM,cAAc,GAAiC,IAAI,GAAG,CAAC;IAC3D,CAAC,WAAW,EAAE,qBAAqB,CAAC;IACpC,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAC1B,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IAC9B,CAAC,QAAQ,EAAE,kBAAkB,CAAC;CAC/B,CAAC,CAAC;AAEH,MAAM,WAAW,GACf,yMAAyM,CAAC;AAE5M,iEAAiE;AACjE,SAAS,gBAAgB,CAAC,OAAgB,EAAE,IAAmB;IAC7D,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,CAAC,IAAI,CAAC,gBAAgB;QACtB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,QAAQ,CAC1D,CAAC;AACJ,CAAC;AAED;sEACsE;AACtE,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAuB;IAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAChC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,CAAC,UAAU,CAAC,iBAAiB,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,gBAAgB,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACrD,OAAO,CAAC,UAAU,CAAC,mCAAmC,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAClD,OAAO,CAAC,UAAU,CAAC,iBAAiB,MAAM,wBAAwB,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACzF,CAAC;IACD,oEAAoE;IACpE,qDAAqD;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvC,IACE,MAAM,KAAK,WAAW;QACtB,MAAM,KAAK,SAAS;QACpB,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC9B,MAAM,CAAC,IAAI,KAAK,KAAK,EACrB,CAAC;QACD,OAAO,CAAC,UAAU,CAAC,mDAAmD,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5C,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAC/B,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;QACrC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CACzC,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE;QACF,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC1D,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE;QAClE,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAyB;IAEzB,IAAI,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACzE,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/E,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,IAAI;QACV,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;KACjB,CAAC;AACJ,CAAC;AAED;;;wDAGwD;AACxD,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,MAAgE,EAChE,GAAoB;IAEpB,IAAI,GAAG,KAAK,MAAM,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAChE,IAAI,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,CAAC,0BAA0B,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACjD,OAAO,CAAC,UAAU,CAAC,iBAAiB,MAAM,CAAC,IAAI,CAAC,IAAI,aAAa,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;4DAK4D;AAC5D,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAa;IACnE,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;IACzD,OAAO,CACL,MAAM,KAAK,SAAS;QACpB,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,QAAQ;QAClC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9C,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAC/B,CAAC;AACJ,CAAC"}

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

@@ -3,3 +3,19 @@ import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
 import type { Lowerer } from "../lowerer.js";
 export declare function lowerWorkerMetadata(member: string, loc: SrcLoc): IrExpr | null;
 export declare function lowerWorkerNew(lowerer: Lowerer, expression: ts.NewExpression): IrExpr | null;
+/** new MessageChannel(): { port1, port2 }, two entangled MessagePorts. */
+export declare function lowerMessageChannelNew(lowerer: Lowerer, expression: ts.NewExpression): IrExpr | null;
+/** receiveMessageOnPort(port): { message } or undefined. */
+export declare function lowerReceiveMessageOnPort(lowerer: Lowerer, call: ts.CallExpression): IrExpr;
+/** new BroadcastChannel(name): the EventTarget unit's half installs
+ * first, then the channel opens (the name converts at runtime). */
+export declare function lowerBroadcastChannelNew(lowerer: Lowerer, expression: ts.NewExpression): IrExpr | null;
+/** setEnvironmentData(key, value?) and getEnvironmentData(key): this
+ * thread's map, cloned into each Worker it constructs. */
+export declare function lowerEnvironmentData(lowerer: Lowerer, call: ts.CallExpression, member: "setEnvironmentData" | "getEnvironmentData"): IrExpr;
+/** markAsUncloneable(value): structuredClone and postMessage then throw
+ * DataCloneError for the value (scr_json.c). It needs no worker runtime. */
+export declare function lowerUncloneable(lowerer: Lowerer, call: ts.CallExpression): IrExpr;
+/** markAsUntransferable(value) and isMarkedAsUntransferable(value): marks
+ * kept by this thread (an ArrayBuffer's on its storage). */
+export declare function lowerUntransferable(lowerer: Lowerer, call: ts.CallExpression, member: "markAsUntransferable" | "isMarkedAsUntransferable"): IrExpr;

package/dist/frontend/lowering/builtins/workers.js

@@ -3,7 +3,7 @@ import { locOf } from "../../program.js";
 import { resolve } from "node:path";
 import { isWorkerConstructor, workerModulePath, workerSourcePath } from "../../worker-target.js";
 import { tsgoPath } from "../../dts-paths.js";
-import { BOOL, DYN, F64, STRING, UNDEFINED_T, isFfiCallbackParam, } from "../../../ir/ir.js";
+import { BOOL, DYN, F64, STRING, UNDEFINED_T, VOID, isFfiCallbackParam, } from "../../../ir/ir.js";
 export function lowerWorkerMetadata(member, loc) {
     switch (member) {
         case "isMainThread":
@@ -16,6 +16,10 @@ export function lowerWorkerMetadata(member, loc) {
             return { kind: "libCall", fn: "worker.parentPort", args: [], type: DYN, loc };
         case "isInternalThread":
             return { kind: "boolLit", value: false, type: BOOL, loc };
+        case "resourceLimits":
+            return { kind: "libCall", fn: "worker.resourceLimits", args: [], type: DYN, loc };
+        case "threadName":
+            return { kind: "libCall", fn: "worker.threadName", args: [], type: DYN, loc };
         default:
             return null;
     }
@@ -24,7 +28,7 @@ export function lowerWorkerNew(lowerer, expression) {
     const constructor = expression.expression;
     if (!isWorkerConstructor(lowerer.program, constructor))
         return null;
-    const args = expression.arguments ?? [];
+    const args = expression.arguments?.nodes ?? [];
     if (args.length < 1 || args.length > 2 || args.some(ts.isSpreadElement)) {
         lowerer.noLowering("Worker constructor arguments", expression, "use new Worker(filename, options?)");
     }
@@ -42,6 +46,7 @@ export function lowerWorkerNew(lowerer, expression) {
     if (lowerer.ffiImports.some((entry) => entry.params.some((parameter) => isFfiCallbackParam(parameter) && parameter.callback.invoke === "foreign"))) {
         lowerer.noLowering("workers with foreign-thread native callbacks", expression, "native callbacks in worker executables must run on their owning script thread");
     }
+    refuseHeapLimits(lowerer, args[1]);
     lowerer.usesWorkers = true;
     const loc = locOf(expression);
     const options = args[1]
@@ -52,7 +57,7 @@ export function lowerWorkerNew(lowerer, expression) {
             type: DYN,
             loc,
         };
-    return {
+    const create = {
         kind: "libCall",
         fn: "worker.new",
         args: [
@@ -63,5 +68,243 @@ export function lowerWorkerNew(lowerer, expression) {
         type: DYN,
         loc,
     };
+    if (!capturesStdio(args[1]))
+        return create;
+    return {
+        kind: "seqExpr",
+        stmts: [
+            {
+                kind: "exprStmt",
+                expr: { kind: "libCall", fn: "stream.workerStdio", args: [], type: VOID, loc },
+                loc,
+            },
+        ],
+        result: create,
+        type: DYN,
+        loc,
+    };
+}
+/** True when the options are not a literal, or a literal whose stdout,
+ * stderr or stdin member is not the literal false: worker.stdout,
+ * worker.stderr and worker.stdin then need the stream unit. */
+function capturesStdio(options) {
+    if (!options)
+        return false;
+    if (!ts.isObjectLiteralExpression(options))
+        return true;
+    return options.properties.nodes.some((option) => {
+        if (ts.isSpreadAssignment(option))
+            return true;
+        if (!option.name)
+            return false;
+        const name = propertyNameText(option.name);
+        if (name !== "stdout" && name !== "stderr" && name !== "stdin")
+            return name === undefined;
+        return !(ts.isPropertyAssignment(option) && option.initializer.kind === ts.SyntaxKind.FalseKeyword);
+    });
+}
+const HEAP_LIMITS = new Set([
+    "maxOldGenerationSizeMb",
+    "maxYoungGenerationSizeMb",
+    "codeRangeSizeMb",
+]);
+/** resourceLimits' V8 heap fields, when an options literal spells them
+ * with numbers (Node ignores other values; the runtime refuses the rest). */
+function refuseHeapLimits(lowerer, options) {
+    if (!options || !ts.isObjectLiteralExpression(options))
+        return;
+    for (const option of options.properties.nodes) {
+        if (!ts.isPropertyAssignment(option) || propertyNameText(option.name) !== "resourceLimits")
+            continue;
+        if (!ts.isObjectLiteralExpression(option.initializer))
+            continue;
+        for (const limit of option.initializer.properties.nodes) {
+            if (!ts.isPropertyAssignment(limit))
+                continue;
+            const name = propertyNameText(limit.name);
+            if (name === undefined || !HEAP_LIMITS.has(name))
+                continue;
+            const type = lowerer.checker.getTypeAtLocation(limit.initializer);
+            if (!(type.flags & ts.TypeFlags.NumberLike))
+                continue;
+            lowerer.noLowering(`Worker resourceLimits.${name}`, limit, "worker threads have no separate V8 heap; resourceLimits supports stackSizeMb");
+        }
+    }
+}
+function propertyNameText(name) {
+    return ts.isIdentifier(name) || ts.isStringLiteral(name) ? name.text : undefined;
+}
+/** True when `node`'s type is worker_threads' `name` class (also reached
+ * through its global). */
+function isWorkerThreadsClass(lowerer, node, name) {
+    const t = lowerer.checker.getTypeAtLocation(node);
+    const sym = t.getSymbol();
+    if (sym === undefined || ts.symbolName(sym) !== name)
+        return false;
+    return sym.declarations.some((d) => {
+        if (!ts.isClassDeclaration(d) && !ts.isInterfaceDeclaration(d))
+            return false;
+        if (!lowerer.isStdlibFile(ts.getSourceFileOfNode(d)))
+            return false;
+        let up = d.parent;
+        while (up) {
+            if (ts.isModuleDeclaration(up) && ts.isStringLiteral(up.name))
+                return up.name.text === "worker_threads" || up.name.text === "node:worker_threads";
+            up = up.parent;
+        }
+        return false;
+    });
+}
+/** new MessageChannel(): { port1, port2 }, two entangled MessagePorts. */
+export function lowerMessageChannelNew(lowerer, expression) {
+    if (!isWorkerThreadsClass(lowerer, expression, "MessageChannel"))
+        return null;
+    if ((expression.arguments?.nodes ?? []).length > 0) {
+        lowerer.noLowering("MessageChannel constructor arguments", expression, "use new MessageChannel()");
+    }
+    if (lowerer.targetPlatform === "wasi") {
+        lowerer.noLowering("MessageChannel in this target", expression, "use a native static executable");
+    }
+    lowerer.usesWorkers = true;
+    return { kind: "libCall", fn: "worker.channel", args: [], type: DYN, loc: locOf(expression) };
+}
+/** receiveMessageOnPort(port): { message } or undefined. */
+export function lowerReceiveMessageOnPort(lowerer, call) {
+    const args = call.arguments.nodes;
+    if (args.length > 1 || args.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`receiveMessageOnPort with ${args.length} arguments`, call);
+    }
+    lowerer.usesWorkers = true;
+    const loc = locOf(call);
+    const port = args[0]
+        ? lowerer.lowerExprExpecting(args[0], DYN)
+        : {
+            kind: "dynFrom",
+            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+            type: DYN,
+            loc,
+        };
+    return {
+        kind: "libCall",
+        fn: "worker.receiveMessageOnPort",
+        args: [port],
+        type: DYN,
+        loc,
+    };
+}
+/** new BroadcastChannel(name): the EventTarget unit's half installs
+ * first, then the channel opens (the name converts at runtime). */
+export function lowerBroadcastChannelNew(lowerer, expression) {
+    if (!isWorkerThreadsClass(lowerer, expression, "BroadcastChannel"))
+        return null;
+    const args = expression.arguments?.nodes ?? [];
+    if (args.length > 1 || args.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`BroadcastChannel constructor with ${args.length} arguments`, expression, "use new BroadcastChannel(name)");
+    }
+    if (lowerer.targetPlatform === "wasi") {
+        lowerer.noLowering("BroadcastChannel in this target", expression, "use a native static executable");
+    }
+    lowerer.usesWorkers = true;
+    const loc = locOf(expression);
+    return {
+        kind: "seqExpr",
+        stmts: [
+            {
+                kind: "exprStmt",
+                expr: { kind: "libCall", fn: "event.broadcastInstall", args: [], type: VOID, loc },
+                loc,
+            },
+        ],
+        result: {
+            kind: "libCall",
+            fn: "worker.broadcastChannel",
+            args: [
+                {
+                    kind: "dynArrLit",
+                    elems: args.map((a) => lowerer.lowerExprExpecting(a, DYN)),
+                    type: DYN,
+                    loc,
+                },
+            ],
+            type: DYN,
+            loc,
+        },
+        type: DYN,
+        loc,
+    };
+}
+/** setEnvironmentData(key, value?) and getEnvironmentData(key): this
+ * thread's map, cloned into each Worker it constructs. */
+export function lowerEnvironmentData(lowerer, call, member) {
+    const args = call.arguments.nodes;
+    const arity = member === "setEnvironmentData" ? 2 : 1;
+    if (args.length > arity || args.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`${member} with ${args.length} arguments`, call);
+    }
+    if (lowerer.targetPlatform === "wasi") {
+        lowerer.noLowering(`${member} in this target`, call, "use a native static executable");
+    }
+    lowerer.usesWorkers = true;
+    const loc = locOf(call);
+    const lowered = [];
+    for (let i = 0; i < arity; i++) {
+        lowered.push(args[i]
+            ? lowerer.lowerExprExpecting(args[i], DYN)
+            : {
+                kind: "dynFrom",
+                value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+                type: DYN,
+                loc,
+            });
+    }
+    return {
+        kind: "libCall",
+        fn: member === "setEnvironmentData" ? "worker.setEnvironmentData" : "worker.getEnvironmentData",
+        args: lowered,
+        type: member === "setEnvironmentData" ? VOID : DYN,
+        loc,
+    };
+}
+/** markAsUncloneable(value): structuredClone and postMessage then throw
+ * DataCloneError for the value (scr_json.c). It needs no worker runtime. */
+export function lowerUncloneable(lowerer, call) {
+    const args = call.arguments.nodes;
+    if (args.length > 1 || args.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`markAsUncloneable with ${args.length} arguments`, call);
+    }
+    const loc = locOf(call);
+    const value = args[0]
+        ? lowerer.lowerExprExpecting(args[0], DYN)
+        : {
+            kind: "dynFrom",
+            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+            type: DYN,
+            loc,
+        };
+    return { kind: "libCall", fn: "dyn.markUncloneable", args: [value], type: VOID, loc };
+}
+/** markAsUntransferable(value) and isMarkedAsUntransferable(value): marks
+ * kept by this thread (an ArrayBuffer's on its storage). */
+export function lowerUntransferable(lowerer, call, member) {
+    const args = call.arguments.nodes;
+    if (args.length > 1 || args.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`${member} with ${args.length} arguments`, call);
+    }
+    if (lowerer.targetPlatform === "wasi") {
+        lowerer.noLowering(`${member} in this target`, call, "use a native static executable");
+    }
+    lowerer.usesWorkers = true;
+    const loc = locOf(call);
+    const value = args[0]
+        ? lowerer.lowerExprExpecting(args[0], DYN)
+        : {
+            kind: "dynFrom",
+            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+            type: DYN,
+            loc,
+        };
+    return member === "markAsUntransferable"
+        ? { kind: "libCall", fn: "worker.markUntransferable", args: [value], type: VOID, loc }
+        : { kind: "libCall", fn: "worker.isMarkedUntransferable", args: [value], type: BOOL, loc };
 }
 //# sourceMappingURL=workers.js.map

package/dist/frontend/lowering/builtins/workers.js.map

@@ -1 +1 @@
-{"version":3,"file":"workers.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/workers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,WAAW,EACX,kBAAkB,GAGnB,MAAM,mBAAmB,CAAC;AAG3B,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,GAAW;IAC7D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,cAAc;YACjB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACnF,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC9E,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC1E,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAChF,KAAK,kBAAkB;YACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC5D;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,UAA4B;IAC3E,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC;IAC1C,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC;IACxC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACxE,OAAO,CAAC,UAAU,CAChB,8BAA8B,EAC9B,UAAU,EACV,oCAAoC,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,IAAI,GACR,IAAI,KAAK,IAAI;QACX,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,UAAU,CAChB,yBAAyB,EACzB,QAAQ,EACR,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,CAChB,iCAAiC,EACjC,UAAU,EACV,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,IACE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CACxF,CACF,EACD,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,8CAA8C,EAC9C,UAAU,EACV,+EAA+E,CAChF,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAW,IAAI,CAAC,CAAC,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;YACrE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACnD,OAAO;SACR;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"workers.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/workers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,WAAW,EACX,IAAI,EACJ,kBAAkB,GAGnB,MAAM,mBAAmB,CAAC;AAG3B,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,GAAW;IAC7D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,cAAc;YACjB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACnF,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC9E,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC1E,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAChF,KAAK,kBAAkB;YACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC5D,KAAK,gBAAgB;YACnB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpF,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAChF;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,UAA4B;IAC3E,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC;IAC1C,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC;IAC/C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACxE,OAAO,CAAC,UAAU,CAChB,8BAA8B,EAC9B,UAAU,EACV,oCAAoC,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,IAAI,GACR,IAAI,KAAK,IAAI;QACX,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,UAAU,CAChB,yBAAyB,EACzB,QAAQ,EACR,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,CAChB,iCAAiC,EACjC,UAAU,EACV,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,IACE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CACxF,CACF,EACD,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,8CAA8C,EAC9C,UAAU,EACV,+EAA+E,CAChF,CAAC;IACJ,CAAC;IACD,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAW,IAAI,CAAC,CAAC,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;YACrE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACnD,OAAO;SACR;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IAC3C,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBAC9E,GAAG;aACJ;SACF;QACD,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;+DAE+D;AAC/D,SAAS,aAAa,CAAC,OAAkC;IACvD,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,OAAO,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9C,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,KAAK,SAAS,CAAC;QAC1F,OAAO,CAAC,CACN,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC1F,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IAC1B,wBAAwB;IACxB,0BAA0B;IAC1B,iBAAiB;CAClB,CAAC,CAAC;AAEH;6EAC6E;AAC7E,SAAS,gBAAgB,CAAC,OAAgB,EAAE,OAAkC;IAC5E,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO;IAC/D,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QAC9C,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,gBAAgB;YACxF,SAAS;QACX,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,WAAW,CAAC;YAAE,SAAS;QAChE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YACxD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC9C,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC3D,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAClE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;gBAAE,SAAS;YACtD,OAAO,CAAC,UAAU,CAChB,yBAAyB,IAAI,EAAE,EAC/B,KAAK,EACL,8EAA8E,CAC/E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAqB;IAC7C,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACnF,CAAC;AAED;0BAC0B;AAC1B,SAAS,oBAAoB,CAAC,OAAgB,EAAE,IAAmB,EAAE,IAAY;IAC/E,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC;IAC1B,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACnE,IAAI,EAAE,GAAwB,CAAC,CAAC,MAAM,CAAC;QACvC,OAAO,EAAE,EAAE,CAAC;YACV,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC;gBAC3D,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAAC;YACrF,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;QACjB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,UAA4B;IAE5B,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,UAAU,EAAE,gBAAgB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,UAAU,CAChB,sCAAsC,EACtC,UAAU,EACV,0BAA0B,CAC3B,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,CAChB,+BAA+B,EAC/B,UAAU,EACV,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;AAChG,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,IAAuB;IACjF,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrD,OAAO,CAAC,UAAU,CAAC,6BAA6B,IAAI,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAW,IAAI,CAAC,CAAC,CAAC;QAC1B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;YACrE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,UAA4B;IAE5B,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,UAAU,EAAE,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC;IAC/C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrD,OAAO,CAAC,UAAU,CAChB,qCAAqC,IAAI,CAAC,MAAM,YAAY,EAC5D,UAAU,EACV,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,CAChB,iCAAiC,EACjC,UAAU,EACV,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IAC9B,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,wBAAwB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBAClF,GAAG;aACJ;SACF;QACD,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,yBAAyB;YAC7B,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBAC1D,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;0DAC0D;AAC1D,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAuB,EACvB,MAAmD;IAEnD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,MAAM,KAAK,GAAG,MAAM,KAAK,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACzD,OAAO,CAAC,UAAU,CAAC,GAAG,MAAM,SAAS,IAAI,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,CAAC,GAAG,MAAM,iBAAiB,EAAE,IAAI,EAAE,gCAAgC,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CACV,IAAI,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;YAC3C,CAAC,CAAC;gBACE,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;gBACrE,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CACN,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,MAAM,KAAK,oBAAoB,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,2BAA2B;QAC/F,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,MAAM,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;QAClD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;4EAC4E;AAC5E,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAuB;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrD,OAAO,CAAC,UAAU,CAAC,0BAA0B,IAAI,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAW,IAAI,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;YACrE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACxF,CAAC;AAED;4DAC4D;AAC5D,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAuB,EACvB,MAA2D;IAE3D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACrD,OAAO,CAAC,UAAU,CAAC,GAAG,MAAM,SAAS,IAAI,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,CAAC,GAAG,MAAM,iBAAiB,EAAE,IAAI,EAAE,gCAAgC,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAW,IAAI,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;YACrE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO,MAAM,KAAK,sBAAsB;QACtC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,2BAA2B,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACtF,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,+BAA+B,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC/F,CAAC"}

package/dist/frontend/lowering/call-arguments.js

@@ -1,3 +1,4 @@
+import { forwardedTupleType, pureForwardedValues, stripTypeWrappers } from "./typed-arguments.js";
 import { dynUndefinedExpr } from "../../ir/build.js";
 import { InternalCompilerError } from "../../errors.js";
 import * as ts from "../ts7/adapter.js";
@@ -10,9 +11,9 @@ import { checkedIterableSpread } from "./checked-iterable-spread.js";
 import {} from "./call-signatures.js";
 import { arrayValueRead, arrayValueType } from "./array-values.js";
 import { buildArrayConversion } from "./coercions/builders.js";
-import { typeKey } from "../type-mapper.js";
+import { restTupleElementTypes, typeKey } from "../type-mapper.js";
 function fixedTupleSpreadInfo(lowerer, node) {
-    const type = lowerer.mapTypeOf(lowerer.typeOf(node));
+    const type = forwardedTupleType(lowerer, node) ?? lowerer.mapTypeOf(lowerer.typeOf(node));
     if (type?.kind !== "record")
         return null;
     const shape = lowerer.shapes.get(type.shapeId);
@@ -23,6 +24,20 @@ function fixedTupleSpreadInfo(lowerer, node) {
         fields: [...shape.fields].sort((a, b) => Number(a.name) - Number(b.name)),
     };
 }
+/** `...t` over a provably EMPTY tuple bound to a plain name (`[]`, a rest
+ * tuple whose type parameter or `Parameters<F>` resolved to no positions):
+ * it contributes no arguments, and reading the name has no effect. */
+function emptyTupleSpread(lowerer, node) {
+    let operand = node;
+    while (ts.isParenthesizedExpression(operand))
+        operand = operand.expression;
+    if (!ts.isIdentifier(operand))
+        return false;
+    const forwarded = forwardedTupleType(lowerer, operand);
+    if (forwarded)
+        return forwarded.kind === "array";
+    return restTupleElementTypes(lowerer.typeOf(operand), lowerer.typeCtx)?.length === 0;
+}
 export function completeArgs(lowerer, argNodes, shapes, loc, blame, 
 /** Pre-lowered values virtually PREPENDED to the argument list — the
  * tagged-template strings object, which has no ts.Expression to lower
@@ -32,7 +47,9 @@ export function completeArgs(lowerer, argNodes, shapes, loc, blame,
 leading) {
     // Conversion eligibility can traverse the whole recursive parameter
     // graph. Ordinary calls and fixed tuples never need that analysis.
-    const runtimeSpreads = argNodes.filter((arg) => ts.isSpreadElement(arg) && !fixedTupleSpreadInfo(lowerer, arg.expression));
+    const runtimeSpreads = argNodes.filter((arg) => ts.isSpreadElement(arg) &&
+        !fixedTupleSpreadInfo(lowerer, arg.expression) &&
+        !emptyTupleSpread(lowerer, arg.expression));
     // Spread operands lowered while choosing the completion, each exactly once.
     const loweredSpreads = new Map();
     const lowerSpread = (arg) => loweredSpreads.get(arg) ?? lowerer.lowerExpr(arg.expression);
@@ -92,7 +109,7 @@ leading) {
                     loc: value.loc,
                 };
             }
-            value = checkedIterableSpread(lowerer, value, arg.expression.getText(), loc);
+            value = checkedIterableSpread(lowerer, value, ts.getTextOfNode(arg.expression), loc);
             if (spreads === 1 && index === argNodes.length - 1) {
                 stmts.push({
                     kind: "exprStmt",
@@ -102,7 +119,7 @@ leading) {
                         args: [
                             ref(),
                             value,
-                            { kind: "strLit", value: arg.expression.getText(), type: STRING, loc },
+                            { kind: "strLit", value: ts.getTextOfNode(arg.expression), type: STRING, loc },
                         ],
                         type: VOID,
                         loc,
@@ -154,6 +171,14 @@ leading) {
             sources.push(arg);
             continue;
         }
+        if (emptyTupleSpread(lowerer, arg.expression))
+            continue;
+        const pure = pureForwardedValues(lowerer, arg.expression);
+        if (pure) {
+            for (const value of pure)
+                sources.push({ ir: value });
+            continue;
+        }
         const tuple = fixedTupleSpreadInfo(lowerer, arg.expression);
         if (!tuple) {
             sources.push(arg);
@@ -168,7 +193,12 @@ leading) {
         // values as separately written arguments while the saved tuple stays
         // alive through the call.
         const spreadLoc = locOf(arg);
-        const value = lowerer.coerceInto(arg.expression, lowerer.lowerExpr(arg.expression), tuple.type);
+        // A forwarded tuple seen through type assertions (`...(arguments as
+        // unknown as Parameters<F>)`) spreads the tuple itself.
+        const operand = forwardedTupleType(lowerer, arg.expression) !== null
+            ? stripTypeWrappers(arg.expression)
+            : arg.expression;
+        const value = lowerer.coerceInto(arg.expression, lowerer.lowerExpr(operand), tuple.type);
         const saved = lowerer.declareHiddenLocal("%callSpread", tuple.type);
         const savedRef = () => ({
             kind: "varRef",
@@ -447,9 +477,31 @@ export function completeFuncValueArgs(lowerer, call, funcType, loc) {
             mode: omittedArgFor(lowerer, type, loc) ? "omittable" : "required",
         }));
         shapes.push({ type: rest, mode: "rest" });
-        return completeArgs(lowerer, call.arguments, shapes, loc, call);
+        return completeArgs(lowerer, call.arguments.nodes, shapes, loc, call);
+    }
+    // A fixed-tuple spread (`fn(...args)` over a tuple-typed rest binding)
+    // has a compile-time arity: completion flattens it into the positional
+    // slots exactly like a direct call's.
+    if (funcType.rest !== true &&
+        call.arguments.nodes.some(ts.isSpreadElement) &&
+        call.arguments.nodes.every((arg) => !ts.isSpreadElement(arg) ||
+            fixedTupleSpreadInfo(lowerer, arg.expression) !== null ||
+            emptyTupleSpread(lowerer, arg.expression))) {
+        const shapes = funcType.params.map((type) => ({
+            type,
+            mode: omittedArgFor(lowerer, type, loc) ? "omittable" : "required",
+        }));
+        return completeArgs(lowerer, call.arguments.nodes, shapes, loc, call);
+    }
+    const args = call.arguments.nodes.map((arg, index) => lowerer.lowerExprExpecting(arg, funcType.params[index]));
+    // Effect-free surplus arguments of a fixed-arity value (`(r: void) =>
+    // void` drops its void slot) evaluate to nothing observable: drop them,
+    // as the callee ignores them.
+    while (funcType.rest !== true &&
+        args.length > funcType.params.length &&
+        isSafeToDiscard(args[args.length - 1])) {
+        args.pop();
     }
-    const args = call.arguments.map((arg, index) => lowerer.lowerExprExpecting(arg, funcType.params[index]));
     for (let i = args.length; i < funcType.params.length; i++) {
         const absent = omittedArgFor(lowerer, funcType.params[i], loc);
         if (!absent) {
@@ -471,20 +523,23 @@ export function undefinedArgFor(lowerer, type, loc, blame) {
     return wrapped;
 }
 export function lowerSpreadArgsCall(lowerer, expr, callee, loc) {
-    if (!isJsSourceFile(expr.getSourceFile()))
+    // TypeScript reaches this lane only for checked-dynamic variadic callees
+    // (`(...args: unknown[]) => R`), whose ABI is the JS one.
+    if (!isJsSourceFile(ts.getSourceFileOfNode(expr)) &&
+        !(callee.type.kind === "func" && callee.type.rest === true && callee.type.restAbi === undefined))
         return null;
-    if (!expr.arguments.some((a) => ts.isSpreadElement(a)))
+    if (!expr.arguments.nodes.some((a) => ts.isSpreadElement(a)))
         return null;
     if (callee.type.kind !== "dyn" && callee.type.kind !== "func")
         return null;
     const calleeName = ts.isPropertyAccessExpression(expr.expression) || ts.isElementAccessExpression(expr.expression)
-        ? expr.expression.getText()
+        ? ts.getTextOfNode(expr.expression)
         : ts.isIdentifier(expr.expression)
             ? expr.expression.text
             : "value";
     // Lower every argument ONCE, in source order (the IR nests them in
     // exactly this order, so runtime evaluation order is JS's).
-    const parts = expr.arguments.map((a) => ts.isSpreadElement(a)
+    const parts = expr.arguments.nodes.map((a) => ts.isSpreadElement(a)
         ? { spreadOf: a.expression, node: null, v: lowerer.lowerExpr(a.expression) }
         : { spreadOf: null, node: a, v: lowerer.lowerExpr(a) });
     const spreadParts = parts.filter((p) => p.spreadOf !== null);
@@ -501,8 +556,8 @@ export function lowerSpreadArgsCall(lowerer, expr, callee, loc) {
             if (p.spreadOf !== null) {
                 // The spelling rides along for V8's nullish spread-call
                 // TypeError ("v is not iterable (cannot read property ...)").
-                spreads.push({ arg: args.length, what: p.spreadOf.getText() });
-                args.push(checkedIterableSpread(lowerer, p.v, p.spreadOf.getText(), loc));
+                spreads.push({ arg: args.length, what: ts.getTextOfNode(p.spreadOf) });
+                args.push(checkedIterableSpread(lowerer, p.v, ts.getTextOfNode(p.spreadOf), loc));
             }
             else {
                 args.push(lowerer.coerceInto(p.node, p.v, DYN));