@scriptc/compiler 0.2.1 → 0.2.3

package/dist/frontend/lowering/deferred-module-initializers.js

@@ -0,0 +1,410 @@
+import * as ts from "../ts7/adapter.js";
+import { everyStmtList } from "../../ir/traverse.js";
+import { locOf } from "../program.js";
+import { npmStaticPackageOfPath } from "../npm-static.js";
+import { exactClassOfReceiver, findMethodOn, findGenericMethodOn } from "./lower-classes.js";
+import { classPrototypeData } from "./class-prototypes.js";
+import { bindingNeverReassigned } from "./lower-calls.js";
+/** A registry of existing class/function values allocates data, but does
+ * not execute those bodies. Keep its initializer at its source position
+ * and lower it only when a reached body observes the binding. Otherwise
+ * merely collecting an unused registry would reach every constructor. */
+export class DeferredModuleInitializers {
+    pending = new Map();
+    registryGlobals = new Set();
+    defer(lowerer, statement) {
+        let key;
+        if (ts.isVariableStatement(statement) && statement.declarationList.declarations.length === 1) {
+            const declaration = statement.declarationList.declarations[0];
+            if (!ts.isIdentifier(declaration.name) || !declaration.initializer)
+                return null;
+            const symbol = lowerer.checker.getSymbolAtLocation(declaration.name);
+            const global = symbol && lowerer.globalsBySymbol.get(symbol);
+            if (!global || !registryInitializer(lowerer, declaration.initializer, statement)) {
+                return null;
+            }
+            key = global.id;
+            if (ts.isObjectLiteralExpression(declaration.initializer) && declaration.initializer.properties.every((property) => ts.isPropertyAssignment(property) && !ts.isComputedPropertyName(property.name) && propertyName(property.name) !== "__proto__" ||
+                ts.isShorthandPropertyAssignment(property)))
+                this.registryGlobals.add(key);
+        }
+        else if (ts.isExpressionStatement(statement) && ts.isBinaryExpression(statement.expression) &&
+            statement.expression.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+            ts.isPropertyAccessExpression(statement.expression.left)) {
+            const { left, right } = statement.expression;
+            if (!registryInitializer(lowerer, right, statement)) {
+                return null;
+            }
+            let owner = left.expression;
+            const prototype = ts.isPropertyAccessExpression(owner) && owner.name.text === "prototype";
+            if (prototype)
+                owner = owner.expression;
+            const info = exactClassOfReceiver(lowerer, owner);
+            if (info && info.decl?.getSourceFile() === statement.getSourceFile() &&
+                info.decl.getStart() < statement.getStart() && !info.localClass && !info.classDecorators &&
+                !info.generic && !info.callableBase && !info.mixinInstance && !info.def.runtime) {
+                if (!classWriteIsUnobserved(lowerer, info, statement))
+                    return null;
+                for (let current = info; current; current = current.base) {
+                    if (current.methods.has(`set:${left.name.text}`) || current.staticMethods?.has(`set:${left.name.text}`))
+                        return null;
+                }
+                key = `${prototype ? "prototype" : "class"}:${info.def.name}`;
+                if (prototype)
+                    classPrototypeData(lowerer, info, locOf(left), undefined, true);
+            }
+            else {
+                if (!ts.isIdentifier(owner))
+                    return null;
+                const symbol = lowerer.resolveValueSymbol(owner);
+                const global = symbol && lowerer.globalsBySymbol.get(symbol);
+                if (!global || !this.registryGlobals.has(global.id) || !symbol || !registryOwnerIsData(lowerer, symbol, statement))
+                    return null;
+                key = global.id;
+            }
+        }
+        else
+            return null;
+        const block = { kind: "block", body: [], loc: locOf(statement) };
+        const context = lowerer.ctx;
+        const moduleIndex = [...lowerer.initNameOf.keys()].indexOf(statement.getSourceFile());
+        const initializers = this.pending.get(key) ?? [];
+        initializers.push({ loc: block.loc, lower: () => {
+                const previousClass = lowerer.currentClass;
+                lowerer.currentClass = null;
+                lowerer.fnStack.push(context);
+                try {
+                    return lowerer.shapes.withDeclaredOrderPriority([2, moduleIndex], () => lowerer.lowerStmts([statement]));
+                }
+                finally {
+                    lowerer.fnStack.pop();
+                    lowerer.currentClass = previousClass;
+                }
+            } });
+        this.pending.set(key, initializers);
+        return block;
+    }
+    process(lowerer, functions) {
+        if (this.pending.size === 0)
+            return false;
+        const demanded = new Set();
+        const classHelpers = new Map();
+        for (const info of lowerer.classes.values()) {
+            if (info.staticDataHelper)
+                classHelpers.set(info.staticDataHelper, `class:${info.def.name}`);
+            if (info.def.prototypeDataHelper)
+                classHelpers.set(info.def.prototypeDataHelper, `prototype:${info.def.name}`);
+        }
+        const seen = new Set();
+        const byName = new Map(functions.map((fn) => [fn.name, fn]));
+        const inspectedHelpers = new Set();
+        const usedHelpers = [];
+        const demandType = (type) => {
+            if (seen.has(type))
+                return;
+            seen.add(type);
+            if (type.kind === "object" || type.kind === "classval") {
+                for (let info = lowerer.classes.get(type.className); info; info = info.base ?? undefined) {
+                    const key = `class:${info.def.name}`;
+                    if (this.pending.has(key))
+                        demanded.add(key);
+                    const prototype = `prototype:${info.def.name}`;
+                    if (type.kind === "object" && this.pending.has(prototype))
+                        demanded.add(prototype);
+                }
+            }
+            else if (type.kind === "array")
+                demandType(type.elem);
+            else if (type.kind === "union")
+                lowerer.unions.get(type.unionId)?.arms.forEach(demandType);
+            else if (type.kind === "record") {
+                const shape = lowerer.shapes.get(type.shapeId);
+                shape?.fields.forEach((field) => demandType(field.type));
+                if (shape?.indexValue)
+                    demandType(shape.indexValue);
+            }
+            else if (type.kind === "func") {
+                type.params.forEach(demandType);
+                demandType(type.ret);
+            }
+            else if (type.kind === "promise")
+                demandType(type.inner);
+        };
+        for (const fn of functions) {
+            // Prototype helpers are allocated eagerly while collecting metadata.
+            // Their base-helper calls must not make unused classes reachable.
+            if (classHelpers.has(fn.name))
+                continue;
+            fn.params.forEach((param) => demandType(param.type));
+            demandType(fn.returnType);
+            everyStmtList(fn.body, { stmt: () => true, expr: (expr) => {
+                    demandType(expr.type);
+                    if (expr.kind === "varRef" && this.pending.has(expr.localId))
+                        demanded.add(expr.localId);
+                    if (expr.kind === "call") {
+                        const owner = classHelpers.get(expr.callee);
+                        if (owner) {
+                            if (this.pending.has(owner))
+                                demanded.add(owner);
+                            usedHelpers.push(expr.callee);
+                        }
+                    }
+                    return true;
+                } });
+        }
+        while (usedHelpers.length) {
+            const name = usedHelpers.pop();
+            if (inspectedHelpers.has(name))
+                continue;
+            inspectedHelpers.add(name);
+            const fn = byName.get(name);
+            if (!fn)
+                continue;
+            everyStmtList(fn.body, { stmt: () => true, expr: (expr) => {
+                    demandType(expr.type);
+                    if (expr.kind === "varRef" && this.pending.has(expr.localId))
+                        demanded.add(expr.localId);
+                    if (expr.kind === "call") {
+                        const owner = classHelpers.get(expr.callee);
+                        if (owner) {
+                            if (this.pending.has(owner))
+                                demanded.add(owner);
+                            usedHelpers.push(expr.callee);
+                        }
+                    }
+                    return true;
+                } });
+        }
+        if (demanded.size === 0)
+            return false;
+        // Transforms replace blocks between waves, so index the live placeholders
+        // anew in each pass. Searching every body again for each initializer makes
+        // materializing large module registries quadratic in the program size.
+        const placeholders = new Map();
+        const locationKey = (loc) => JSON.stringify([loc.file, loc.start, loc.end]);
+        const indexPlaceholders = (body) => {
+            everyStmtList(body, { stmt: (statement) => {
+                    if (statement.kind === "block" && statement.body.length === 0) {
+                        const key = locationKey(statement.loc);
+                        const blocks = placeholders.get(key) ?? [];
+                        blocks.push(statement);
+                        placeholders.set(key, blocks);
+                    }
+                    return true;
+                }, expr: () => true });
+        };
+        for (const fn of functions)
+            indexPlaceholders(fn.body);
+        for (const id of demanded) {
+            const initialize = this.pending.get(id);
+            this.pending.delete(id);
+            for (const action of initialize) {
+                const body = action.lower();
+                let inserted = false;
+                for (const block of placeholders.get(locationKey(action.loc)) ?? []) {
+                    if (block.body.length === 0) {
+                        block.body.push(...body);
+                        inserted = true;
+                    }
+                }
+                // An inserted body can introduce a placeholder needed by another
+                // action in this pass. Unattached bodies are not part of the live IR.
+                if (inserted)
+                    indexPlaceholders(body);
+            }
+        }
+        return demanded.size !== 0;
+    }
+}
+function registryInitializer(lowerer, expression, statement) {
+    if (ts.isCallExpression(expression) && ts.isPropertyAccessExpression(expression.expression) &&
+        lowerer.stdlibGlobalMember(expression.expression, "Object") === "freeze") {
+        if (!ts.isPropertyAccessExpression(expression.expression) ||
+            lowerer.stdlibGlobalMember(expression.expression, "Object") !== "freeze" ||
+            expression.arguments.length !== 1 || !ts.isObjectLiteralExpression(expression.arguments[0]))
+            return false;
+        expression = expression.arguments[0];
+    }
+    const packageSource = npmStaticPackageOfPath(statement.getSourceFile().fileName) !== null;
+    const initialized = (declaration) => {
+        const source = declaration.getSourceFile();
+        return source === statement.getSourceFile() ? declaration.getStart() < statement.getStart()
+            : [...lowerer.initNameOf.keys()].indexOf(source) >= 0 &&
+                [...lowerer.initNameOf.keys()].indexOf(source) < [...lowerer.initNameOf.keys()].indexOf(statement.getSourceFile());
+    };
+    const callable = (callee) => {
+        if (!ts.isIdentifier(callee))
+            return false;
+        if (["Array", "Float32Array", "Float64Array"].includes(callee.text) && lowerer.isStdlibGlobal(callee, callee.text))
+            return true;
+        const symbol = lowerer.resolveValueSymbol(callee);
+        const declaration = symbol && lowerer.checker.valueDeclarationOf(symbol);
+        if (!symbol || !declaration || !bindingNeverReassigned(lowerer, symbol, declaration))
+            return false;
+        if (ts.isFunctionDeclaration(declaration))
+            return true;
+        if (ts.isClassDeclaration(declaration))
+            return initialized(declaration);
+        return ts.isVariableDeclaration(declaration) && initialized(declaration) && !!declaration.initializer &&
+            (ts.isArrowFunction(declaration.initializer) || ts.isFunctionExpression(declaration.initializer));
+    };
+    const value = (node, depth = 0) => {
+        // Let ordinary expression lowering report its named depth limit.
+        // Registry discovery must not overflow before that check runs.
+        if (depth > 200)
+            return false;
+        if (ts.isParenthesizedExpression(node))
+            return value(node.expression, depth + 1);
+        if (ts.isPrefixUnaryExpression(node) && (node.operator === ts.SyntaxKind.MinusToken || node.operator === ts.SyntaxKind.PlusToken) && ts.isNumericLiteral(node.operand))
+            return true;
+        if (ts.isNumericLiteral(node) || ts.isStringLiteral(node) || ts.isNoSubstitutionTemplateLiteral(node) ||
+            node.kind === ts.SyntaxKind.TrueKeyword || node.kind === ts.SyntaxKind.FalseKeyword || node.kind === ts.SyntaxKind.NullKeyword)
+            return true;
+        if (ts.isFunctionExpression(node) || ts.isArrowFunction(node))
+            return true;
+        // Opted-in npm source retains the same PURE call contract as published
+        // bundlers. Arguments still need to be safe to omit: an annotation
+        // never licenses dropping argument effects or a throwing property read.
+        if (packageSource && (ts.isCallExpression(node) || ts.isNewExpression(node))) {
+            const trivia = node.getSourceFile().text.slice(node.pos, node.getStart());
+            if (!/[@#]__PURE__/.test(trivia))
+                return false;
+            if (!callable(node.expression))
+                return false;
+            return (node.arguments ?? []).every((argument) => value(argument, depth + 1));
+        }
+        if (ts.isPropertyAccessExpression(node) && ts.isPropertyAccessExpression(node.expression) &&
+            node.expression.name.text === "prototype") {
+            const info = exactClassOfReceiver(lowerer, node.expression.expression);
+            return !!info?.decl && info.decl.getSourceFile() === statement.getSourceFile() &&
+                info.decl.getStart() < statement.getStart() &&
+                classWriteIsUnobserved(lowerer, info, statement) &&
+                (findMethodOn(lowerer, info, node.name.text) !== null || findGenericMethodOn(lowerer, info, node.name.text) !== null);
+        }
+        if (packageSource && ts.isPropertyAccessExpression(node)) {
+            const symbol = lowerer.checker.getSymbolAtLocation(node.name);
+            const declaration = symbol && lowerer.checker.valueDeclarationOf(symbol);
+            const owner = ts.isIdentifier(node.expression) ? lowerer.resolveValueSymbol(node.expression) : undefined;
+            return !!declaration && ts.isPropertyAssignment(declaration) &&
+                !ts.isComputedPropertyName(declaration.name) && propertyName(declaration.name) !== "__proto__" &&
+                !!owner && registryOwnerIsData(lowerer, owner, statement) && value(node.expression, depth + 1);
+        }
+        if (ts.isArrayLiteralExpression(node))
+            return node.elements.every((element) => !ts.isSpreadElement(element) && value(element, depth + 1));
+        if (ts.isObjectLiteralExpression(node))
+            return node.properties.every((property) => {
+                if (ts.isMethodDeclaration(property) || ts.isGetAccessorDeclaration(property) || ts.isSetAccessorDeclaration(property))
+                    return !!property.name && !ts.isComputedPropertyName(property.name);
+                if (ts.isShorthandPropertyAssignment(property))
+                    return !property.objectAssignmentInitializer && ts.isIdentifier(property.name) && value(property.name, depth + 1);
+                return ts.isPropertyAssignment(property) && !ts.isComputedPropertyName(property.name) &&
+                    (propertyName(property.name) !== "__proto__" || property.initializer.kind === ts.SyntaxKind.NullKeyword) && value(property.initializer, depth + 1);
+            });
+        if (!ts.isIdentifier(node))
+            return false;
+        if (node.text === "undefined" && lowerer.isStdlibGlobal(node, "undefined"))
+            return true;
+        if (["Array", "Float32Array", "Float64Array"].includes(node.text) && lowerer.isStdlibGlobal(node, node.text))
+            return true;
+        const symbol = lowerer.resolveValueSymbol(node);
+        const functionDeclaration = symbol && lowerer.checker.valueDeclarationOf(symbol);
+        if (functionDeclaration && ts.isFunctionDeclaration(functionDeclaration) &&
+            functionDeclaration.getSourceFile() === statement.getSourceFile())
+            return true;
+        // Reading an earlier initialized binding executes none of its
+        // initializer. A deferred dependency is demanded by the emitted
+        // varRef when this initializer becomes reachable.
+        if (packageSource && symbol && functionDeclaration && ts.isVariableDeclaration(functionDeclaration) &&
+            functionDeclaration.initializer && functionDeclaration.getSourceFile() === statement.getSourceFile() &&
+            functionDeclaration.getStart() < statement.getStart())
+            return true;
+        const info = symbol && lowerer.classBySymbol.get(symbol);
+        const declaration = info?.decl;
+        // Reading a class before its declaration can throw. Restrict this
+        // optimization to earlier declarations in the same module; imports,
+        // decorated classes and local factories keep ordinary initialization.
+        return !!declaration && declaration.getSourceFile() === statement.getSourceFile() &&
+            declaration.getStart() < statement.getStart() && ts.isClassDeclaration(declaration) &&
+            !info.classDecorators && !info.generic && !info.localClass && !info.builtinError && !info.builtinEmitter && !info.builtinStream;
+    };
+    return value(expression);
+}
+function propertyName(name) {
+    return ts.isIdentifier(name) || ts.isStringLiteral(name) || ts.isNumericLiteral(name) ? name.text : null;
+}
+/** A const binding alone does not make its properties pure: aliases,
+ * descriptors and earlier writes can install a getter. Require an own
+ * literal data property and no earlier mutation or escape of its owner. */
+function registryOwnerIsData(lowerer, symbol, statement) {
+    const declaration = lowerer.checker.valueDeclarationOf(symbol);
+    if (!declaration || !ts.isVariableDeclaration(declaration) || !declaration.initializer ||
+        !bindingNeverReassigned(lowerer, symbol, declaration))
+        return false;
+    let initializer = declaration.initializer;
+    const frozen = ts.isCallExpression(initializer) && ts.isPropertyAccessExpression(initializer.expression) &&
+        lowerer.stdlibGlobalMember(initializer.expression, "Object") === "freeze" && initializer.arguments.length === 1;
+    if (frozen)
+        initializer = initializer.arguments[0];
+    if (!ts.isObjectLiteralExpression(initializer) || !initializer.properties.every((property) => ts.isShorthandPropertyAssignment(property) || ts.isPropertyAssignment(property) && !ts.isComputedPropertyName(property.name) &&
+        (propertyName(property.name) !== "__proto__" || property.initializer.kind === ts.SyntaxKind.NullKeyword)))
+        return false;
+    if (declaration.getSourceFile() !== statement.getSourceFile()) {
+        const modules = [...lowerer.initNameOf.keys()];
+        return !!frozen && modules.indexOf(declaration.getSourceFile()) >= 0 &&
+            modules.indexOf(declaration.getSourceFile()) < modules.indexOf(statement.getSourceFile());
+    }
+    if (declaration.getStart() >= statement.getStart())
+        return false;
+    if (frozen)
+        return true;
+    let safe = true;
+    const visit = (node) => {
+        if (!safe || node.getStart() >= statement.getStart())
+            return;
+        if (ts.isIdentifier(node) && node !== declaration.name && lowerer.resolveValueSymbol(node) === symbol) {
+            let access = node;
+            while (ts.isPropertyAccessExpression(access.parent) && access.parent.expression === access)
+                access = access.parent;
+            const parent = access.parent;
+            if (!parent || access === node || ts.isBinaryExpression(parent) && parent.left === access &&
+                parent.operatorToken.kind >= ts.SyntaxKind.FirstAssignment && parent.operatorToken.kind <= ts.SyntaxKind.LastAssignment ||
+                parent && (ts.isPrefixUnaryExpression(parent) || ts.isPostfixUnaryExpression(parent) || ts.isDeleteExpression(parent) ||
+                    ts.isCallExpression(parent) && parent.expression === access))
+                safe = false;
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(statement.getSourceFile());
+    return safe;
+}
+/** Before a class registry write, arbitrary module effects can change its
+ * static/prototype descriptors. Only adjacent declarations and pure
+ * registry setup preserve the known setter-free target. */
+function classWriteIsUnobserved(lowerer, info, statement) {
+    const source = statement.getSourceFile();
+    const declaration = info.decl;
+    if (declaration.members.some((member) => ts.isClassStaticBlockDeclaration(member) ||
+        ts.isPropertyDeclaration(member) && member.initializer &&
+            ts.getModifiers(member)?.some((modifier) => modifier.kind === ts.SyntaxKind.StaticKeyword) &&
+            !registryInitializer(lowerer, member.initializer, declaration)))
+        return false;
+    for (const earlier of source.statements) {
+        if (earlier.getStart() <= declaration.getStart() || earlier.getStart() >= statement.getStart())
+            continue;
+        if (ts.isFunctionDeclaration(earlier) || ts.isInterfaceDeclaration(earlier) || ts.isTypeAliasDeclaration(earlier) || ts.isEmptyStatement(earlier))
+            continue;
+        if (ts.isVariableStatement(earlier) && earlier.declarationList.declarations.every((binding) => !binding.initializer || registryInitializer(lowerer, binding.initializer, earlier)))
+            continue;
+        if (ts.isExpressionStatement(earlier) && ts.isBinaryExpression(earlier.expression) &&
+            earlier.expression.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+            ts.isPropertyAccessExpression(earlier.expression.left) && registryInitializer(lowerer, earlier.expression.right, earlier)) {
+            const target = earlier.expression.left.expression;
+            const owner = ts.isPropertyAccessExpression(target) && target.name.text === "prototype" ? target.expression : target;
+            if (exactClassOfReceiver(lowerer, owner) === info)
+                continue;
+        }
+        return false;
+    }
+    return true;
+}
+//# sourceMappingURL=deferred-module-initializers.js.map

package/dist/frontend/lowering/deferred-module-initializers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deferred-module-initializers.js","sourceRoot":"","sources":["../../../src/frontend/lowering/deferred-module-initializers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE1D,OAAO,EAAE,oBAAoB,EAAE,YAAY,EAAE,mBAAmB,EAAkB,MAAM,oBAAoB,CAAC;AAC7G,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE1D;;;yEAGyE;AACzE,MAAM,OAAO,0BAA0B;IACpB,OAAO,GAAG,IAAI,GAAG,EAA2D,CAAC;IAC7E,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAErD,KAAK,CAAC,OAAgB,EAAE,SAAuB;QAC7C,IAAI,GAAW,CAAC;QAChB,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7F,MAAM,WAAW,GAAG,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC;YAC/D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW;gBAAE,OAAO,IAAI,CAAC;YAChF,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACrE,MAAM,MAAM,GAAG,MAAM,IAAI,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC7D,IAAI,CAAC,MAAM,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;gBACjF,OAAO,IAAI,CAAC;YACd,CAAC;YACD,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC;YAChB,IAAI,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC/G,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,WAAW;gBAC7H,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC;gBAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjF,CAAC;aAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC;YACzF,SAAS,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACrE,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC;YAC7C,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;gBACpD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;YAC5B,MAAM,SAAS,GAAG,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;YAC1F,IAAI,SAAS;gBAAE,KAAK,GAAI,KAAqC,CAAC,UAAU,CAAC;YACzE,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAClD,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,SAAS,CAAC,aAAa,EAAE;gBAChE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,eAAe;gBACxF,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;gBACpF,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACnE,KAAK,IAAI,OAAO,GAAqB,IAAI,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;oBAC3E,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;wBAAE,OAAO,IAAI,CAAC;gBACvH,CAAC;gBACD,GAAG,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBAC9D,IAAI,SAAS;oBAAE,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACjF,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACzC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;gBACjD,MAAM,MAAM,GAAG,MAAM,IAAI,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC7D,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAChI,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;;YAAM,OAAO,IAAI,CAAC;QACnB,MAAM,KAAK,GAAuC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACrG,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC;QAC5B,MAAM,WAAW,GAAG,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;QACtF,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACjD,YAAY,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;gBAC9C,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;gBAC3C,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC5B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC9B,IAAI,CAAC;oBACH,OAAO,OAAO,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC3G,CAAC;wBAAS,CAAC;oBACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;oBACtB,OAAO,CAAC,YAAY,GAAG,aAAa,CAAC;gBACvC,CAAC;YACH,CAAC,EAAE,CAAC,CAAC;QACL,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,OAAgB,EAAE,SAAgC;QACxD,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,gBAAgB;gBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,EAAE,SAAS,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7F,IAAI,IAAI,CAAC,GAAG,CAAC,mBAAmB;gBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,EAAE,aAAa,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACjH,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC3C,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAQ,EAAE;YACxC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACvD,KAAK,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;oBACzF,MAAM,GAAG,GAAG,SAAS,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;oBACrC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC7C,MAAM,SAAS,GAAG,aAAa,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;oBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;wBAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBACnD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;iBACtF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/C,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzD,IAAI,KAAK,EAAE,UAAU;oBAAE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACtD,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAC,CAAC;iBACtF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,qEAAqE;YACrE,kEAAkE;YAClE,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACrD,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;YAC1B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACxD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACtB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;wBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACzF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBACzB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAC5C,IAAI,KAAK,EAAE,CAAC;4BACV,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;gCAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;4BACjD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAChC,CAAC;oBACH,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC,EAAE,CAAC,CAAC;QACP,CAAC;QACD,OAAO,WAAW,CAAC,MAAM,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAG,CAAC;YAChC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACzC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,CAAC,EAAE;gBAAE,SAAS;YAClB,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACxD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACtB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;wBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACzF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBACzB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAC5C,IAAI,KAAK,EAAE,CAAC;4BACV,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;gCAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;4BACjD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAChC,CAAC;oBACH,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC,EAAE,CAAC,CAAC;QACP,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACtC,0EAA0E;QAC1E,2EAA2E;QAC3E,uEAAuE;QACvE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAgD,CAAC;QAC7E,MAAM,WAAW,GAAG,CAAC,GAAkB,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACnG,MAAM,iBAAiB,GAAG,CAAC,IAAc,EAAQ,EAAE;YACjD,aAAa,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE;oBACxC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC9D,MAAM,GAAG,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;wBACvC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;wBAC3C,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;wBACvB,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;oBAChC,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QACzB,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,SAAS;YAAE,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACvD,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;YACzC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACxB,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;gBAChC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;gBAC5B,IAAI,QAAQ,GAAG,KAAK,CAAC;gBACrB,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBACpE,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;wBACzB,QAAQ,GAAG,IAAI,CAAC;oBAClB,CAAC;gBACH,CAAC;gBACD,iEAAiE;gBACjE,sEAAsE;gBACtE,IAAI,QAAQ;oBAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC;IAC7B,CAAC;CACF;AAED,SAAS,mBAAmB,CAAC,OAAgB,EAAE,UAAyB,EAAE,SAAuB;IAC/F,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC;QACvF,OAAO,CAAC,kBAAkB,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC7E,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC;YACrD,OAAO,CAAC,kBAAkB,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,QAAQ;YACxE,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/G,UAAU,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACxC,CAAC;IACD,MAAM,aAAa,GAAG,sBAAsB,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;IAC1F,MAAM,WAAW,GAAG,CAAC,WAAoB,EAAW,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,CAAC,aAAa,EAAE,CAAC;QAC3C,OAAO,MAAM,KAAK,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE;YACzF,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBACnD,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;IACzH,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,MAAqB,EAAW,EAAE;QAClD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3C,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChI,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACzE,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QACnG,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC;QACvD,IAAI,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;YAAE,OAAO,WAAW,CAAC,WAAW,CAAC,CAAC;QACxE,OAAO,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,WAAW;YACnG,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;IACtG,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAE,KAAK,GAAG,CAAC,EAAW,EAAE;QACxD,iEAAiE;QACjE,+DAA+D;QAC/D,IAAI,KAAK,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAC9B,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACjF,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACpL,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;YACjG,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QAChJ,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3E,uEAAuE;QACvE,mEAAmE;QACnE,wEAAwE;QACxE,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC1E,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC/C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC7C,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;YACrF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9C,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YACvE,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,KAAK,SAAS,CAAC,aAAa,EAAE;gBAC5E,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE;gBAC3C,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC;gBAChD,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAC1H,CAAC;QACD,IAAI,aAAa,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9D,MAAM,WAAW,GAAG,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;YACzE,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzG,OAAO,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC;gBAC1D,CAAC,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,WAAW;gBAC9F,CAAC,CAAC,KAAK,IAAI,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1I,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE;gBAChF,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC;oBAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC5L,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC;oBAAE,OAAO,CAAC,QAAQ,CAAC,2BAA2B,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAClK,OAAO,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACnF,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACvJ,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC;QACxF,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1H,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,mBAAmB,GAAG,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACjF,IAAI,mBAAmB,IAAI,EAAE,CAAC,qBAAqB,CAAC,mBAAmB,CAAC;YACpE,mBAAmB,CAAC,aAAa,EAAE,KAAK,SAAS,CAAC,aAAa,EAAE;YAAE,OAAO,IAAI,CAAC;QACnF,8DAA8D;QAC9D,gEAAgE;QAChE,kDAAkD;QAClD,IAAI,aAAa,IAAI,MAAM,IAAI,mBAAmB,IAAI,EAAE,CAAC,qBAAqB,CAAC,mBAAmB,CAAC;YAC/F,mBAAmB,CAAC,WAAW,IAAI,mBAAmB,CAAC,aAAa,EAAE,KAAK,SAAS,CAAC,aAAa,EAAE;YACpG,mBAAmB,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE;YAAE,OAAO,IAAI,CAAC;QACvE,MAAM,IAAI,GAAG,MAAM,IAAI,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACzD,MAAM,WAAW,GAAG,IAAI,EAAE,IAAI,CAAC;QAC/B,kEAAkE;QAClE,oEAAoE;QACpE,sEAAsE;QACtE,OAAO,CAAC,CAAC,WAAW,IAAI,WAAW,CAAC,aAAa,EAAE,KAAK,SAAS,CAAC,aAAa,EAAE;YAC/E,WAAW,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;YACnF,CAAC,IAAK,CAAC,eAAe,IAAI,CAAC,IAAK,CAAC,OAAO,IAAI,CAAC,IAAK,CAAC,UAAU,IAAI,CAAC,IAAK,CAAC,YAAY,IAAI,CAAC,IAAK,CAAC,cAAc,IAAI,CAAC,IAAK,CAAC,aAAa,CAAC;IAC1I,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,YAAY,CAAC,IAAqB;IACzC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3G,CAAC;AAED;;2EAE2E;AAC3E,SAAS,mBAAmB,CAAC,OAAgB,EAAE,MAAiB,EAAE,SAAuB;IACvF,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW;QAClF,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IACxE,IAAI,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC;IAC1C,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,WAAW,CAAC,UAAU,CAAC;QACtG,OAAO,CAAC,kBAAkB,CAAC,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,QAAQ,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC;IAClH,IAAI,MAAM;QAAE,WAAW,GAAI,WAAiC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC3E,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CACzF,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC5H,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5H,IAAI,WAAW,CAAC,aAAa,EAAE,KAAK,SAAS,CAAC,aAAa,EAAE,EAAE,CAAC;QAC9D,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/C,OAAO,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC;YAClE,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,WAAW,CAAC,QAAQ,EAAE,IAAI,SAAS,CAAC,QAAQ,EAAE;QAAE,OAAO,KAAK,CAAC;IACjE,IAAI,MAAM;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,SAAS,CAAC,QAAQ,EAAE;YAAE,OAAO;QAC7D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,WAAW,CAAC,IAAI,IAAI,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;YACtG,IAAI,MAAM,GAAY,IAAI,CAAC;YAC3B,OAAO,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,MAAM;gBAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACnH,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YAC7B,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;gBACrF,MAAM,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc;gBACvH,MAAM,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;oBACrH,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC;gBAAE,IAAI,GAAG,KAAK,CAAC;QACjF,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;IACjC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;2DAE2D;AAC3D,SAAS,sBAAsB,CAAC,OAAgB,EAAE,IAAe,EAAE,SAAuB;IACxF,MAAM,MAAM,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;IACzC,MAAM,WAAW,GAAG,IAAI,CAAC,IAAK,CAAC;IAC/B,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC;QAC7E,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW;YACtD,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;YAC1F,CAAC,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,WAAW,EAAE,WAA2B,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAClG,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,WAAW,CAAC,QAAQ,EAAE,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,SAAS,CAAC,QAAQ,EAAE;YAAE,SAAS;QACzG,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAAE,SAAS;QAC5J,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,eAAe,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAC1F,CAAC,OAAO,CAAC,WAAW,IAAI,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAAE,SAAS;QAClG,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC;YAC9E,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACnE,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YAC9H,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC;YAClD,MAAM,KAAK,GAAG,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;YACrH,IAAI,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,IAAI;gBAAE,SAAS;QAC9D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/deferred-module-initializers.test.d.ts

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

package/dist/frontend/lowering/deferred-module-initializers.test.js

@@ -0,0 +1,92 @@
+import { expect, test, vi } from "vitest";
+import { F64, VOID } from "../../ir/ir.js";
+import * as traversal from "../../ir/traverse.js";
+import { DeferredModuleInitializers } from "./deferred-module-initializers.js";
+const loc = { file: "registry.ts", start: 0, end: 1 };
+const block = (where) => ({ kind: "block", body: [], loc: where });
+const read = (id) => ({ kind: "exprStmt", expr: { kind: "varRef", localId: id, type: F64, loc }, loc });
+const value = (n) => ({ kind: "exprStmt", expr: { kind: "numLit", value: n, type: F64, loc }, loc });
+const fn = (name, body) => ({ name, body, params: [], locals: [], returnType: VOID, loc });
+function fixture() {
+    const initializers = new DeferredModuleInitializers();
+    // Queue IR actions directly: syntax classification has separate corpus
+    // coverage, while these cases exercise live worklist mutations.
+    const pending = initializers.pending;
+    const lowerer = { classes: new Map(), shapes: { get: () => undefined }, unions: { get: () => undefined } };
+    return { initializers, pending, lowerer };
+}
+test("materializes many demanded registries without a whole-program scan per action", () => {
+    const { initializers, pending, lowerer } = fixture();
+    const placeholders = [], reads = [];
+    for (let i = 0; i < 64; i++) {
+        const where = { ...loc, start: i * 2, end: i * 2 + 1 };
+        placeholders.push(block(where));
+        reads.push(read(`g${i}`));
+        pending.set(`g${i}`, [{ loc: where, lower: () => [value(i)] }]);
+    }
+    const functions = [fn("init", placeholders), fn("use", reads)];
+    const walk = vi.spyOn(traversal, "everyStmtList");
+    try {
+        expect(initializers.process(lowerer, functions)).toBe(true);
+        expect(pending.size).toBe(0);
+        for (let i = 0; i < 64; i++)
+            expect(placeholders[i]).toEqual({ kind: "block", body: [value(i)], loc: { ...loc, start: i * 2, end: i * 2 + 1 } });
+        for (const f of functions)
+            expect(walk.mock.calls.filter(([body]) => body === f.body).length).toBeLessThanOrEqual(2);
+        walk.mockClear();
+        expect(initializers.process(lowerer, functions)).toBe(false);
+        expect(walk).not.toHaveBeenCalled();
+    }
+    finally {
+        walk.mockRestore();
+    }
+});
+test("finds replaced blocks and references appended to an existing body in a later wave", () => {
+    const { initializers, pending, lowerer } = fixture();
+    const original = block(loc);
+    const functions = [fn("init", [original]), fn("use", [])];
+    pending.set("registry", [{ loc, lower: () => [value(7)] }]);
+    expect(initializers.process(lowerer, functions)).toBe(false);
+    functions[0].body = traversal.transformStmtList(functions[0].body, { stmt: (s) => s, expr: (e) => e });
+    functions[1].body.push(read("registry"));
+    expect(initializers.process(lowerer, functions)).toBe(true);
+    expect(original.body).toEqual([]);
+    expect(functions[0].body).toEqual([{ kind: "block", body: [value(7)], loc }]);
+});
+test("indexes new subtrees for other demanded initializers in the same pass", () => {
+    const { initializers, pending, lowerer } = fixture();
+    const nestedLoc = { ...loc, start: 10, end: 11 };
+    const first = block(loc), second = block(nestedLoc), nested = block(nestedLoc);
+    const functions = [fn("init", [first, second]), fn("use", [read("first"), read("second")])];
+    pending.set("first", [{ loc, lower: () => [nested] }]);
+    pending.set("second", [{ loc: nestedLoc, lower: () => [value(9)] }]);
+    expect(initializers.process(lowerer, functions)).toBe(true);
+    expect(first.body).toEqual([{ kind: "block", body: [value(9)], loc: nestedLoc }]);
+    expect(second.body).toEqual([value(9)]);
+});
+test("does not index a materialized subtree with no live insertion point", () => {
+    const { initializers, pending, lowerer } = fixture();
+    const nestedLoc = { ...loc, start: 10, end: 11 };
+    const live = block(nestedLoc), detached = block(nestedLoc);
+    const functions = [fn("init", [live]), fn("use", [read("first"), read("second")])];
+    pending.set("first", [{ loc, lower: () => [detached] }]);
+    pending.set("second", [{ loc: nestedLoc, lower: () => [value(9)] }]);
+    expect(initializers.process(lowerer, functions)).toBe(true);
+    expect(live.body).toEqual([value(9)]);
+    expect(detached.body).toEqual([]);
+});
+test("fills every empty copy with the exact file and span while preserving populated blocks", () => {
+    const { initializers, pending, lowerer } = fixture();
+    const a = block(loc), b = block(loc), populated = block(loc);
+    populated.body.push(value(1));
+    const otherFile = block({ ...loc, file: "other.ts" }), otherStart = block({ ...loc, start: 2 }), otherEnd = block({ ...loc, end: 2 });
+    const functions = [fn("init", [a, b, populated, otherFile, otherStart, otherEnd]), fn("use", [read("registry")])];
+    pending.set("registry", [{ loc, lower: () => [value(8)] }]);
+    expect(initializers.process(lowerer, functions)).toBe(true);
+    expect(a.body).toEqual([value(8)]);
+    expect(b.body).toEqual([value(8)]);
+    expect(populated.body).toEqual([value(1)]);
+    for (const untouched of [otherFile, otherStart, otherEnd])
+        expect(untouched.body).toEqual([]);
+});
+//# sourceMappingURL=deferred-module-initializers.test.js.map

package/dist/frontend/lowering/deferred-module-initializers.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deferred-module-initializers.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/deferred-module-initializers.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,IAAI,EAA6C,MAAM,gBAAgB,CAAC;AACtF,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAG/E,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC9D,MAAM,KAAK,GAAG,CAAC,KAAa,EAAsC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/G,MAAM,IAAI,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;AACxH,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;AACrH,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAc,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAEzH,SAAS,OAAO;IACd,MAAM,YAAY,GAAG,IAAI,0BAA0B,EAAE,CAAC;IACtD,uEAAuE;IACvE,gEAAgE;IAChE,MAAM,OAAO,GAAI,YAA8F,CAAC,OAAO,CAAC;IACxH,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,EAAwB,CAAC;IACjI,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC5C,CAAC;AAED,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC;IACrD,MAAM,YAAY,GAAa,EAAE,EAAE,KAAK,GAAa,EAAE,CAAC;IACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;IAClD,IAAI,CAAC;QACH,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QACjJ,KAAK,MAAM,CAAC,IAAI,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACrH,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IACtC,CAAC;YAAS,CAAC;QAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAAC,CAAC;AACnC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;IAC7F,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC;IACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,SAAS,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1D,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,SAAS,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACzG,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC;IACrD,MAAM,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC;IACrD,MAAM,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IACjD,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AACpC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uFAAuF,EAAE,GAAG,EAAE;IACjG,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC;IACrD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7D,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,KAAK,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACtI,MAAM,SAAS,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAClH,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,KAAK,MAAM,SAAS,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC;QAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAChG,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/expressions/object-literals.js

@@ -214,12 +214,22 @@ export function lowerDynObjectLiteral(lowerer, expr, boxValue) {
         fields = [];
     };
     for (const prop of expr.properties) {
+        if (ts.isPropertyAssignment(prop) && !ts.isComputedPropertyName(prop.name) && prop.name.text === "__proto__") {
+            if (prop.initializer.kind !== ts.SyntaxKind.NullKeyword)
+                lowerer.unsupported("SC1090", prop, "object-literal prototypes other than null (use Object.setPrototypeOf)");
+            flushFields();
+            acc ??= { kind: "dynObjLit", fields: [], type: DYN, loc };
+            acc = { kind: "libCall", fn: "dyn.setPrototype", args: [acc, lowerer.lowerExprExpecting(prop.initializer, DYN)], type: DYN, loc: locOf(prop) };
+            continue;
+        }
         if (ts.isSpreadAssignment(prop)) {
             flushFields();
             const builtin = lowerer.builtinNamespaceModuleOf(prop.expression);
             const raw = builtin === "path" || builtin === "path/posix" || builtin === "path/win32"
                 ? pathModuleValue(lowerer, builtin === "path" ? "path/posix" : builtin, locOf(prop))
-                : lowerer.lowerExpr(prop.expression);
+                : isJsSourceFile(expr.getSourceFile())
+                    ? lowerer.lowerExprExpecting(prop.expression, DYN)
+                    : lowerer.lowerExpr(prop.expression);
             fenceSymbolFieldCopy(lowerer, prop.expression, raw.type);
             const source = boxValue
                 ? boxValue(prop.expression, raw)
@@ -240,6 +250,8 @@ export function lowerDynObjectLiteral(lowerer, expr, boxValue) {
             }
             else {
                 let k = lowerer.lowerExpr(name.expression);
+                if (k.type.kind === "union" && lowerer.dynConvertible(k.type))
+                    k = lowerer.coerceToExpected(k, DYN);
                 if (k.type.kind === "symbol")
                     k = lowerer.coerceToExpected(k, DYN);
                 else if (k.type.kind === "dyn")
@@ -579,6 +591,22 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
         tryLowerExpression(lowerer, prop.initializer)?.type.kind === "dyn")) {
         return lowerDynObjectLiteral(lowerer, expr);
     }
+    // A JS constructor parameter can hold omitted values even when its
+    // documentation names a number. Inferred literal fields must preserve
+    // the represented binding rather than checking it back into that type.
+    if (!expected && isJsSourceFile(expr.getSourceFile()) && expr.properties.some((prop) => {
+        let value = ts.isPropertyAssignment(prop) ? prop.initializer
+            : ts.isShorthandPropertyAssignment(prop) ? prop.name : null;
+        while (value && ts.isParenthesizedExpression(value))
+            value = value.expression;
+        if (!value || !ts.isIdentifier(value))
+            return false;
+        const stored = lowerer.peekLocal(value)?.type ?? lowerer.globalOf(value)?.type;
+        const inferred = lowerer.mapTypeOf(lowerer.typeOf(value));
+        return stored?.kind === "dyn" && inferred !== null && inferred.kind !== "dyn" && lowerer.dynConvertible(inferred);
+    })) {
+        return lowerDynObjectLiteral(lowerer, expr);
+    }
     // JavaScript object methods/accessors carry a live receiver. Keep the
     // literal in checked native storage instead of erasing its prototype ABI.
     if (isJsSourceFile(expr.getSourceFile()) && (expr.properties.length === 0 || expr.properties.some((prop) => ts.isMethodDeclaration(prop) || ts.isGetAccessorDeclaration(prop) || ts.isSetAccessorDeclaration(prop)))) {
@@ -1100,6 +1128,8 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
             // Number/boolean/unknown keys stringify (ToPropertyKey).
             if (ts.isPropertyAssignment(prop) && ts.isComputedPropertyName(prop.name)) {
                 let k = lowerer.lowerExpr(prop.name.expression);
+                if (k.type.kind === "union" && lowerer.dynConvertible(k.type))
+                    k = lowerer.coerceToExpected(k, DYN);
                 if (k.type.kind === "f64" || k.type.kind === "bool" || k.type.kind === "dyn") {
                     k = { kind: "toString", operand: k, type: STRING, loc: locOf(prop.name) };
                 }