@scriptc/compiler 0.1.7 → 0.2.0

package/dist/frontend/lowering/expressions/native-proxy.js

@@ -0,0 +1,49 @@
+import * as ts from "../../ts7/adapter.js";
+import { isJsSourceFile, locOf } from "../../program.js";
+import { DYN } from "../../../ir/ir.js";
+/** These values must stay checked-native instead of being copied into the
+ * target's inferred record layout, including hoisted and module bindings. */
+export function isNativeProxyInitializer(lowerer, expression) {
+    if (lowerer.dynamic || !expression)
+        return false;
+    while (ts.isParenthesizedExpression(expression))
+        expression = expression.expression;
+    return ts.isNewExpression(expression) && ts.isIdentifier(expression.expression) &&
+        expression.expression.text === "Proxy" &&
+        lowerer.isStdlibSymbol(lowerer.resolveValueSymbol(expression.expression) ?? undefined);
+}
+export function lowerNativeProxy(lowerer, expr) {
+    const loc = locOf(expr);
+    const args = expr.arguments ?? [];
+    if (args.length !== 2 || args.some(ts.isSpreadElement))
+        lowerer.noLowering("new Proxy with this argument list", expr);
+    const handler = args[1];
+    if (isJsSourceFile(expr.getSourceFile()) && ts.isObjectLiteralExpression(handler)) {
+        for (const prop of handler.properties) {
+            const callback = ts.isMethodDeclaration(prop) ? prop
+                : ts.isPropertyAssignment(prop) && (ts.isFunctionExpression(prop.initializer) || ts.isArrowFunction(prop.initializer)) ? prop.initializer : null;
+            if (!callback)
+                continue;
+            if (!callback.type)
+                lowerer.runtimeOptionalFunctionReturns.set(callback, DYN);
+            // The native trap ABI passes live checked values. Contextual
+            // ProxyHandler types include symbols, which this boundary
+            // explicitly refuses; they must not force a copying record
+            // parameter or an unboxable string|symbol closure signature.
+            for (const param of callback.parameters) {
+                if (ts.isIdentifier(param.name) && !param.type && !param.dotDotDotToken)
+                    lowerer.checkedCallbackParams.add(param);
+            }
+        }
+    }
+    const inputs = args.map((arg) => {
+        const value = ts.isObjectLiteralExpression(arg)
+            ? lowerer.lowerExprExpecting(arg, DYN) : lowerer.lowerExpr(arg);
+        if (value.type.kind !== "dyn") {
+            lowerer.unsupported("SC1090", arg, "Proxy targets and handlers outside checked-native object storage");
+        }
+        return value;
+    });
+    return { kind: "libCall", fn: "dyn.proxyNew", args: inputs, type: DYN, loc };
+}
+//# sourceMappingURL=native-proxy.js.map

package/dist/frontend/lowering/expressions/native-proxy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-proxy.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/native-proxy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,GAAG,EAAe,MAAM,mBAAmB,CAAC;AAGrD;6EAC6E;AAC7E,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,UAAqC;IAC9F,IAAI,OAAO,CAAC,OAAO,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IACjD,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAAE,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACpF,OAAO,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;QAC7E,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO;QACtC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAsB;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,CAAC,UAAU,CAAC,mCAAmC,EAAE,IAAI,CAAC,CAAC;IACtH,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;gBAClD,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;YACnJ,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,IAAI,CAAC,QAAQ,CAAC,IAAI;gBAAE,OAAO,CAAC,8BAA8B,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC9E,6DAA6D;YAC7D,0DAA0D;YAC1D,2DAA2D;YAC3D,6DAA6D;YAC7D,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc;oBAAE,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC9B,MAAM,KAAK,GAAG,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAC7C,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAClE,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC9B,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,kEAAkE,CAAC,CAAC;QACzG,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC/E,CAAC"}

package/dist/frontend/lowering/expressions/nullish-assignment.d.ts

@@ -0,0 +1,6 @@
+import * as ts from "../../ts7/adapter.js";
+import { type IrExpr } from "../../../ir/ir.js";
+import type { Lowerer } from "../lowerer.js";
+/** The reference and its read evaluate once; the write exists only in the
+ * selected branch. In particular an accessor setter never runs for a kept value. */
+export declare function lowerShortCircuitAssignment(lowerer: Lowerer, expr: ts.BinaryExpression): IrExpr;

package/dist/frontend/lowering/expressions/nullish-assignment.js

@@ -0,0 +1,124 @@
+import * as ts from "../../ts7/adapter.js";
+import { DYN, STRING, VOID, isUnitType } from "../../../ir/ir.js";
+import { varRef } from "../../../ir/build.js";
+import { locOf } from "../../program.js";
+import { arrayValueRead, arrayValueStore } from "../array-values.js";
+import { fenceNodeModuleMutation } from "../lower-node-module.js";
+import { globalSymbolKey } from "./global-symbols.js";
+import { tryLowerExpression } from "./try-lower-expression.js";
+/** The reference and its read evaluate once; the write exists only in the
+ * selected branch. In particular an accessor setter never runs for a kept value. */
+export function lowerShortCircuitAssignment(lowerer, expr) {
+    const nullish = expr.operatorToken.kind === ts.SyntaxKind.QuestionQuestionEqualsToken;
+    const and = expr.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandEqualsToken;
+    const loc = locOf(expr);
+    const prefix = [];
+    const save = (value, name) => {
+        const local = lowerer.declareHiddenLocal(name, value.type);
+        prefix.push({ kind: "varDecl", localId: local.id, init: value, loc: value.loc });
+        return varRef(local.id, value.type, value.loc);
+    };
+    let target = expr.left;
+    while (ts.isParenthesizedExpression(target))
+        target = target.expression;
+    let read;
+    let storage;
+    let write;
+    if (ts.isIdentifier(target)) {
+        const binding = lowerer.resolveWritable(target);
+        if (!binding)
+            lowerer.rejectUnresolved(target, "short-circuit assignment to a non-writable binding");
+        storage = binding.type;
+        read = varRef(binding.id, binding.type, locOf(target));
+        write = (value) => ({ kind: "assign", localId: binding.id, value, loc });
+    }
+    else if (ts.isPropertyAccessExpression(target) || ts.isElementAccessExpression(target)) {
+        fenceNodeModuleMutation(lowerer, target, "assignment");
+        if (target.questionDotToken || target.expression.kind === ts.SyntaxKind.SuperKeyword) {
+            lowerer.unsupported("SC1090", target, "short-circuit assignment through optional or super references");
+        }
+        const globalKey = ts.isElementAccessExpression(target) ? globalSymbolKey(lowerer, target.expression, target.argumentExpression) : null;
+        if (globalKey) {
+            const key = save(globalKey, "%shortCircuitKey");
+            storage = DYN;
+            read = { kind: "libCall", fn: "dyn.globalSymbolGet", args: [key], type: DYN, loc };
+            write = (value) => ({ kind: "exprStmt", expr: { kind: "libCall", fn: "dyn.globalSymbolSet", args: [key, value], type: VOID, loc }, loc });
+        }
+        else if (ts.isPropertyAccessExpression(target)) {
+            const probed = tryLowerExpression(lowerer, target.expression);
+            if (probed?.type.kind === "dyn") {
+                const receiver = save(probed, "%shortCircuitReceiver");
+                const key = { kind: "strLit", value: target.name.text, type: STRING, loc };
+                storage = DYN;
+                read = { kind: "dynKeyGet", key, value: receiver, type: DYN, loc };
+                write = (value) => ({ kind: "exprStmt", expr: { kind: "libCall", fn: "dyn.keySet", args: [receiver, key, value], type: VOID, loc }, loc });
+            }
+            else {
+                const field = lowerer.fieldTarget(target);
+                if (!field)
+                    lowerer.unsupported("SC1090", target, "short-circuit assignment to an unsupported property");
+                field.obj = save(field.obj, "%shortCircuitReceiver");
+                read = lowerer.fieldGetExpr(field, locOf(target), target);
+                storage = field.fieldType;
+                const blame = target;
+                write = (value) => lowerer.fieldSetStmt(field, value, loc, blame);
+            }
+        }
+        else {
+            const receiver = save(lowerer.lowerExpr(target.expression), "%shortCircuitReceiver");
+            let key = lowerer.lowerExpr(target.argumentExpression);
+            if (receiver.type.kind === "dyn") {
+                if (key.type.kind !== "string" && key.type.kind !== "f64" && key.type.kind !== "bool") {
+                    lowerer.unsupported("SC1090", target.argumentExpression, "short-circuit assignment with non-scalar property keys");
+                }
+                key = save(lowerer.ensureString(key, target.argumentExpression), "%shortCircuitKey");
+                storage = DYN;
+                read = { kind: "dynKeyGet", key, value: receiver, type: DYN, loc };
+                write = (value) => ({ kind: "exprStmt", expr: { kind: "libCall", fn: "dyn.keySet", args: [receiver, key, value], type: VOID, loc }, loc });
+            }
+            else if (receiver.type.kind === "array" && key.type.kind === "f64") {
+                key = save(key, "%shortCircuitKey");
+                storage = receiver.type.elem;
+                read = arrayValueRead(lowerer, receiver, key, storage, locOf(target));
+                const element = storage;
+                write = (value) => arrayValueStore(lowerer, receiver, key, value, element, loc);
+            }
+            else {
+                lowerer.unsupported("SC1090", target, "short-circuit assignment through this indexed receiver");
+            }
+        }
+    }
+    else {
+        lowerer.unsupported("SC1090", target, "short-circuit assignment to this reference");
+    }
+    const finish = (result) => prefix.length === 0 ? result : { kind: "seqExpr", stmts: prefix, result, type: result.type, loc };
+    if (nullish && !isUnitType(read.type) && read.type.kind !== "dyn" && read.type.kind !== "jsval" &&
+        (read.type.kind !== "union" || !lowerer.unions.get(read.type.unionId)?.arms.some(isUnitType))) {
+        return finish(read);
+    }
+    const value = lowerer.lowerExprExpecting(expr.right, storage);
+    const assigned = lowerer.declareHiddenLocal("%shortCircuitValue", value.type);
+    const ref = varRef(assigned.id, value.type, loc);
+    const result = lowerer.coerceInto(expr.right, ref, read.type);
+    const right = {
+        kind: "seqExpr", stmts: [{ kind: "varDecl", localId: assigned.id, init: value, loc }, write(ref)],
+        result, type: result.type, loc,
+    };
+    if (!nullish) {
+        // Saving even a bare local matters: the RHS or an accessor setter can
+        // change that binding, and the expression must still yield the value
+        // selected by the original read or RHS.
+        const kept = save(read, "%shortCircuitRead");
+        const condition = lowerer.ensureBool(kept, target);
+        return finish({
+            kind: "ternary", cond: condition, then: and ? right : kept,
+            else_: and ? kept : right, type: read.type, loc,
+        });
+    }
+    if (isUnitType(read.type)) {
+        prefix.push({ kind: "exprStmt", expr: read, loc });
+        return finish(right);
+    }
+    return finish({ kind: "nullish", left: read, right, type: read.type, loc });
+}
+//# sourceMappingURL=nullish-assignment.js.map

package/dist/frontend/lowering/expressions/nullish-assignment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullish-assignment.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/nullish-assignment.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAyC,MAAM,mBAAmB,CAAC;AACzG,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D;oFACoF;AACpF,MAAM,UAAU,2BAA2B,CAAC,OAAgB,EAAE,IAAyB;IACrF,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC;IACtF,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,6BAA6B,CAAC;IACpF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACjF,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,OAAO,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IACxE,IAAI,IAAY,CAAC;IACjB,IAAI,OAAe,CAAC;IACpB,IAAI,KAAgC,CAAC;IACrC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,oDAAoD,CAAC,CAAC;QACrG,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;QACvB,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,CAAC;SAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QACzF,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YACrF,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,+DAA+D,CAAC,CAAC;QACzG,CAAC;QACD,MAAM,SAAS,GAAG,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvI,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;YAChD,OAAO,GAAG,GAAG,CAAC;YACd,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACnF,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5I,CAAC;aAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;YAC9D,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;gBACvD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gBACnF,OAAO,GAAG,GAAG,CAAC;gBACd,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACnE,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7I,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAC1C,IAAI,CAAC,KAAK;oBAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,qDAAqD,CAAC,CAAC;gBACzG,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;gBACrD,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC1D,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC;gBAC1B,MAAM,KAAK,GAAG,MAAM,CAAC;gBACrB,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACrF,IAAI,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;YACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACtF,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,kBAAkB,EAAE,wDAAwD,CAAC,CAAC;gBACrH,CAAC;gBACD,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,CAAC;gBACrF,OAAO,GAAG,GAAG,CAAC;gBACd,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACnE,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7I,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACrE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;gBACpC,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC7B,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;gBACtE,MAAM,OAAO,GAAG,OAAO,CAAC;gBACxB,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAClF,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,wDAAwD,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,4CAA4C,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;IAC7I,IAAI,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC3F,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAClG,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACjG,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG;KAC/B,CAAC;IACF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,sEAAsE;QACtE,qEAAqE;QACrE,wCAAwC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC;YACZ,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;YAC1D,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG;SAChD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC9E,CAAC"}

package/dist/frontend/lowering/expressions/object-literals.d.ts

@@ -1,5 +1,5 @@
 import * as ts from "../../ts7/adapter.js";
-import type { IrExpr } from "../../../ir/ir.js";
+import type { IrExpr, IrType } from "../../../ir/ir.js";
 import type { Lowerer } from "../lowerer.js";
 export declare function foldedStringKeyOf(lowerer: Lowerer, expr: ts.Expression): string | null;
 /** The runtime-keyed JS object literal (a computed key that doesn't fold):
@@ -11,10 +11,12 @@ export declare function foldedStringKeyOf(lowerer: Lowerer, expr: ts.Expression)
  * dyn's String() for dyn operands — `{ [field]: v }` where field is a
  * checked-dynamic param). Values convert through the usual dyn boundary
  * (dynFrom's domain, functions box); a value with no dyn representation
- * fences per property. Spreads copy through dyn.assign in source order;
- * accessors stay fenced. */
+ * fences per property. Spreads create own data properties in source order;
+ * accessors retain their captured getter and setter closures. */
 export declare function lowerDynObjectLiteral(lowerer: Lowerer, expr: ts.ObjectLiteralExpression, boxValue?: (node: ts.Expression, value: IrExpr) => IrExpr): IrExpr;
-export declare function lowerObjectLiteral(lowerer: Lowerer, expr: ts.ObjectLiteralExpression): IrExpr;
+export declare function lowerObjectLiteral(lowerer: Lowerer, expr: ts.ObjectLiteralExpression, expected?: IrType & {
+    kind: "record";
+}): IrExpr;
 /** A conditional spread's carrier property: `name: value` or shorthand,
  * with an identifier/string-literal name. */
 export type CondSpreadProp = (ts.PropertyAssignment | ts.ShorthandPropertyAssignment) & {
@@ -37,8 +39,6 @@ export declare function conditionalSpreadOf(expr: ts.Expression): {
  * The property name's own symbol is the PROPERTY, so resolution goes
  * through getShorthandAssignmentValueSymbol. */
 export declare function lowerShorthandValue(lowerer: Lowerer, prop: ts.ShorthandPropertyAssignment): IrExpr;
-/** Rejects any `this` inside an object-literal method body — including in
- * nested arrows, which inherit the method's `this` (nested function
- * expressions reset it, but their bare `this` is already a tsc error
- * under noImplicitThis, so over-rejecting them here changes nothing). */
+/** Rejects the method's own receiver, including lexical captures in
+ * arrows. Nested ordinary functions bind their own ambient receiver. */
 export declare function rejectThisInObjectMethod(lowerer: Lowerer, node: ts.Node): void;