@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/virtual-marking-pass.test.js

@@ -0,0 +1,314 @@
+/* eslint-disable @typescript-eslint/no-non-null-assertion */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { runVirtualMarkingPass } from "./virtual-marking-pass.js";
+const unknownType = { kind: "unknownType" };
+const stringType = { kind: "primitiveType", name: "string" };
+const boolType = { kind: "primitiveType", name: "boolean" };
+const objectType = { kind: "referenceType", name: "object" };
+const nullType = { kind: "primitiveType", name: "null" };
+const nullableStringType = {
+    kind: "unionType",
+    types: [stringType, nullType],
+};
+const typeParameter = (name, constraint) => ({
+    kind: "typeParameter",
+    name,
+    constraint,
+});
+const parameter = (name, type, options) => ({
+    kind: "parameter",
+    pattern: { kind: "identifierPattern", name },
+    type,
+    initializer: options?.initializer,
+    isOptional: options?.isOptional ?? false,
+    isRest: options?.isRest ?? false,
+    passing: "value",
+});
+const method = (name, parameters, returnType, options) => ({
+    kind: "methodDeclaration",
+    name,
+    parameters,
+    returnType,
+    body: { kind: "blockStatement", statements: [] },
+    isStatic: false,
+    isAsync: options?.isAsync ?? false,
+    isGenerator: false,
+    accessibility: "public",
+    isOverride: options?.isOverride,
+    isShadow: options?.isShadow,
+    isVirtual: options?.isVirtual,
+    overloadFamily: options?.overloadFamily,
+    typeParameters: options?.typeParameters,
+});
+const property = (name, type, options) => ({
+    kind: "propertyDeclaration",
+    name,
+    type,
+    isStatic: false,
+    isReadonly: false,
+    accessibility: "public",
+    isOverride: options?.isOverride,
+    isShadow: options?.isShadow,
+    isVirtual: options?.isVirtual,
+});
+const overloadFamily = (publicName, publicSignatureIndex) => ({
+    familyId: `method:instance:${publicName}`,
+    memberId: `method:instance:${publicName}:public:${publicSignatureIndex}`,
+    ownerKind: "method",
+    publicName,
+    isStatic: false,
+    publicSignatureCount: 2,
+    publicSignatureIndex,
+});
+const createModule = (...body) => ({
+    kind: "module",
+    filePath: "/virtual-marking-pass.test.ts",
+    namespace: "Test",
+    className: "VirtualMarkingPassTest",
+    isStaticContainer: false,
+    imports: [],
+    body,
+    exports: [],
+});
+const getClass = (module, name) => {
+    const stmt = module.body.find((candidate) => candidate.kind === "classDeclaration" && candidate.name === name);
+    expect(stmt, `expected class ${name}`).to.not.equal(undefined);
+    return stmt;
+};
+describe("virtual-marking-pass", () => {
+    it("marks family-matched local methods as overrides without bridges", () => {
+        const modules = [
+            createModule({
+                kind: "classDeclaration",
+                name: "Stream",
+                implements: [],
+                members: [
+                    method("write", [parameter("chunk", unknownType)], unknownType),
+                    method("end", [], unknownType),
+                ],
+                isExported: true,
+                isStruct: false,
+            }, {
+                kind: "classDeclaration",
+                name: "Writable",
+                superClass: { kind: "referenceType", name: "Stream" },
+                implements: [],
+                members: [
+                    method("write_buffer", [parameter("chunk", unknownType)], unknownType, { overloadFamily: overloadFamily("write", 0) }),
+                    method("end_impl", [], unknownType, {
+                        overloadFamily: overloadFamily("end", 0),
+                    }),
+                ],
+                isExported: true,
+                isStruct: false,
+            }),
+        ];
+        const result = runVirtualMarkingPass(modules);
+        const transformedModule = result.modules[0];
+        if (!transformedModule) {
+            throw new Error("expected transformed module");
+        }
+        const baseClass = getClass(transformedModule, "Stream");
+        const derivedClass = getClass(transformedModule, "Writable");
+        const baseWrite = baseClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "write");
+        const baseEnd = baseClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "end");
+        expect(baseWrite?.isVirtual).to.equal(true);
+        expect(baseEnd?.isVirtual).to.equal(true);
+        const overrideWrite = derivedClass.members.find((member) => member.kind === "methodDeclaration" &&
+            member.name === "write_buffer" &&
+            member.parameters.length === 1);
+        const overrideEnd = derivedClass.members.find((member) => member.kind === "methodDeclaration" &&
+            member.name === "end_impl" &&
+            member.parameters.length === 0);
+        expect(overrideWrite?.isOverride).to.equal(true);
+        expect(overrideWrite?.returnType).to.deep.equal(unknownType);
+        expect(overrideEnd?.isOverride).to.equal(true);
+        expect(overrideEnd?.returnType).to.deep.equal(unknownType);
+        expect(derivedClass.members).to.have.length(2);
+    });
+    it("marks incompatible same-name local methods as shadowing without bridges", () => {
+        const modules = [
+            createModule({
+                kind: "classDeclaration",
+                name: "Base",
+                implements: [],
+                members: [
+                    method("write", [parameter("chunk", unknownType)], unknownType),
+                ],
+                isExported: true,
+                isStruct: false,
+            }, {
+                kind: "classDeclaration",
+                name: "Derived",
+                superClass: { kind: "referenceType", name: "Base" },
+                implements: [],
+                members: [
+                    method("write", [
+                        parameter("chunk", unknownType),
+                        parameter("encoding", stringType),
+                    ], boolType),
+                ],
+                isExported: true,
+                isStruct: false,
+            }),
+        ];
+        const result = runVirtualMarkingPass(modules);
+        const transformedModule = result.modules[0];
+        if (!transformedModule) {
+            throw new Error("expected transformed module");
+        }
+        const baseClass = getClass(transformedModule, "Base");
+        const derivedClass = getClass(transformedModule, "Derived");
+        const baseWrite = baseClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "write");
+        expect(baseWrite?.isVirtual).to.not.equal(true);
+        const writeMembers = derivedClass.members.filter((member) => member.kind === "methodDeclaration" && member.name === "write");
+        expect(writeMembers).to.have.length(1);
+        expect(writeMembers[0]?.isShadow).to.equal(true);
+        expect(writeMembers[0]?.isOverride).to.not.equal(true);
+    });
+    it("marks family-matched local properties as overrides", () => {
+        const modules = [
+            createModule({
+                kind: "classDeclaration",
+                name: "Base",
+                implements: [],
+                members: [property("count", stringType)],
+                isExported: true,
+                isStruct: false,
+            }, {
+                kind: "classDeclaration",
+                name: "Derived",
+                superClass: { kind: "referenceType", name: "Base" },
+                implements: [],
+                members: [property("count", stringType)],
+                isExported: true,
+                isStruct: false,
+            }),
+        ];
+        const result = runVirtualMarkingPass(modules);
+        const transformedModule = result.modules[0];
+        if (!transformedModule) {
+            throw new Error("expected transformed module");
+        }
+        const baseClass = getClass(transformedModule, "Base");
+        const derivedClass = getClass(transformedModule, "Derived");
+        const baseCount = baseClass.members.find((member) => member.kind === "propertyDeclaration" && member.name === "count");
+        const derivedCount = derivedClass.members.find((member) => member.kind === "propertyDeclaration" && member.name === "count");
+        expect(baseCount?.isVirtual).to.equal(true);
+        expect(derivedCount?.isOverride).to.equal(true);
+    });
+    it("marks nullable-reference property overrides with non-null derived types as overrides", () => {
+        const modules = [
+            createModule({
+                kind: "classDeclaration",
+                name: "KeyObject",
+                implements: [],
+                members: [property("asymmetricKeyType", nullableStringType)],
+                isExported: true,
+                isStruct: false,
+            }, {
+                kind: "classDeclaration",
+                name: "PublicKeyObject",
+                superClass: { kind: "referenceType", name: "KeyObject" },
+                implements: [],
+                members: [property("asymmetricKeyType", stringType)],
+                isExported: true,
+                isStruct: false,
+            }),
+        ];
+        const result = runVirtualMarkingPass(modules);
+        const transformedModule = result.modules[0];
+        if (!transformedModule) {
+            throw new Error("expected transformed module");
+        }
+        const baseClass = getClass(transformedModule, "KeyObject");
+        const derivedClass = getClass(transformedModule, "PublicKeyObject");
+        const baseMember = baseClass.members.find((member) => member.kind === "propertyDeclaration" &&
+            member.name === "asymmetricKeyType");
+        const derivedMember = derivedClass.members.find((member) => member.kind === "propertyDeclaration" &&
+            member.name === "asymmetricKeyType");
+        expect(baseMember?.isVirtual).to.equal(true);
+        expect(derivedMember?.isOverride).to.equal(true);
+        expect(derivedMember?.isShadow).to.not.equal(true);
+    });
+    it("marks covariant generic return overrides as overrides", () => {
+        const methodTypeParameter = typeParameter("U", objectType);
+        const classTypeParameter = typeParameter("T", objectType);
+        const functorOfU = {
+            kind: "referenceType",
+            name: "Functor",
+            typeArguments: [{ kind: "typeParameterType", name: "U" }],
+        };
+        const maybeOfU = {
+            kind: "referenceType",
+            name: "Maybe",
+            typeArguments: [{ kind: "typeParameterType", name: "U" }],
+        };
+        const modules = [
+            createModule({
+                kind: "classDeclaration",
+                name: "Functor",
+                typeParameters: [classTypeParameter],
+                implements: [],
+                members: [
+                    method("map", [
+                        parameter("fn", {
+                            kind: "functionType",
+                            typeParameters: [],
+                            parameters: [
+                                parameter("value", {
+                                    kind: "typeParameterType",
+                                    name: "T",
+                                }),
+                            ],
+                            returnType: { kind: "typeParameterType", name: "U" },
+                        }),
+                    ], functorOfU, { typeParameters: [methodTypeParameter] }),
+                ],
+                isExported: true,
+                isStruct: false,
+            }, {
+                kind: "classDeclaration",
+                name: "Maybe",
+                typeParameters: [classTypeParameter],
+                superClass: {
+                    kind: "referenceType",
+                    name: "Functor",
+                    typeArguments: [{ kind: "typeParameterType", name: "T" }],
+                },
+                implements: [],
+                members: [
+                    method("map", [
+                        parameter("fn", {
+                            kind: "functionType",
+                            typeParameters: [],
+                            parameters: [
+                                parameter("value", {
+                                    kind: "typeParameterType",
+                                    name: "T",
+                                }),
+                            ],
+                            returnType: { kind: "typeParameterType", name: "U" },
+                        }),
+                    ], maybeOfU, { typeParameters: [methodTypeParameter] }),
+                ],
+                isExported: true,
+                isStruct: false,
+            }),
+        ];
+        const result = runVirtualMarkingPass(modules);
+        const transformedModule = result.modules[0];
+        if (!transformedModule) {
+            throw new Error("expected transformed module");
+        }
+        const baseClass = getClass(transformedModule, "Functor");
+        const derivedClass = getClass(transformedModule, "Maybe");
+        const baseMap = baseClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "map");
+        const derivedMap = derivedClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "map");
+        expect(baseMap?.isVirtual).to.equal(true);
+        expect(derivedMap?.isOverride).to.equal(true);
+        expect(derivedMap?.isShadow).to.not.equal(true);
+    });
+});
+//# sourceMappingURL=virtual-marking-pass.test.js.map

package/dist/ir/validation/virtual-marking-pass.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"virtual-marking-pass.test.js","sourceRoot":"","sources":["../../../src/ir/validation/virtual-marking-pass.test.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAW9B,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAElE,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;AACpD,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrE,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AACpE,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrE,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACjE,MAAM,kBAAkB,GAAW;IACjC,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;CAC9B,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,UAAmB,EAAmB,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAChB,IAAY,EACZ,IAAY,EACZ,OAA6E,EAChE,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE;IAC5C,IAAI;IACJ,WAAW,EAAE,OAAO,EAAE,WAAW;IACjC,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,KAAK;IACxC,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,KAAK;IAChC,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,CACb,IAAY,EACZ,UAAkC,EAClC,UAAkB,EAClB,OAUC,EACoB,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,mBAAmB;IACzB,IAAI;IACJ,UAAU;IACV,UAAU;IACV,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;IAChD,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,KAAK;IAClC,WAAW,EAAE,KAAK;IAClB,aAAa,EAAE,QAAQ;IACvB,UAAU,EAAE,OAAO,EAAE,UAAU;IAC/B,QAAQ,EAAE,OAAO,EAAE,QAAQ;IAC3B,SAAS,EAAE,OAAO,EAAE,SAAS;IAC7B,cAAc,EAAE,OAAO,EAAE,cAAc;IACvC,cAAc,EAAE,OAAO,EAAE,cAAc;CACxC,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,CACf,IAAY,EACZ,IAAY,EACZ,OAEC,EACsB,EAAE,CAAC,CAAC;IAC3B,IAAI,EAAE,qBAAqB;IAC3B,IAAI;IACJ,IAAI;IACJ,QAAQ,EAAE,KAAK;IACf,UAAU,EAAE,KAAK;IACjB,aAAa,EAAE,QAAQ;IACvB,UAAU,EAAE,OAAO,EAAE,UAAU;IAC/B,QAAQ,EAAE,OAAO,EAAE,QAAQ;IAC3B,SAAS,EAAE,OAAO,EAAE,SAAS;CAC9B,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,UAAkB,EAClB,oBAA4B,EACJ,EAAE,CAAC,CAAC;IAC5B,QAAQ,EAAE,mBAAmB,UAAU,EAAE;IACzC,QAAQ,EAAE,mBAAmB,UAAU,WAAW,oBAAoB,EAAE;IACxE,SAAS,EAAE,QAAQ;IACnB,UAAU;IACV,QAAQ,EAAE,KAAK;IACf,oBAAoB,EAAE,CAAC;IACvB,oBAAoB;CACrB,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,GAAG,IAA0B,EAAY,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,+BAA+B;IACzC,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,wBAAwB;IACnC,iBAAiB,EAAE,KAAK;IACxB,OAAO,EAAE,EAAE;IACX,IAAI;IACJ,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,CAAC,MAAgB,EAAE,IAAY,EAAsB,EAAE;IACtE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAC3B,CAAC,SAAS,EAAmC,EAAE,CAC7C,SAAS,CAAC,IAAI,KAAK,kBAAkB,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,CACnE,CAAC;IACF,MAAM,CAAC,IAAI,EAAE,kBAAkB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC/D,OAAO,IAAK,CAAC;AACf,CAAC,CAAC;AAEF,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,OAAO,GAAG;YACd,YAAY,CACV;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE;oBACP,MAAM,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC;oBAC/D,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,WAAW,CAAC;iBAC/B;gBACD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,EACD;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACrD,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE;oBACP,MAAM,CACJ,cAAc,EACd,CAAC,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,EACjC,WAAW,EACX,EAAE,cAAc,EAAE,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAC/C;oBACD,MAAM,CAAC,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE;wBAClC,cAAc,EAAE,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC;qBACzC,CAAC;iBACH;gBACD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,CACF;SACF,CAAC;QAEF,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC;QACxD,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;QAE7D,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACtC,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CACjE,CAAC;QACF,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACpC,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAC/D,CAAC;QACF,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE1C,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAC7C,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB;YACnC,MAAM,CAAC,IAAI,KAAK,cAAc;YAC9B,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CACjC,CAAC;QACF,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAC3C,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB;YACnC,MAAM,CAAC,IAAI,KAAK,UAAU;YAC1B,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CACjC,CAAC;QACF,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC7D,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3D,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,OAAO,GAAG;YACd,YAAY,CACV;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,MAAM;gBACZ,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE;oBACP,MAAM,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC;iBAChE;gBACD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,EACD;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,SAAS;gBACf,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;gBACnD,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE;oBACP,MAAM,CACJ,OAAO,EACP;wBACE,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC;wBAC/B,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;qBAClC,EACD,QAAQ,CACT;iBACF;gBACD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,CACF;SACF,CAAC;QAEF,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QAE5D,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACtC,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CACjE,CAAC;QACF,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEhD,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,CAC9C,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CACjE,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,OAAO,GAAG;YACd,YAAY,CACV;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,MAAM;gBACZ,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;gBACxC,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,EACD;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,SAAS;gBACf,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;gBACnD,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;gBACxC,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,CACF;SACF,CAAC;QAEF,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,SAAS,GAAG,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACtC,CAAC,MAAM,EAAmC,EAAE,CAC1C,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CACnE,CAAC;QACF,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAC5C,CAAC,MAAM,EAAmC,EAAE,CAC1C,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CACnE,CAAC;QAEF,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,OAAO,GAAG;YACd,YAAY,CACV;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE,CAAC,QAAQ,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,CAAC;gBAC5D,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,EACD;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,iBAAiB;gBACvB,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;gBACxD,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE,CAAC,QAAQ,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC;gBACpD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,CACF;SACF,CAAC;QAEF,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,SAAS,GAAG,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;QACpE,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACvC,CAAC,MAAM,EAAmC,EAAE,CAC1C,MAAM,CAAC,IAAI,KAAK,qBAAqB;YACrC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;QACF,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAC7C,CAAC,MAAM,EAAmC,EAAE,CAC1C,MAAM,CAAC,IAAI,KAAK,qBAAqB;YACrC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;QAEF,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,mBAAmB,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC3D,MAAM,kBAAkB,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,SAAS;YACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAC1D,CAAC;QACF,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAC1D,CAAC;QAEF,MAAM,OAAO,GAAG;YACd,YAAY,CACV;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,SAAS;gBACf,cAAc,EAAE,CAAC,kBAAkB,CAAC;gBACpC,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE;oBACP,MAAM,CACJ,KAAK,EACL;wBACE,SAAS,CAAC,IAAI,EAAE;4BACd,IAAI,EAAE,cAAc;4BACpB,cAAc,EAAE,EAAE;4BAClB,UAAU,EAAE;gCACV,SAAS,CAAC,OAAO,EAAE;oCACjB,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,GAAG;iCACV,CAAC;6BACH;4BACD,UAAU,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;yBACrD,CAAC;qBACH,EACD,UAAU,EACV,EAAE,cAAc,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAC1C;iBACF;gBACD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,EACD;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,OAAO;gBACb,cAAc,EAAE,CAAC,kBAAkB,CAAC;gBACpC,UAAU,EAAE;oBACV,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,SAAS;oBACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iBAC1D;gBACD,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE;oBACP,MAAM,CACJ,KAAK,EACL;wBACE,SAAS,CAAC,IAAI,EAAE;4BACd,IAAI,EAAE,cAAc;4BACpB,cAAc,EAAE,EAAE;4BAClB,UAAU,EAAE;gCACV,SAAS,CAAC,OAAO,EAAE;oCACjB,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,GAAG;iCACV,CAAC;6BACH;4BACD,UAAU,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;yBACrD,CAAC;qBACH,EACD,QAAQ,EACR,EAAE,cAAc,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAC1C;iBACF;gBACD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aAChB,CACF;SACF,CAAC;QAEF,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,SAAS,GAAG,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;QACzD,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACpC,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAC/D,CAAC;QACF,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAC1C,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAC/D,CAAC;QAEF,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/yield-expression-lowering.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Yield Expression Lowering
+ *
+ * Lowers yield expressions that appear inside larger expression trees
+ * (binary, call, member-access, conditional, etc.) into leading
+ * IrYieldStatement nodes plus a rewritten expression that references
+ * temporary identifiers.
+ *
+ * FACADE: re-exports from yield-member-access-lowering and yield-main-expression-lowering.
+ */
+export { lowerMemberAccessAssignmentWithYields } from "./yield-member-access-lowering.js";
+export { lowerExpressionWithYields } from "./yield-main-expression-lowering.js";
+//# sourceMappingURL=yield-expression-lowering.d.ts.map

package/dist/ir/validation/yield-expression-lowering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"yield-expression-lowering.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/yield-expression-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,qCAAqC,EAAE,MAAM,mCAAmC,CAAC;AAC1F,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC"}

package/dist/ir/validation/yield-expression-lowering.js

@@ -0,0 +1,13 @@
+/**
+ * Yield Expression Lowering
+ *
+ * Lowers yield expressions that appear inside larger expression trees
+ * (binary, call, member-access, conditional, etc.) into leading
+ * IrYieldStatement nodes plus a rewritten expression that references
+ * temporary identifiers.
+ *
+ * FACADE: re-exports from yield-member-access-lowering and yield-main-expression-lowering.
+ */
+export { lowerMemberAccessAssignmentWithYields } from "./yield-member-access-lowering.js";
+export { lowerExpressionWithYields } from "./yield-main-expression-lowering.js";
+//# sourceMappingURL=yield-expression-lowering.js.map

package/dist/ir/validation/yield-expression-lowering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"yield-expression-lowering.js","sourceRoot":"","sources":["../../../src/ir/validation/yield-expression-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,qCAAqC,EAAE,MAAM,mCAAmC,CAAC;AAC1F,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC"}

package/dist/ir/validation/yield-lowering-cases/assignment-yield.test.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Tests for assignment-based yield patterns (x = yield value).
+ *
+ * Topics:
+ * - Simple assignment with yield
+ * - Compound assignment (+=) with yield
+ * - Member target assignment with yield
+ * - Computed member target assignment with yield
+ * - Target object / computed property containing yield
+ * - Identifier expression target assignment
+ * - Combined target+value yield patterns
+ */
+export {};
+//# sourceMappingURL=assignment-yield.test.d.ts.map

package/dist/ir/validation/yield-lowering-cases/assignment-yield.test.d.ts.map

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