@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/yield-lowering-cases/control-flow.test.js

@@ -0,0 +1,284 @@
+/**
+ * Tests for yield lowering in control flow structures.
+ *
+ * Topics:
+ * - Direct yield in if condition
+ * - Yield inside if/while/for/switch/try bodies
+ * - Direct yield in for-loop condition and update
+ * - Direct yield in while condition
+ * - Direct yield in for-of/for-in expressions
+ * - Direct yield in switch expression
+ */
+import { describe, it, expect, runYieldLoweringPass, createGeneratorModule, createYield, getGeneratorBody, assertDefined, } from "./helpers.js";
+describe("Yield Lowering Pass", () => {
+    describe("Control Flow Structures", () => {
+        it("should transform direct yield in if condition", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "ifStatement",
+                    condition: createYield({ kind: "literal", value: true }),
+                    thenStatement: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: { kind: "literal", value: 1 },
+                            },
+                        ],
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("ifStatement");
+        });
+        it("should transform yield inside if statement", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "ifStatement",
+                    condition: { kind: "literal", value: true },
+                    thenStatement: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: createYield({ kind: "literal", value: 1 }),
+                            },
+                        ],
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            const ifStmt = body[0];
+            const thenBlock = ifStmt.thenStatement;
+            expect(thenBlock.statements[0]?.kind).to.equal("yieldStatement");
+        });
+        it("should transform yield inside while loop", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "whileStatement",
+                    condition: { kind: "literal", value: true },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: createYield({ kind: "identifier", name: "i" }),
+                            },
+                        ],
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should transform direct yield in for loop condition", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "forStatement",
+                    condition: createYield({ kind: "literal", value: true }),
+                    update: {
+                        kind: "update",
+                        operator: "++",
+                        expression: { kind: "identifier", name: "i" },
+                        prefix: false,
+                    },
+                    body: { kind: "blockStatement", statements: [] },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(1);
+            const forStmt = body[0];
+            expect(forStmt.condition?.kind).to.equal("literal");
+            expect(forStmt.body.kind).to.equal("blockStatement");
+            const forBody = forStmt.body;
+            expect(forBody.statements[0]?.kind).to.equal("yieldStatement");
+            expect(forBody.statements[1]?.kind).to.equal("ifStatement");
+        });
+        it("should transform direct yield in for loop update", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "forStatement",
+                    condition: {
+                        kind: "binary",
+                        operator: "<",
+                        left: { kind: "identifier", name: "i" },
+                        right: { kind: "literal", value: 3 },
+                    },
+                    update: createYield({ kind: "literal", value: 1 }),
+                    body: { kind: "blockStatement", statements: [] },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("variableDeclaration");
+            const forStmt = body[1];
+            expect(forStmt.condition?.kind).to.equal("literal");
+            expect(forStmt.update).to.equal(undefined);
+            expect(forStmt.body.kind).to.equal("blockStatement");
+            const forBody = forStmt.body;
+            expect(forBody.statements[0]?.kind).to.equal("ifStatement");
+            expect(forBody.statements[1]?.kind).to.equal("expressionStatement");
+            expect(forBody.statements[2]?.kind).to.equal("ifStatement");
+        });
+        it("should transform direct yield in both for loop condition and update", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "forStatement",
+                    condition: createYield({ kind: "literal", value: true }),
+                    update: createYield({ kind: "literal", value: 1 }),
+                    body: {
+                        kind: "blockStatement",
+                        statements: [{ kind: "continueStatement" }],
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("variableDeclaration");
+            const forStmt = body[1];
+            expect(forStmt.condition?.kind).to.equal("literal");
+            expect(forStmt.update).to.equal(undefined);
+            const forBody = forStmt.body;
+            expect(forBody.statements[0]?.kind).to.equal("ifStatement");
+            expect(forBody.statements[2]?.kind).to.equal("yieldStatement");
+            expect(forBody.statements[3]?.kind).to.equal("ifStatement");
+        });
+        it("should transform direct yield in while condition", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "whileStatement",
+                    condition: createYield({ kind: "literal", value: true }),
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: { kind: "literal", value: 1 },
+                            },
+                        ],
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(1);
+            const whileStmt = body[0];
+            expect(whileStmt.condition.kind).to.equal("literal");
+            if (whileStmt.condition.kind === "literal") {
+                expect(whileStmt.condition.value).to.equal(true);
+            }
+            expect(whileStmt.body.kind).to.equal("blockStatement");
+            const whileBody = whileStmt.body;
+            expect(whileBody.statements[0]?.kind).to.equal("yieldStatement");
+            expect(whileBody.statements[1]?.kind).to.equal("ifStatement");
+        });
+        it("should transform direct yield in for-of expression", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "forOfStatement",
+                    variable: { kind: "identifierPattern", name: "x" },
+                    expression: createYield({ kind: "array", elements: [] }),
+                    body: { kind: "blockStatement", statements: [] },
+                    isAwait: false,
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("forOfStatement");
+        });
+        it("should transform direct yield in for-in expression", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "forInStatement",
+                    variable: { kind: "identifierPattern", name: "k" },
+                    expression: createYield({ kind: "object", properties: [] }),
+                    body: { kind: "blockStatement", statements: [] },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("forInStatement");
+        });
+        it("should transform yield inside switch case", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "switchStatement",
+                    expression: { kind: "identifier", name: "x" },
+                    cases: [
+                        {
+                            kind: "switchCase",
+                            test: { kind: "literal", value: 1 },
+                            statements: [
+                                {
+                                    kind: "expressionStatement",
+                                    expression: createYield({ kind: "literal", value: 10 }),
+                                },
+                            ],
+                        },
+                    ],
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+        });
+        it("should transform direct yield in switch expression", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "switchStatement",
+                    expression: createYield({ kind: "literal", value: 1 }),
+                    cases: [
+                        {
+                            kind: "switchCase",
+                            test: { kind: "literal", value: 1 },
+                            statements: [{ kind: "breakStatement" }],
+                        },
+                    ],
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("switchStatement");
+        });
+        it("should transform yield inside try block", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "tryStatement",
+                    tryBlock: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: createYield({ kind: "literal", value: 1 }),
+                            },
+                        ],
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+        });
+    });
+});
+//# sourceMappingURL=control-flow.test.js.map

package/dist/ir/validation/yield-lowering-cases/control-flow.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-flow.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/yield-lowering-cases/control-flow.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,oBAAoB,EACpB,qBAAqB,EACrB,WAAW,EACX,gBAAgB,EAChB,aAAa,GAGd,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;oBACxD,aAAa,EAAE;wBACb,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;6BAC1C;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;oBAC3C,aAAa,EAAE;wBACb,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;6BACvD;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAkD,CAAC;YACxE,MAAM,SAAS,GAAG,MAAM,CAAC,aAAiC,CAAC;YAC3D,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;oBAC3C,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;6BAC3D;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;oBACxD,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,QAAQ,EAAE,IAAI;wBACd,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC7C,MAAM,EAAE,KAAK;qBACd;oBACD,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;iBACjD;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAmD,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACpD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACrD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAwB,CAAC;YACjD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YAC/D,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EAAE;wBACT,IAAI,EAAE,QAAQ;wBACd,QAAQ,EAAE,GAAG;wBACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;wBACvC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;qBACrC;oBACD,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;oBAClD,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;iBACjD;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACtD,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAmD,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACpD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC3C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACrD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAwB,CAAC;YACjD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAC5D,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACpE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,cAAc;oBACpB,SAAS,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;oBACxD,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;oBAClD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;qBAC5C;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACtD,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAmD,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACpD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAwB,CAAC;YACjD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAC5D,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YAC/D,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,SAAS,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;oBACxD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;6BAC1C;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAGvB,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACrD,IAAI,SAAS,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC3C,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACvD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAwB,CAAC;YACrD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACjE,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,QAAQ,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oBAClD,UAAU,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;oBACxD,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;oBAChD,OAAO,EAAE,KAAK;iBACf;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,gBAAgB;oBACtB,QAAQ,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oBAClD,UAAU,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;oBAC3D,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;iBACjD;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC7C,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;4BACnC,UAAU,EAAE;gCACV;oCACE,IAAI,EAAE,qBAAqB;oCAC3B,UAAU,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;iCACxD;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;oBACtD,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;4BACnC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;yBACzC;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG,qBAAqB,CAAC;gBACnC;oBACE,IAAI,EAAE,cAAc;oBACpB,QAAQ,EAAE;wBACR,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;6BACvD;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/yield-lowering-cases/destructuring-and-unsupported.test.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Tests for destructuring patterns, TSN6101 diagnostics, and expression lowering.
+ *
+ * Topics:
+ * - Array/object destructuring with yield
+ * - TSN6101 diagnostics for unsupported positions
+ * - Yield in call arguments
+ * - Nested yield in initializers
+ * - Yield in conditional expressions
+ * - Return/throw yield expression lowering
+ */
+export {};
+//# sourceMappingURL=destructuring-and-unsupported.test.d.ts.map

package/dist/ir/validation/yield-lowering-cases/destructuring-and-unsupported.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"destructuring-and-unsupported.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/yield-lowering-cases/destructuring-and-unsupported.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG"}

package/dist/ir/validation/yield-lowering-cases/destructuring-and-unsupported.test.js

@@ -0,0 +1,334 @@
+/**
+ * Tests for destructuring patterns, TSN6101 diagnostics, and expression lowering.
+ *
+ * Topics:
+ * - Array/object destructuring with yield
+ * - TSN6101 diagnostics for unsupported positions
+ * - Yield in call arguments
+ * - Nested yield in initializers
+ * - Yield in conditional expressions
+ * - Return/throw yield expression lowering
+ */
+import { describe, it, expect, runYieldLoweringPass, createGeneratorModule, createYield, getGeneratorBody, assertDefined, } from "./helpers.js";
+describe("Yield Lowering Pass", () => {
+    describe("Destructuring Patterns", () => {
+        it("should transform array destructuring with yield", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    isExported: false,
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: {
+                                kind: "arrayPattern",
+                                elements: [
+                                    { pattern: { kind: "identifierPattern", name: "a" } },
+                                    { pattern: { kind: "identifierPattern", name: "b" } },
+                                ],
+                            },
+                            initializer: createYield({ kind: "literal", value: null }),
+                        },
+                    ],
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            const yieldStmt = body[0];
+            expect(yieldStmt.receiveTarget?.kind).to.equal("arrayPattern");
+        });
+        it("should transform object destructuring with yield", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    isExported: false,
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: {
+                                kind: "objectPattern",
+                                properties: [
+                                    {
+                                        kind: "property",
+                                        key: "x",
+                                        value: { kind: "identifierPattern", name: "x" },
+                                        shorthand: true,
+                                    },
+                                ],
+                            },
+                            initializer: createYield({ kind: "literal", value: null }),
+                        },
+                    ],
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            const yieldStmt = body[0];
+            expect(yieldStmt.receiveTarget?.kind).to.equal("objectPattern");
+        });
+    });
+    describe("Unsupported Patterns (TSN6101)", () => {
+        it("should lower yield inside member-access assignment target chains", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "assignment",
+                        operator: "=",
+                        left: {
+                            kind: "memberAccess",
+                            object: {
+                                kind: "assignment",
+                                operator: "=",
+                                left: {
+                                    kind: "memberAccess",
+                                    object: createYield({ kind: "identifier", name: "tmpObj" }),
+                                    property: "inner",
+                                    isOptional: false,
+                                    isComputed: false,
+                                },
+                                right: { kind: "literal", value: 1 },
+                            },
+                            property: "count",
+                            isOptional: false,
+                            isComputed: false,
+                        },
+                        right: { kind: "literal", value: 2 },
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(3);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("variableDeclaration");
+            expect(body[2]?.kind).to.equal("expressionStatement");
+            const finalExpr = body[2].expression;
+            expect(finalExpr.kind).to.equal("assignment");
+            if (finalExpr.kind === "assignment") {
+                expect(finalExpr.left.kind).to.equal("memberAccess");
+            }
+        });
+        it("should emit TSN6101 when yield appears in a non-lowerable assignment target", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "assignment",
+                        operator: "=",
+                        left: {
+                            kind: "binary",
+                            operator: "+",
+                            left: createYield({ kind: "identifier", name: "lhs" }),
+                            right: { kind: "literal", value: 1 },
+                        },
+                        right: { kind: "literal", value: 2 },
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.length).to.be.greaterThan(0);
+            expect(result.diagnostics[0]?.code).to.equal("TSN6101");
+        });
+        it("should emit TSN6101 when yield appears in switch case test expression", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "switchStatement",
+                    expression: { kind: "identifier", name: "value" },
+                    cases: [
+                        {
+                            kind: "switchCase",
+                            test: createYield({ kind: "literal", value: 1 }),
+                            statements: [{ kind: "breakStatement" }],
+                        },
+                    ],
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.length).to.be.greaterThan(0);
+            expect(result.diagnostics.some((d) => d.code === "TSN6101")).to.equal(true);
+        });
+        it("should transform yield in call argument", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "call",
+                        callee: { kind: "identifier", name: "foo" },
+                        arguments: [createYield({ kind: "literal", value: 1 })],
+                        isOptional: false,
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("expressionStatement");
+        });
+        it("should transform nested yield in initializer", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    isExported: false,
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: { kind: "identifierPattern", name: "x" },
+                            type: { kind: "primitiveType", name: "number" },
+                            initializer: {
+                                kind: "binary",
+                                operator: "+",
+                                left: createYield({ kind: "literal", value: 1 }),
+                                right: { kind: "literal", value: 2 },
+                            },
+                        },
+                    ],
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("variableDeclaration");
+        });
+        it("should transform yield in conditional expression condition", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    isExported: false,
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: { kind: "identifierPattern", name: "x" },
+                            initializer: {
+                                kind: "conditional",
+                                condition: createYield({ kind: "literal", value: true }),
+                                whenTrue: { kind: "literal", value: 1 },
+                                whenFalse: { kind: "literal", value: 2 },
+                                inferredType: { kind: "primitiveType", name: "number" },
+                            },
+                        },
+                    ],
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(4);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("variableDeclaration");
+            expect(body[2]?.kind).to.equal("ifStatement");
+            expect(body[3]?.kind).to.equal("variableDeclaration");
+        });
+        it("should transform yield in conditional expression branches lazily", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    isExported: false,
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: { kind: "identifierPattern", name: "x" },
+                            initializer: {
+                                kind: "conditional",
+                                condition: { kind: "literal", value: true },
+                                whenTrue: createYield({ kind: "literal", value: 1 }),
+                                whenFalse: createYield({ kind: "literal", value: 2 }),
+                                inferredType: { kind: "primitiveType", name: "number" },
+                            },
+                        },
+                    ],
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(3);
+            expect(body[0]?.kind).to.equal("variableDeclaration");
+            expect(body[1]?.kind).to.equal("ifStatement");
+            expect(body[2]?.kind).to.equal("variableDeclaration");
+            const loweredIf = body[1];
+            expect(loweredIf.thenStatement.kind).to.equal("blockStatement");
+            expect(loweredIf.elseStatement?.kind).to.equal("blockStatement");
+            const thenStatements = loweredIf.thenStatement.kind === "blockStatement"
+                ? loweredIf.thenStatement.statements
+                : [];
+            const elseStatements = loweredIf.elseStatement?.kind === "blockStatement"
+                ? loweredIf.elseStatement.statements
+                : [];
+            expect(thenStatements[0]?.kind).to.equal("yieldStatement");
+            expect(thenStatements[1]?.kind).to.equal("expressionStatement");
+            expect(elseStatements[0]?.kind).to.equal("yieldStatement");
+            expect(elseStatements[1]?.kind).to.equal("expressionStatement");
+        });
+        it("should transform return yield expression into yield+generatorReturn", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "returnStatement",
+                    expression: createYield({ kind: "literal", value: 1 }),
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("generatorReturnStatement");
+        });
+        it("should transform throw yield expression into yield+throw", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "throwStatement",
+                    expression: createYield({ kind: "identifier", name: "err" }),
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("throwStatement");
+        });
+        it("should transform nested yield in return expression", () => {
+            const module = createGeneratorModule([
+                {
+                    kind: "returnStatement",
+                    expression: {
+                        kind: "binary",
+                        operator: "+",
+                        left: createYield({ kind: "literal", value: 1 }),
+                        right: { kind: "literal", value: 2 },
+                    },
+                },
+            ]);
+            const result = runYieldLoweringPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            const body = getGeneratorBody(assertDefined(result.modules[0]));
+            expect(body).to.have.length(2);
+            expect(body[0]?.kind).to.equal("yieldStatement");
+            expect(body[1]?.kind).to.equal("generatorReturnStatement");
+        });
+    });
+});
+//# sourceMappingURL=destructuring-and-unsupported.test.js.map