@tsonic/emitter 0.0.74 → 0.0.75

package/dist/patterns/local-lowering.js

@@ -0,0 +1,296 @@
+/**
+ * Pattern lowering for local declarations (AST-only).
+ *
+ * Handles destructuring for local variable declarations:
+ * - identifier patterns
+ * - array patterns (including tuple lowering)
+ * - object patterns
+ *
+ * Also exports shared helpers used by static and assignment lowering.
+ */
+import { emitTypeAst } from "../types/emitter.js";
+import { emitExpressionAst } from "../expression-emitter.js";
+import { allocateLocalName, emitRemappedLocalName, registerLocalName, } from "../core/format/local-names.js";
+import { registerParameterTypes } from "../core/semantic/symbol-types.js";
+import { getPropertyType } from "../core/semantic/type-resolution.js";
+import { getTupleElementType, getTupleRestArrayType, resolveArrayPatternType, } from "../core/semantic/pattern-types.js";
+import { booleanLiteral, decimalIntegerLiteral, identifierExpression, identifierType, nullLiteral, parseNumericLiteral, stringLiteral, } from "../core/format/backend-ast/builders.js";
+export const objectTypeAst = identifierType("object");
+export const tupleElementMemberName = (index) => index < 7 ? `Item${index + 1}` : "Rest";
+export const emitTupleElementAccessAst = (inputExpr, index) => {
+    if (index < 7) {
+        return {
+            kind: "memberAccessExpression",
+            expression: inputExpr,
+            memberName: tupleElementMemberName(index),
+        };
+    }
+    return emitTupleElementAccessAst({
+        kind: "memberAccessExpression",
+        expression: inputExpr,
+        memberName: "Rest",
+    }, index - 7);
+};
+export const emitTupleRestArrayAst = (inputExpr, tupleType, startIndex) => ({
+    kind: "arrayCreationExpression",
+    elementType: { kind: "varType" },
+    initializer: tupleType.elementTypes
+        .slice(startIndex)
+        .map((_, offset) => emitTupleElementAccessAst(inputExpr, startIndex + offset)),
+});
+export const generateTemp = (prefix, ctx) => {
+    const tempId = ctx.tempVarId ?? 0;
+    const name = `__${prefix}${tempId}`;
+    return [name, { ...ctx, tempVarId: tempId + 1 }];
+};
+export const emitDefaultExprAst = (expr, ctx) => {
+    if (expr.kind === "literal") {
+        if (typeof expr.value === "string") {
+            return [stringLiteral(expr.value), ctx];
+        }
+        if (typeof expr.value === "number") {
+            return [parseNumericLiteral(String(expr.value)), ctx];
+        }
+        if (typeof expr.value === "boolean") {
+            return [booleanLiteral(expr.value), ctx];
+        }
+        if (expr.value === null) {
+            return [nullLiteral(), ctx];
+        }
+    }
+    if (expr.kind === "identifier") {
+        return [
+            {
+                kind: "identifierExpression",
+                identifier: emitRemappedLocalName(expr.name, ctx),
+            },
+            ctx,
+        ];
+    }
+    return emitExpressionAst(expr, ctx);
+};
+const lowerIdentifierAst = (name, inputExpr, type, ctx) => {
+    const alloc = allocateLocalName(name, ctx);
+    const localName = alloc.emittedName;
+    let currentCtx = alloc.context;
+    let typeAst = { kind: "varType" };
+    if (type) {
+        const [emittedType, next] = emitTypeAst(type, currentCtx);
+        typeAst = emittedType;
+        currentCtx = next;
+    }
+    const stmt = {
+        kind: "localDeclarationStatement",
+        modifiers: [],
+        type: typeAst,
+        declarators: [{ name: localName, initializer: inputExpr }],
+    };
+    currentCtx = registerLocalName(name, localName, currentCtx);
+    currentCtx = registerParameterTypes(name, type, false, currentCtx);
+    return { statements: [stmt], context: currentCtx };
+};
+const lowerArrayPatternAst = (pattern, inputExpr, elementType, ctx) => {
+    const statements = [];
+    let currentCtx = ctx;
+    const [rawTempName, nextCtx] = generateTemp("arr", currentCtx);
+    currentCtx = nextCtx;
+    const alloc = allocateLocalName(rawTempName, currentCtx);
+    const tempName = alloc.emittedName;
+    currentCtx = alloc.context;
+    statements.push({
+        kind: "localDeclarationStatement",
+        modifiers: [],
+        type: { kind: "varType" },
+        declarators: [{ name: tempName, initializer: inputExpr }],
+    });
+    const tempId = {
+        kind: "identifierExpression",
+        identifier: tempName,
+    };
+    let index = 0;
+    for (const elem of pattern.elements) {
+        if (!elem) {
+            index++;
+            continue;
+        }
+        if (elem.isRest) {
+            const sliceExpr = {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: identifierExpression("Tsonic.Runtime.ArrayHelpers"),
+                    memberName: "Slice",
+                },
+                arguments: [tempId, decimalIntegerLiteral(index)],
+            };
+            const rest = lowerPatternAst(elem.pattern, sliceExpr, elementType ? { kind: "arrayType", elementType } : undefined, currentCtx);
+            statements.push(...rest.statements);
+            currentCtx = rest.context;
+            break;
+        }
+        const accessExpr = {
+            kind: "elementAccessExpression",
+            expression: tempId,
+            arguments: [decimalIntegerLiteral(index)],
+        };
+        let valueExpr = accessExpr;
+        if (elem.defaultExpr) {
+            const [defaultAst, defaultCtx] = emitDefaultExprAst(elem.defaultExpr, currentCtx);
+            currentCtx = defaultCtx;
+            valueExpr = {
+                kind: "binaryExpression",
+                operatorToken: "??",
+                left: accessExpr,
+                right: defaultAst,
+            };
+        }
+        const nested = lowerPatternAst(elem.pattern, valueExpr, elementType, currentCtx);
+        statements.push(...nested.statements);
+        currentCtx = nested.context;
+        index++;
+    }
+    return { statements, context: currentCtx };
+};
+const lowerTuplePatternAst = (pattern, inputExpr, tupleType, ctx) => {
+    const statements = [];
+    let currentCtx = ctx;
+    const [rawTempName, nextCtx] = generateTemp("tuple", currentCtx);
+    currentCtx = nextCtx;
+    const alloc = allocateLocalName(rawTempName, currentCtx);
+    const tempName = alloc.emittedName;
+    currentCtx = alloc.context;
+    statements.push({
+        kind: "localDeclarationStatement",
+        modifiers: [],
+        type: { kind: "varType" },
+        declarators: [{ name: tempName, initializer: inputExpr }],
+    });
+    const tempExpr = {
+        kind: "identifierExpression",
+        identifier: tempName,
+    };
+    let index = 0;
+    for (const elem of pattern.elements) {
+        if (!elem) {
+            index++;
+            continue;
+        }
+        if (elem.isRest) {
+            const restExpr = emitTupleRestArrayAst(tempExpr, tupleType, index);
+            const rest = lowerPatternAst(elem.pattern, restExpr, getTupleRestArrayType(tupleType, index), currentCtx);
+            statements.push(...rest.statements);
+            currentCtx = rest.context;
+            break;
+        }
+        const accessExpr = emitTupleElementAccessAst(tempExpr, index);
+        let valueExpr = accessExpr;
+        if (elem.defaultExpr) {
+            const [defaultAst, defaultCtx] = emitDefaultExprAst(elem.defaultExpr, currentCtx);
+            currentCtx = defaultCtx;
+            valueExpr = {
+                kind: "binaryExpression",
+                operatorToken: "??",
+                left: accessExpr,
+                right: defaultAst,
+            };
+        }
+        const nested = lowerPatternAst(elem.pattern, valueExpr, getTupleElementType(tupleType, index), currentCtx);
+        statements.push(...nested.statements);
+        currentCtx = nested.context;
+        index++;
+    }
+    return { statements, context: currentCtx };
+};
+const lowerObjectPatternAst = (pattern, inputExpr, inputType, ctx) => {
+    const statements = [];
+    let currentCtx = ctx;
+    const [rawTempName, nextCtx] = generateTemp("obj", currentCtx);
+    currentCtx = nextCtx;
+    const alloc = allocateLocalName(rawTempName, currentCtx);
+    const tempName = alloc.emittedName;
+    currentCtx = alloc.context;
+    statements.push({
+        kind: "localDeclarationStatement",
+        modifiers: [],
+        type: { kind: "varType" },
+        declarators: [{ name: tempName, initializer: inputExpr }],
+    });
+    const tempId = {
+        kind: "identifierExpression",
+        identifier: tempName,
+    };
+    for (const prop of pattern.properties) {
+        if (prop.kind === "rest") {
+            if (!prop.restShapeMembers || !prop.restSynthTypeName) {
+                throw new Error("Object rest destructuring requires rest shape information from the frontend (restShapeMembers/restSynthTypeName).");
+            }
+            const initMembers = prop.restShapeMembers
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => ({
+                kind: "assignmentExpression",
+                operatorToken: "=",
+                left: {
+                    kind: "identifierExpression",
+                    identifier: m.name,
+                },
+                right: {
+                    kind: "memberAccessExpression",
+                    expression: tempId,
+                    memberName: m.name,
+                },
+            }));
+            const restExpr = {
+                kind: "objectCreationExpression",
+                type: identifierType(prop.restSynthTypeName),
+                arguments: [],
+                initializer: initMembers,
+            };
+            const restType = {
+                kind: "referenceType",
+                name: prop.restSynthTypeName,
+                structuralMembers: prop.restShapeMembers,
+            };
+            const rest = lowerPatternAst(prop.pattern, restExpr, restType, currentCtx);
+            statements.push(...rest.statements);
+            currentCtx = rest.context;
+            continue;
+        }
+        const propAccessExpr = {
+            kind: "memberAccessExpression",
+            expression: tempId,
+            memberName: prop.key,
+        };
+        let valueExpr = propAccessExpr;
+        if (prop.defaultExpr) {
+            const [defaultAst, defaultCtx] = emitDefaultExprAst(prop.defaultExpr, currentCtx);
+            currentCtx = defaultCtx;
+            valueExpr = {
+                kind: "binaryExpression",
+                operatorToken: "??",
+                left: propAccessExpr,
+                right: defaultAst,
+            };
+        }
+        const propType = getPropertyType(inputType, prop.key, currentCtx);
+        const nested = lowerPatternAst(prop.value, valueExpr, propType, currentCtx);
+        statements.push(...nested.statements);
+        currentCtx = nested.context;
+    }
+    return { statements, context: currentCtx };
+};
+export const lowerPatternAst = (pattern, inputExpr, type, ctx) => {
+    switch (pattern.kind) {
+        case "identifierPattern":
+            return lowerIdentifierAst(pattern.name, inputExpr, type, ctx);
+        case "arrayPattern": {
+            const resolved = resolveArrayPatternType(type, ctx);
+            if (resolved.kind === "tuple") {
+                return lowerTuplePatternAst(pattern, inputExpr, resolved.tupleType, ctx);
+            }
+            return lowerArrayPatternAst(pattern, inputExpr, resolved.elementType, ctx);
+        }
+        case "objectPattern":
+            return lowerObjectPatternAst(pattern, inputExpr, type, ctx);
+    }
+};
+//# sourceMappingURL=local-lowering.js.map

package/dist/patterns/local-lowering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-lowering.js","sourceRoot":"","sources":["../../src/patterns/local-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAUH,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,cAAc,EACd,qBAAqB,EACrB,oBAAoB,EACpB,cAAc,EACd,WAAW,EACX,mBAAmB,EACnB,aAAa,GACd,MAAM,wCAAwC,CAAC;AAOhD,MAAM,CAAC,MAAM,aAAa,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;AAErE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,KAAa,EAAU,EAAE,CAC9D,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AAE1C,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,SAA8B,EAC9B,KAAa,EACQ,EAAE;IACvB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,OAAO;YACL,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,SAAS;YACrB,UAAU,EAAE,sBAAsB,CAAC,KAAK,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,OAAO,yBAAyB,CAC9B;QACE,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,SAAS;QACrB,UAAU,EAAE,MAAM;KACnB,EACD,KAAK,GAAG,CAAC,CACV,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,SAA8B,EAC9B,SAAiD,EACjD,UAAkB,EACG,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,yBAAyB;IAC/B,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;IAChC,WAAW,EAAE,SAAS,CAAC,YAAY;SAChC,KAAK,CAAC,UAAU,CAAC;SACjB,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CACjB,yBAAyB,CAAC,SAAS,EAAE,UAAU,GAAG,MAAM,CAAC,CAC1D;CACJ,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAAc,EACd,GAAmB,EACO,EAAE;IAC5B,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,MAAM,GAAG,MAAM,EAAE,CAAC;IACpC,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAkB,EAClB,GAAmB,EACoB,EAAE;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACxB,OAAO,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClD;YACD,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACtC,CAAC,CAAC;AAOF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,SAA8B,EAC9B,IAAwB,EACxB,GAAmB,EACA,EAAE;IACrB,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC;IACpC,IAAI,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC;IAE/B,IAAI,OAAO,GAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACjD,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC1D,OAAO,GAAG,WAAW,CAAC;QACtB,UAAU,GAAG,IAAI,CAAC;IACpB,CAAC;IAED,MAAM,IAAI,GAAuB;QAC/B,IAAI,EAAE,2BAA2B;QACjC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,OAAO;QACb,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;KAC3D,CAAC;IAEF,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5D,UAAU,GAAG,sBAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACnE,OAAO,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACrD,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAuB,EACvB,SAA8B,EAC9B,WAA+B,EAC/B,GAAmB,EACA,EAAE;IACrB,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,IAAI,UAAU,GAAG,GAAG,CAAC;IAErB,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC/D,UAAU,GAAG,OAAO,CAAC;IACrB,MAAM,KAAK,GAAG,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC;IACnC,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC;IAE3B,UAAU,CAAC,IAAI,CAAC;QACd,IAAI,EAAE,2BAA2B;QACjC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QACzB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;KAC1D,CAAC,CAAC;IAEH,MAAM,MAAM,GAAwB;QAClC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,QAAQ;KACrB,CAAC;IAEF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,KAAK,EAAE,CAAC;YACR,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,SAAS,GAAwB;gBACrC,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,oBAAoB,CAAC,6BAA6B,CAAC;oBAC/D,UAAU,EAAE,OAAO;iBACpB;gBACD,SAAS,EAAE,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,CAAC;aAClD,CAAC;YACF,MAAM,IAAI,GAAG,eAAe,CAC1B,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,EAC5D,UAAU,CACX,CAAC;YACF,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;YACpC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC;YAC1B,MAAM;QACR,CAAC;QAED,MAAM,UAAU,GAAwB;YACtC,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE,MAAM;YAClB,SAAS,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;SAC1C,CAAC;QAEF,IAAI,SAAS,GAAwB,UAAU,CAAC;QAChD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,kBAAkB,CACjD,IAAI,CAAC,WAAW,EAChB,UAAU,CACX,CAAC;YACF,UAAU,GAAG,UAAU,CAAC;YACxB,SAAS,GAAG;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,UAAU;aAClB,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAC5B,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,WAAW,EACX,UAAU,CACX,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC;QAC5B,KAAK,EAAE,CAAC;IACV,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAuB,EACvB,SAA8B,EAC9B,SAAiD,EACjD,GAAmB,EACA,EAAE;IACrB,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,IAAI,UAAU,GAAG,GAAG,CAAC;IAErB,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACjE,UAAU,GAAG,OAAO,CAAC;IACrB,MAAM,KAAK,GAAG,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC;IACnC,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC;IAE3B,UAAU,CAAC,IAAI,CAAC;QACd,IAAI,EAAE,2BAA2B;QACjC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QACzB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;KAC1D,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAwB;QACpC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,QAAQ;KACrB,CAAC;IAEF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,KAAK,EAAE,CAAC;YACR,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YACnE,MAAM,IAAI,GAAG,eAAe,CAC1B,IAAI,CAAC,OAAO,EACZ,QAAQ,EACR,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,EACvC,UAAU,CACX,CAAC;YACF,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;YACpC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC;YAC1B,MAAM;QACR,CAAC;QAED,MAAM,UAAU,GAAG,yBAAyB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAI,SAAS,GAAwB,UAAU,CAAC;QAChD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,kBAAkB,CACjD,IAAI,CAAC,WAAW,EAChB,UAAU,CACX,CAAC;YACF,UAAU,GAAG,UAAU,CAAC;YACxB,SAAS,GAAG;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,UAAU;aAClB,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAC5B,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,mBAAmB,CAAC,SAAS,EAAE,KAAK,CAAC,EACrC,UAAU,CACX,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC;QAC5B,KAAK,EAAE,CAAC;IACV,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,OAAwB,EACxB,SAA8B,EAC9B,SAA6B,EAC7B,GAAmB,EACA,EAAE;IACrB,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,IAAI,UAAU,GAAG,GAAG,CAAC;IAErB,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC/D,UAAU,GAAG,OAAO,CAAC;IACrB,MAAM,KAAK,GAAG,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC;IACnC,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC;IAE3B,UAAU,CAAC,IAAI,CAAC;QACd,IAAI,EAAE,2BAA2B;QACjC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QACzB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;KAC1D,CAAC,CAAC;IAEH,MAAM,MAAM,GAAwB;QAClC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,QAAQ;KACrB,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACtD,MAAM,IAAI,KAAK,CACb,mHAAmH,CACpH,CAAC;YACJ,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB;iBACtC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC;iBAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACX,IAAI,EAAE,sBAA+B;gBACrC,aAAa,EAAE,GAAY;gBAC3B,IAAI,EAAE;oBACJ,IAAI,EAAE,sBAA+B;oBACrC,UAAU,EAAE,CAAC,CAAC,IAAI;iBACnB;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,wBAAiC;oBACvC,UAAU,EAAE,MAAM;oBAClB,UAAU,EAAE,CAAC,CAAC,IAAI;iBACnB;aACF,CAAC,CAAC,CAAC;YAEN,MAAM,QAAQ,GAAwB;gBACpC,IAAI,EAAE,0BAA0B;gBAChC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,iBAAiB,CAAC;gBAC5C,SAAS,EAAE,EAAE;gBACb,WAAW,EAAE,WAAW;aACzB,CAAC;YACF,MAAM,QAAQ,GAAW;gBACvB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,IAAI,CAAC,iBAAiB;gBAC5B,iBAAiB,EAAE,IAAI,CAAC,gBAAgB;aACzC,CAAC;YACF,MAAM,IAAI,GAAG,eAAe,CAC1B,IAAI,CAAC,OAAO,EACZ,QAAQ,EACR,QAAQ,EACR,UAAU,CACX,CAAC;YACF,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;YACpC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,MAAM,cAAc,GAAwB;YAC1C,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,MAAM;YAClB,UAAU,EAAE,IAAI,CAAC,GAAG;SACrB,CAAC;QAEF,IAAI,SAAS,GAAwB,cAAc,CAAC;QACpD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,kBAAkB,CACjD,IAAI,CAAC,WAAW,EAChB,UAAU,CACX,CAAC;YACF,UAAU,GAAG,UAAU,CAAC;YACxB,SAAS,GAAG;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,UAAU;aAClB,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC5E,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC;IAC9B,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAkB,EAClB,SAA8B,EAC9B,IAAwB,EACxB,GAAmB,EACA,EAAE;IACrB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB;YACtB,OAAO,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAChE,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACpD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC9B,OAAO,oBAAoB,CACzB,OAAO,EACP,SAAS,EACT,QAAQ,CAAC,SAAS,EAClB,GAAG,CACJ,CAAC;YACJ,CAAC;YACD,OAAO,oBAAoB,CACzB,OAAO,EACP,SAAS,EACT,QAAQ,CAAC,WAAW,EACpB,GAAG,CACJ,CAAC;QACJ,CAAC;QACD,KAAK,eAAe;YAClB,OAAO,qBAAqB,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAChE,CAAC;AACH,CAAC,CAAC"}

package/dist/patterns/static-assignment-lowering.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Pattern lowering for static/module-level fields and assignment expressions
+ * — facade re-exports.
+ *
+ * Implementations live in:
+ *   - static-lowering-members.ts
+ *   - static-lowering-assignments.ts
+ */
+export { type StaticPatternLoweringResultAst, lowerPatternToStaticMembersAst, } from "./static-lowering-members.js";
+export { lowerAssignmentPatternAst } from "./static-lowering-assignments.js";
+//# sourceMappingURL=static-assignment-lowering.d.ts.map

package/dist/patterns/static-assignment-lowering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"static-assignment-lowering.d.ts","sourceRoot":"","sources":["../../src/patterns/static-assignment-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,KAAK,8BAA8B,EACnC,8BAA8B,GAC/B,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC"}

package/dist/patterns/static-assignment-lowering.js

@@ -0,0 +1,11 @@
+/**
+ * Pattern lowering for static/module-level fields and assignment expressions
+ * — facade re-exports.
+ *
+ * Implementations live in:
+ *   - static-lowering-members.ts
+ *   - static-lowering-assignments.ts
+ */
+export { lowerPatternToStaticMembersAst, } from "./static-lowering-members.js";
+export { lowerAssignmentPatternAst } from "./static-lowering-assignments.js";
+//# sourceMappingURL=static-assignment-lowering.js.map

package/dist/patterns/static-assignment-lowering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"static-assignment-lowering.js","sourceRoot":"","sources":["../../src/patterns/static-assignment-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAEL,8BAA8B,GAC/B,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC"}

package/dist/patterns/static-lowering-assignments.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Assignment expression pattern lowering (AST-only).
+ *
+ * Handles destructuring for assignment expressions (e.g. `[a, b] = expr`),
+ * producing CSharpStatementAst and CSharpExpressionAst nodes.
+ */
+import { IrPattern, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../emitter-types/index.js";
+import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
+type AssignmentPatternLoweringResultAst = {
+    readonly expression: CSharpExpressionAst;
+    readonly context: EmitterContext;
+};
+export declare const lowerAssignmentPatternAst: (pattern: IrPattern, rhsExpr: CSharpExpressionAst, rhsType: IrType | undefined, ctx: EmitterContext) => AssignmentPatternLoweringResultAst;
+export {};
+//# sourceMappingURL=static-lowering-assignments.d.ts.map

package/dist/patterns/static-lowering-assignments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"static-lowering-assignments.d.ts","sourceRoot":"","sources":["../../src/patterns/static-lowering-assignments.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAiB3D,OAAO,KAAK,EACV,mBAAmB,EAGpB,MAAM,qCAAqC,CAAC;AAS7C,KAAK,kCAAkC,GAAG;IACxC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAyQF,eAAO,MAAM,yBAAyB,GACpC,SAAS,SAAS,EAClB,SAAS,mBAAmB,EAC5B,SAAS,MAAM,GAAG,SAAS,EAC3B,KAAK,cAAc,KAClB,kCA4EF,CAAC"}

package/dist/patterns/static-lowering-assignments.js

@@ -0,0 +1,269 @@
+/**
+ * Assignment expression pattern lowering (AST-only).
+ *
+ * Handles destructuring for assignment expressions (e.g. `[a, b] = expr`),
+ * producing CSharpStatementAst and CSharpExpressionAst nodes.
+ */
+import { emitTypeAst } from "../types/emitter.js";
+import { allocateLocalName, emitRemappedLocalName, } from "../core/format/local-names.js";
+import { getPropertyType } from "../core/semantic/type-resolution.js";
+import { getTupleElementType, getTupleRestArrayType, resolveArrayPatternType, } from "../core/semantic/pattern-types.js";
+import { decimalIntegerLiteral, identifierExpression, identifierType, } from "../core/format/backend-ast/builders.js";
+import { emitDefaultExprAst, emitTupleElementAccessAst, emitTupleRestArrayAst, generateTemp, objectTypeAst, } from "./local-lowering.js";
+const isRuntimeRepresentableType = (type) => {
+    if (type.kind === "anyType" || type.kind === "unknownType")
+        return false;
+    if (type.kind === "objectType")
+        return false;
+    if (type.kind === "unionType") {
+        return type.types.every(isRuntimeRepresentableType);
+    }
+    return true;
+};
+const resolveAssignmentResultTypeAst = (type, ctx) => {
+    if (!type || !isRuntimeRepresentableType(type)) {
+        return [objectTypeAst, ctx];
+    }
+    return emitTypeAst(type, ctx);
+};
+const lowerAssignmentPatternStatementsAst = (pattern, inputExpr, type, ctx) => {
+    if (pattern.kind === "identifierPattern") {
+        return {
+            statements: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "assignmentExpression",
+                        operatorToken: "=",
+                        left: {
+                            kind: "identifierExpression",
+                            identifier: emitRemappedLocalName(pattern.name, ctx),
+                        },
+                        right: inputExpr,
+                    },
+                },
+            ],
+            context: ctx,
+        };
+    }
+    let currentCtx = ctx;
+    const statements = [];
+    const [rawTempName, nextCtx] = generateTemp("t", currentCtx);
+    currentCtx = nextCtx;
+    const alloc = allocateLocalName(rawTempName, currentCtx);
+    const tempName = alloc.emittedName;
+    currentCtx = alloc.context;
+    statements.push({
+        kind: "localDeclarationStatement",
+        modifiers: [],
+        type: { kind: "varType" },
+        declarators: [{ name: tempName, initializer: inputExpr }],
+    });
+    const tempExpr = {
+        kind: "identifierExpression",
+        identifier: tempName,
+    };
+    if (pattern.kind === "arrayPattern") {
+        const resolvedArray = resolveArrayPatternType(type, currentCtx);
+        if (resolvedArray.kind === "tuple") {
+            const tupleType = resolvedArray.tupleType;
+            let index = 0;
+            for (const elem of pattern.elements) {
+                if (!elem) {
+                    index++;
+                    continue;
+                }
+                if (elem.isRest) {
+                    const restExpr = emitTupleRestArrayAst(tempExpr, tupleType, index);
+                    const rest = lowerAssignmentPatternStatementsAst(elem.pattern, restExpr, getTupleRestArrayType(tupleType, index), currentCtx);
+                    statements.push(...rest.statements);
+                    currentCtx = rest.context;
+                    break;
+                }
+                const accessExpr = emitTupleElementAccessAst(tempExpr, index);
+                let valueExpr = accessExpr;
+                if (elem.defaultExpr) {
+                    const [defaultAst, defaultCtx] = emitDefaultExprAst(elem.defaultExpr, currentCtx);
+                    currentCtx = defaultCtx;
+                    valueExpr = {
+                        kind: "binaryExpression",
+                        operatorToken: "??",
+                        left: accessExpr,
+                        right: defaultAst,
+                    };
+                }
+                const nested = lowerAssignmentPatternStatementsAst(elem.pattern, valueExpr, getTupleElementType(tupleType, index), currentCtx);
+                statements.push(...nested.statements);
+                currentCtx = nested.context;
+                index++;
+            }
+            return { statements, context: currentCtx };
+        }
+        const elementType = resolvedArray.elementType;
+        let index = 0;
+        for (const elem of pattern.elements) {
+            if (!elem) {
+                index++;
+                continue;
+            }
+            if (elem.isRest) {
+                const restExpr = {
+                    kind: "invocationExpression",
+                    expression: {
+                        kind: "memberAccessExpression",
+                        expression: identifierExpression("Tsonic.Runtime.ArrayHelpers"),
+                        memberName: "Slice",
+                    },
+                    arguments: [tempExpr, decimalIntegerLiteral(index)],
+                };
+                const rest = lowerAssignmentPatternStatementsAst(elem.pattern, restExpr, elementType ? { kind: "arrayType", elementType } : undefined, currentCtx);
+                statements.push(...rest.statements);
+                currentCtx = rest.context;
+                break;
+            }
+            const accessExpr = {
+                kind: "elementAccessExpression",
+                expression: tempExpr,
+                arguments: [decimalIntegerLiteral(index)],
+            };
+            let valueExpr = accessExpr;
+            if (elem.defaultExpr) {
+                const [defaultAst, defaultCtx] = emitDefaultExprAst(elem.defaultExpr, currentCtx);
+                currentCtx = defaultCtx;
+                valueExpr = {
+                    kind: "binaryExpression",
+                    operatorToken: "??",
+                    left: accessExpr,
+                    right: defaultAst,
+                };
+            }
+            const nested = lowerAssignmentPatternStatementsAst(elem.pattern, valueExpr, elementType, currentCtx);
+            statements.push(...nested.statements);
+            currentCtx = nested.context;
+            index++;
+        }
+        return { statements, context: currentCtx };
+    }
+    for (const prop of pattern.properties) {
+        if (prop.kind === "rest") {
+            if (!prop.restShapeMembers || !prop.restSynthTypeName) {
+                throw new Error("Object rest destructuring requires rest shape information from the frontend (restShapeMembers/restSynthTypeName).");
+            }
+            const initMembers = prop.restShapeMembers
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => ({
+                kind: "assignmentExpression",
+                operatorToken: "=",
+                left: {
+                    kind: "identifierExpression",
+                    identifier: m.name,
+                },
+                right: {
+                    kind: "memberAccessExpression",
+                    expression: tempExpr,
+                    memberName: m.name,
+                },
+            }));
+            const restExpr = {
+                kind: "objectCreationExpression",
+                type: identifierType(prop.restSynthTypeName),
+                arguments: [],
+                initializer: initMembers,
+            };
+            const restType = {
+                kind: "referenceType",
+                name: prop.restSynthTypeName,
+                structuralMembers: prop.restShapeMembers,
+            };
+            const rest = lowerAssignmentPatternStatementsAst(prop.pattern, restExpr, restType, currentCtx);
+            statements.push(...rest.statements);
+            currentCtx = rest.context;
+            continue;
+        }
+        const accessExpr = {
+            kind: "memberAccessExpression",
+            expression: tempExpr,
+            memberName: prop.key,
+        };
+        let valueExpr = accessExpr;
+        if (prop.defaultExpr) {
+            const [defaultAst, defaultCtx] = emitDefaultExprAst(prop.defaultExpr, currentCtx);
+            currentCtx = defaultCtx;
+            valueExpr = {
+                kind: "binaryExpression",
+                operatorToken: "??",
+                left: accessExpr,
+                right: defaultAst,
+            };
+        }
+        const propType = getPropertyType(type, prop.key, currentCtx);
+        const nested = lowerAssignmentPatternStatementsAst(prop.value, valueExpr, propType, currentCtx);
+        statements.push(...nested.statements);
+        currentCtx = nested.context;
+    }
+    return { statements, context: currentCtx };
+};
+export const lowerAssignmentPatternAst = (pattern, rhsExpr, rhsType, ctx) => {
+    if (pattern.kind === "identifierPattern") {
+        return {
+            expression: {
+                kind: "assignmentExpression",
+                operatorToken: "=",
+                left: {
+                    kind: "identifierExpression",
+                    identifier: emitRemappedLocalName(pattern.name, ctx),
+                },
+                right: rhsExpr,
+            },
+            context: ctx,
+        };
+    }
+    let currentCtx = ctx;
+    const [resultTypeAst, typeCtx] = resolveAssignmentResultTypeAst(rhsType, currentCtx);
+    currentCtx = typeCtx;
+    const [rawResultName, nextCtx] = generateTemp("assign", currentCtx);
+    currentCtx = nextCtx;
+    const alloc = allocateLocalName(rawResultName, currentCtx);
+    const resultName = alloc.emittedName;
+    currentCtx = alloc.context;
+    const nested = lowerAssignmentPatternStatementsAst(pattern, {
+        kind: "identifierExpression",
+        identifier: resultName,
+    }, rhsType, currentCtx);
+    currentCtx = nested.context;
+    const lambdaStatements = [
+        {
+            kind: "localDeclarationStatement",
+            modifiers: [],
+            type: resultTypeAst,
+            declarators: [{ name: resultName, initializer: rhsExpr }],
+        },
+        ...nested.statements,
+        {
+            kind: "returnStatement",
+            expression: { kind: "identifierExpression", identifier: resultName },
+        },
+    ];
+    const iifeExpr = {
+        kind: "invocationExpression",
+        expression: {
+            kind: "parenthesizedExpression",
+            expression: {
+                kind: "castExpression",
+                type: identifierType("global::System.Func", [resultTypeAst]),
+                expression: {
+                    kind: "parenthesizedExpression",
+                    expression: {
+                        kind: "lambdaExpression",
+                        isAsync: false,
+                        parameters: [],
+                        body: { kind: "blockStatement", statements: lambdaStatements },
+                    },
+                },
+            },
+        },
+        arguments: [],
+    };
+    return { expression: iifeExpr, context: currentCtx };
+};
+//# sourceMappingURL=static-lowering-assignments.js.map

package/dist/patterns/static-lowering-assignments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"static-lowering-assignments.js","sourceRoot":"","sources":["../../src/patterns/static-lowering-assignments.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EACL,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,cAAc,GACf,MAAM,wCAAwC,CAAC;AAMhD,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,qBAAqB,EACrB,YAAY,EACZ,aAAa,GACd,MAAM,qBAAqB,CAAC;AAO7B,MAAM,0BAA0B,GAAG,CAAC,IAAY,EAAW,EAAE;IAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAwB,EACxB,GAAmB,EACc,EAAE;IACnC,IAAI,CAAC,IAAI,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,OAAkB,EAClB,SAA8B,EAC9B,IAAwB,EACxB,GAAmB,EAInB,EAAE;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACzC,OAAO;YACL,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,aAAa,EAAE,GAAG;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;yBACrD;wBACD,KAAK,EAAE,SAAS;qBACjB;iBACF;aACF;YACD,OAAO,EAAE,GAAG;SACb,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,GAAG,GAAG,CAAC;IACrB,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC7D,UAAU,GAAG,OAAO,CAAC;IACrB,MAAM,KAAK,GAAG,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC;IACnC,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC;IAE3B,UAAU,CAAC,IAAI,CAAC;QACd,IAAI,EAAE,2BAA2B;QACjC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QACzB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;KAC1D,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAwB;QACpC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,QAAQ;KACrB,CAAC;IAEF,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACpC,MAAM,aAAa,GAAG,uBAAuB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAChE,IAAI,aAAa,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,aAAa,CAAC,SAAS,CAAC;YAC1C,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACpC,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,KAAK,EAAE,CAAC;oBACR,SAAS;gBACX,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;oBACnE,MAAM,IAAI,GAAG,mCAAmC,CAC9C,IAAI,CAAC,OAAO,EACZ,QAAQ,EACR,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,EACvC,UAAU,CACX,CAAC;oBACF,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;oBACpC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC;oBAC1B,MAAM;gBACR,CAAC;gBAED,MAAM,UAAU,GAAG,yBAAyB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAC9D,IAAI,SAAS,GAAwB,UAAU,CAAC;gBAChD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,kBAAkB,CACjD,IAAI,CAAC,WAAW,EAChB,UAAU,CACX,CAAC;oBACF,UAAU,GAAG,UAAU,CAAC;oBACxB,SAAS,GAAG;wBACV,IAAI,EAAE,kBAAkB;wBACxB,aAAa,EAAE,IAAI;wBACnB,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAE,UAAU;qBAClB,CAAC;gBACJ,CAAC;gBAED,MAAM,MAAM,GAAG,mCAAmC,CAChD,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,mBAAmB,CAAC,SAAS,EAAE,KAAK,CAAC,EACrC,UAAU,CACX,CAAC;gBACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;gBACtC,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC;gBAC5B,KAAK,EAAE,CAAC;YACV,CAAC;YAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QAC7C,CAAC;QAED,MAAM,WAAW,GAAG,aAAa,CAAC,WAAW,CAAC;QAC9C,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,KAAK,EAAE,CAAC;gBACR,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,MAAM,QAAQ,GAAwB;oBACpC,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,oBAAoB,CAAC,6BAA6B,CAAC;wBAC/D,UAAU,EAAE,OAAO;qBACpB;oBACD,SAAS,EAAE,CAAC,QAAQ,EAAE,qBAAqB,CAAC,KAAK,CAAC,CAAC;iBACpD,CAAC;gBACF,MAAM,IAAI,GAAG,mCAAmC,CAC9C,IAAI,CAAC,OAAO,EACZ,QAAQ,EACR,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,EAC5D,UAAU,CACX,CAAC;gBACF,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;gBACpC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC;gBAC1B,MAAM;YACR,CAAC;YAED,MAAM,UAAU,GAAwB;gBACtC,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,QAAQ;gBACpB,SAAS,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;aAC1C,CAAC;YACF,IAAI,SAAS,GAAwB,UAAU,CAAC;YAChD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,kBAAkB,CACjD,IAAI,CAAC,WAAW,EAChB,UAAU,CACX,CAAC;gBACF,UAAU,GAAG,UAAU,CAAC;gBACxB,SAAS,GAAG;oBACV,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,IAAI;oBACnB,IAAI,EAAE,UAAU;oBAChB,KAAK,EAAE,UAAU;iBAClB,CAAC;YACJ,CAAC;YAED,MAAM,MAAM,GAAG,mCAAmC,CAChD,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,WAAW,EACX,UAAU,CACX,CAAC;YACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;YACtC,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC;YAC5B,KAAK,EAAE,CAAC;QACV,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAC7C,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACtD,MAAM,IAAI,KAAK,CACb,mHAAmH,CACpH,CAAC;YACJ,CAAC;YACD,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB;iBACtC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC;iBAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACX,IAAI,EAAE,sBAA+B;gBACrC,aAAa,EAAE,GAAY;gBAC3B,IAAI,EAAE;oBACJ,IAAI,EAAE,sBAA+B;oBACrC,UAAU,EAAE,CAAC,CAAC,IAAI;iBACnB;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,wBAAiC;oBACvC,UAAU,EAAE,QAAQ;oBACpB,UAAU,EAAE,CAAC,CAAC,IAAI;iBACnB;aACF,CAAC,CAAC,CAAC;YAEN,MAAM,QAAQ,GAAwB;gBACpC,IAAI,EAAE,0BAA0B;gBAChC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,iBAAiB,CAAC;gBAC5C,SAAS,EAAE,EAAE;gBACb,WAAW,EAAE,WAAW;aACzB,CAAC;YACF,MAAM,QAAQ,GAAW;gBACvB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,IAAI,CAAC,iBAAiB;gBAC5B,iBAAiB,EAAE,IAAI,CAAC,gBAAgB;aACzC,CAAC;YACF,MAAM,IAAI,GAAG,mCAAmC,CAC9C,IAAI,CAAC,OAAO,EACZ,QAAQ,EACR,QAAQ,EACR,UAAU,CACX,CAAC;YACF,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;YACpC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAwB;YACtC,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,QAAQ;YACpB,UAAU,EAAE,IAAI,CAAC,GAAG;SACrB,CAAC;QACF,IAAI,SAAS,GAAwB,UAAU,CAAC;QAChD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,kBAAkB,CACjD,IAAI,CAAC,WAAW,EAChB,UAAU,CACX,CAAC;YACF,UAAU,GAAG,UAAU,CAAC;YACxB,SAAS,GAAG;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,UAAU;aAClB,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,mCAAmC,CAChD,IAAI,CAAC,KAAK,EACV,SAAS,EACT,QAAQ,EACR,UAAU,CACX,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC;IAC9B,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAkB,EAClB,OAA4B,EAC5B,OAA2B,EAC3B,GAAmB,EACiB,EAAE;IACtC,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACzC,OAAO;YACL,UAAU,EAAE;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,aAAa,EAAE,GAAG;gBAClB,IAAI,EAAE;oBACJ,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;iBACrD;gBACD,KAAK,EAAE,OAAO;aACf;YACD,OAAO,EAAE,GAAG;SACb,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,GAAG,GAAG,CAAC;IACrB,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC,GAAG,8BAA8B,CAC7D,OAAO,EACP,UAAU,CACX,CAAC;IACF,UAAU,GAAG,OAAO,CAAC;IAErB,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACpE,UAAU,GAAG,OAAO,CAAC;IACrB,MAAM,KAAK,GAAG,iBAAiB,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC;IACrC,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC;IAE3B,MAAM,MAAM,GAAG,mCAAmC,CAChD,OAAO,EACP;QACE,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,UAAU;KACvB,EACD,OAAO,EACP,UAAU,CACX,CAAC;IACF,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC;IAE5B,MAAM,gBAAgB,GAAyB;QAC7C;YACE,IAAI,EAAE,2BAA2B;YACjC,SAAS,EAAE,EAAE;YACb,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;SAC1D;QACD,GAAG,MAAM,CAAC,UAAU;QACpB;YACE,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,UAAU,EAAE;SACrE;KACF,CAAC;IAEF,MAAM,QAAQ,GAAwB;QACpC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,cAAc,CAAC,qBAAqB,EAAE,CAAC,aAAa,CAAC,CAAC;gBAC5D,UAAU,EAAE;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE;wBACV,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,KAAK;wBACd,UAAU,EAAE,EAAE;wBACd,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,gBAAgB,EAAE;qBAC/D;iBACF;aACF;SACF;QACD,SAAS,EAAE,EAAE;KACd,CAAC;IAEF,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACvD,CAAC,CAAC"}