@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/overload-collection-cases/basic.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=basic.test.d.ts.map

package/dist/ir/validation/overload-collection-cases/basic.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"basic.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/overload-collection-cases/basic.test.ts"],"names":[],"mappings":""}

package/dist/ir/validation/overload-collection-cases/basic.test.js

@@ -0,0 +1,103 @@
+import { assertDefined, createModule, describe, expect, it, makeFunctionDeclaration, makeFunctionMarkerCall, makeMethodDeclaration, makeMethodMarkerCall, makePrimitiveType, makeReferenceType, makeTypedParameter, makeUnknownType, runOverloadCollectionPass, } from "./helpers.js";
+describe("Overload Collection Pass", () => {
+    it("erases top-level overload stubs and retargets real bodies", () => {
+        const module = createModule([
+            makeFunctionDeclaration("parse", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { isExported: true, isDeclarationOnly: true }),
+            makeFunctionDeclaration("parse", [makeTypedParameter("bytes", makeReferenceType("Uint8Array"))], makePrimitiveType("string"), { isExported: true, isDeclarationOnly: true }),
+            makeFunctionDeclaration("parse", [makeTypedParameter("_value", makeUnknownType())], makeUnknownType(), { isExported: true }),
+            makeFunctionDeclaration("parse_string", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { isExported: false }),
+            makeFunctionDeclaration("parse_bytes", [makeTypedParameter("bytes", makeReferenceType("Uint8Array"))], makePrimitiveType("string"), { isExported: false }),
+            makeFunctionMarkerCall("parse_string", "parse"),
+            makeFunctionMarkerCall("parse_bytes", "parse"),
+        ]);
+        const result = runOverloadCollectionPass([module]);
+        expect(result.ok).to.equal(true);
+        const output = assertDefined(result.modules[0]);
+        const functions = output.body.filter((statement) => statement.kind === "functionDeclaration");
+        expect(functions.map((statement) => statement.name)).to.deep.equal([
+            "parse_string",
+            "parse_bytes",
+        ]);
+        expect(functions.map((statement) => statement.isExported)).to.deep.equal([
+            true,
+            true,
+        ]);
+        expect(functions.map((statement) => statement.overloadFamily?.publicName)).to.deep.equal(["parse", "parse"]);
+        expect(functions.map((statement) => statement.overloadFamily?.publicSignatureIndex)).to.deep.equal([0, 1]);
+    });
+    it("erases class overload stubs and retargets real bodies", () => {
+        const module = createModule([
+            {
+                kind: "classDeclaration",
+                name: "Parser",
+                implements: [],
+                members: [
+                    makeMethodDeclaration("Parse", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { hasBody: false, accessibility: "public" }),
+                    makeMethodDeclaration("Parse", [makeTypedParameter("bytes", makeReferenceType("Uint8Array"))], makePrimitiveType("string"), { hasBody: false, accessibility: "public" }),
+                    makeMethodDeclaration("Parse", [makeTypedParameter("_value", makeUnknownType())], makeUnknownType(), { accessibility: "public" }),
+                    makeMethodDeclaration("parse_string", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { accessibility: "private" }),
+                    makeMethodDeclaration("parse_bytes", [makeTypedParameter("bytes", makeReferenceType("Uint8Array"))], makePrimitiveType("string"), { accessibility: "private" }),
+                ],
+                isExported: true,
+                isStruct: false,
+            },
+            makeMethodMarkerCall("Parser", "parse_string", "Parse"),
+            makeMethodMarkerCall("Parser", "parse_bytes", "Parse"),
+        ]);
+        const result = runOverloadCollectionPass([module]);
+        expect(result.ok).to.equal(true);
+        const output = assertDefined(result.modules[0]);
+        const parser = output.body[0];
+        const methods = parser.members.filter((member) => member.kind === "methodDeclaration");
+        expect(methods.map((member) => member.name)).to.deep.equal([
+            "parse_string",
+            "parse_bytes",
+        ]);
+        expect(methods.map((member) => member.accessibility)).to.deep.equal([
+            "public",
+            "public",
+        ]);
+        expect(methods.map((member) => member.overloadFamily?.publicName)).to.deep.equal(["Parse", "Parse"]);
+        expect(methods.map((member) => member.overloadFamily?.publicSignatureIndex)).to.deep.equal([0, 1]);
+    });
+    it("erases static class overload stubs and retargets real bodies", () => {
+        const module = createModule([
+            {
+                kind: "classDeclaration",
+                name: "Parser",
+                implements: [],
+                members: [
+                    makeMethodDeclaration("Parse", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { hasBody: false, accessibility: "public", isStatic: true }),
+                    makeMethodDeclaration("Parse", [makeTypedParameter("bytes", makeReferenceType("Uint8Array"))], makePrimitiveType("string"), { hasBody: false, accessibility: "public", isStatic: true }),
+                    makeMethodDeclaration("Parse", [makeTypedParameter("_value", makeUnknownType())], makeUnknownType(), { accessibility: "public", isStatic: true }),
+                    makeMethodDeclaration("parse_string", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { accessibility: "private", isStatic: true }),
+                    makeMethodDeclaration("parse_bytes", [makeTypedParameter("bytes", makeReferenceType("Uint8Array"))], makePrimitiveType("string"), { accessibility: "private", isStatic: true }),
+                ],
+                isExported: true,
+                isStruct: false,
+            },
+            makeMethodMarkerCall("Parser", "parse_string", "Parse", true),
+            makeMethodMarkerCall("Parser", "parse_bytes", "Parse", true),
+        ]);
+        const result = runOverloadCollectionPass([module]);
+        expect(result.ok).to.equal(true);
+        const output = assertDefined(result.modules[0]);
+        const parser = output.body[0];
+        const methods = parser.members.filter((member) => member.kind === "methodDeclaration");
+        expect(methods.map((member) => member.name)).to.deep.equal([
+            "parse_string",
+            "parse_bytes",
+        ]);
+        expect(methods.map((member) => member.isStatic)).to.deep.equal([
+            true,
+            true,
+        ]);
+        expect(methods.map((member) => member.accessibility)).to.deep.equal([
+            "public",
+            "public",
+        ]);
+        expect(methods.map((member) => member.overloadFamily?.publicName)).to.deep.equal(["Parse", "Parse"]);
+        expect(methods.map((member) => member.overloadFamily?.publicSignatureIndex)).to.deep.equal([0, 1]);
+    });
+});
+//# sourceMappingURL=basic.test.js.map

package/dist/ir/validation/overload-collection-cases/basic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"basic.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/overload-collection-cases/basic.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,EAAE,EACF,uBAAuB,EACvB,sBAAsB,EACtB,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AAOtB,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG,YAAY,CAAC;YAC1B,uBAAuB,CACrB,OAAO,EACP,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,UAAU,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAC9C;YACD,uBAAuB,CACrB,OAAO,EACP,CAAC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAC9D,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,UAAU,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAC9C;YACD,uBAAuB,CACrB,OAAO,EACP,CAAC,kBAAkB,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC,EACjD,eAAe,EAAE,EACjB,EAAE,UAAU,EAAE,IAAI,EAAE,CACrB;YACD,uBAAuB,CACrB,cAAc,EACd,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,UAAU,EAAE,KAAK,EAAE,CACtB;YACD,uBAAuB,CACrB,aAAa,EACb,CAAC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAC9D,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,UAAU,EAAE,KAAK,EAAE,CACtB;YACD,sBAAsB,CAAC,cAAc,EAAE,OAAO,CAAC;YAC/C,sBAAsB,CAAC,aAAa,EAAE,OAAO,CAAC;SAC/C,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEjC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAClC,CAAC,SAAS,EAAsC,EAAE,CAChD,SAAS,CAAC,IAAI,KAAK,qBAAqB,CAC3C,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACjE,cAAc;YACd,aAAa;SACd,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACvE,IAAI;YACJ,IAAI;SACL,CAAC,CAAC;QACH,MAAM,CACJ,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,EAAE,UAAU,CAAC,CACnE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACpC,MAAM,CACJ,SAAS,CAAC,GAAG,CACX,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,EAAE,oBAAoB,CAC9D,CACF,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,YAAY,CAAC;YAC1B;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE;oBACP,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5C;oBACD,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAC9D,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5C;oBACD,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC,EACjD,eAAe,EAAE,EACjB,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5B;oBACD,qBAAqB,CACnB,cAAc,EACd,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,aAAa,EAAE,SAAS,EAAE,CAC7B;oBACD,qBAAqB,CACnB,aAAa,EACb,CAAC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAC9D,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,aAAa,EAAE,SAAS,EAAE,CAC7B;iBACF;gBACD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aACiB;YAClC,oBAAoB,CAAC,QAAQ,EAAE,cAAc,EAAE,OAAO,CAAC;YACvD,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC;SACvD,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEjC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;QACpD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CACnC,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACzD,cAAc;YACd,aAAa;SACd,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClE,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;QACH,MAAM,CACJ,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,EAAE,UAAU,CAAC,CAC3D,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACpC,MAAM,CACJ,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,EAAE,oBAAoB,CAAC,CACrE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,YAAY,CAAC;YAC1B;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE;oBACP,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAC5D;oBACD,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAC9D,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAC5D;oBACD,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC,EACjD,eAAe,EAAE,EACjB,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAC5C;oBACD,qBAAqB,CACnB,cAAc,EACd,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAC7C;oBACD,qBAAqB,CACnB,aAAa,EACb,CAAC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAC9D,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAC7C;iBACF;gBACD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aACiB;YAClC,oBAAoB,CAAC,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC;YAC7D,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC;SAC7D,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEjC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;QACpD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CACnC,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACzD,cAAc;YACd,aAAa;SACd,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC7D,IAAI;YACJ,IAAI;SACL,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClE,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;QACH,MAAM,CACJ,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,EAAE,UAAU,CAAC,CAC3D,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACpC,MAAM,CACJ,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,EAAE,oBAAoB,CAAC,CACrE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/overload-collection-cases/consistency.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=consistency.test.d.ts.map

package/dist/ir/validation/overload-collection-cases/consistency.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"consistency.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/overload-collection-cases/consistency.test.ts"],"names":[],"mappings":""}

package/dist/ir/validation/overload-collection-cases/consistency.test.js

@@ -0,0 +1,79 @@
+import { assertDefined, createModule, describe, expect, it, makeMethodDeclaration, makeMethodMarkerCall, makeMethodSignature, makePrimitiveType, makeReferenceType, makeTypedParameter, makeUnknownType, runOverloadCollectionPass, runOverloadFamilyConsistencyPass, } from "./helpers.js";
+describe("Overload Family Consistency Pass", () => {
+    it("accepts class real bodies that preserve interface overload public names", () => {
+        const module = createModule([
+            {
+                kind: "interfaceDeclaration",
+                name: "IParser",
+                isExported: true,
+                isStruct: false,
+                typeParameters: [],
+                extends: [],
+                members: [
+                    makeMethodSignature("Parse", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string")),
+                    makeMethodSignature("Parse", [makeTypedParameter("bytes", makeReferenceType("Uint8Array"))], makePrimitiveType("string")),
+                ],
+            },
+            {
+                kind: "classDeclaration",
+                name: "Parser",
+                isExported: true,
+                isStruct: false,
+                typeParameters: [],
+                implements: [{ kind: "referenceType", name: "IParser" }],
+                members: [
+                    makeMethodDeclaration("Parse", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { hasBody: false, accessibility: "public" }),
+                    makeMethodDeclaration("Parse", [makeTypedParameter("bytes", makeReferenceType("Uint8Array"))], makePrimitiveType("string"), { hasBody: false, accessibility: "public" }),
+                    makeMethodDeclaration("Parse", [makeTypedParameter("_value", makeUnknownType())], makeUnknownType(), { accessibility: "public" }),
+                    makeMethodDeclaration("parse_text", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { accessibility: "private" }),
+                    makeMethodDeclaration("parse_bytes", [makeTypedParameter("bytes", makeReferenceType("Uint8Array"))], makePrimitiveType("string"), { accessibility: "private" }),
+                ],
+            },
+            makeMethodMarkerCall("Parser", "parse_text", "Parse"),
+            makeMethodMarkerCall("Parser", "parse_bytes", "Parse"),
+        ]);
+        const collected = runOverloadCollectionPass([module]);
+        expect(collected.ok).to.equal(true);
+        const consistency = runOverloadFamilyConsistencyPass([
+            assertDefined(collected.modules[0]),
+        ]);
+        expect(consistency.ok).to.equal(true);
+    });
+    it("rejects class surfaces that change the interface CLR overload family name", () => {
+        const module = createModule([
+            {
+                kind: "interfaceDeclaration",
+                name: "IParser",
+                isExported: true,
+                isStruct: false,
+                typeParameters: [],
+                extends: [],
+                members: [
+                    makeMethodSignature("Parse", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string")),
+                ],
+            },
+            {
+                kind: "classDeclaration",
+                name: "Parser",
+                isExported: true,
+                isStruct: false,
+                typeParameters: [],
+                implements: [{ kind: "referenceType", name: "IParser" }],
+                members: [
+                    makeMethodDeclaration("Decode", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { hasBody: false, accessibility: "public" }),
+                    makeMethodDeclaration("Decode", [makeTypedParameter("_value", makeUnknownType())], makeUnknownType(), { accessibility: "public" }),
+                    makeMethodDeclaration("decode_text", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { accessibility: "private" }),
+                ],
+            },
+            makeMethodMarkerCall("Parser", "decode_text", "Decode"),
+        ]);
+        const collected = runOverloadCollectionPass([module]);
+        expect(collected.ok).to.equal(true);
+        const consistency = runOverloadFamilyConsistencyPass([
+            assertDefined(collected.modules[0]),
+        ]);
+        expect(consistency.ok).to.equal(false);
+        expect(consistency.diagnostics.some((diagnostic) => diagnostic.code === "TSN4005")).to.equal(true);
+    });
+});
+//# sourceMappingURL=consistency.test.js.map

package/dist/ir/validation/overload-collection-cases/consistency.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"consistency.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/overload-collection-cases/consistency.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,EAAE,EACF,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,yBAAyB,EACzB,gCAAgC,GACjC,MAAM,cAAc,CAAC;AAGtB,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,MAAM,GAAG,YAAY,CAAC;YAC1B;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,SAAS;gBACf,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;gBACf,cAAc,EAAE,EAAE;gBAClB,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE;oBACP,mBAAmB,CACjB,OAAO,EACP,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,CAC5B;oBACD,mBAAmB,CACjB,OAAO,EACP,CAAC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAC9D,iBAAiB,CAAC,QAAQ,CAAC,CAC5B;iBACF;aACmC;YACtC;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;gBACf,cAAc,EAAE,EAAE;gBAClB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;gBACxD,OAAO,EAAE;oBACP,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5C;oBACD,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAC9D,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5C;oBACD,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC,EACjD,eAAe,EAAE,EACjB,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5B;oBACD,qBAAqB,CACnB,YAAY,EACZ,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,aAAa,EAAE,SAAS,EAAE,CAC7B;oBACD,qBAAqB,CACnB,aAAa,EACb,CAAC,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAC9D,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,aAAa,EAAE,SAAS,EAAE,CAC7B;iBACF;aAC+B;YAClC,oBAAoB,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,CAAC;YACrD,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC;SACvD,CAAC,CAAC;QAEH,MAAM,SAAS,GAAG,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEpC,MAAM,WAAW,GAAG,gCAAgC,CAAC;YACnD,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,MAAM,GAAG,YAAY,CAAC;YAC1B;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,SAAS;gBACf,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;gBACf,cAAc,EAAE,EAAE;gBAClB,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE;oBACP,mBAAmB,CACjB,OAAO,EACP,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,CAC5B;iBACF;aACmC;YACtC;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;gBACf,cAAc,EAAE,EAAE;gBAClB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;gBACxD,OAAO,EAAE;oBACP,qBAAqB,CACnB,QAAQ,EACR,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5C;oBACD,qBAAqB,CACnB,QAAQ,EACR,CAAC,kBAAkB,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC,EACjD,eAAe,EAAE,EACjB,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5B;oBACD,qBAAqB,CACnB,aAAa,EACb,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,aAAa,EAAE,SAAS,EAAE,CAC7B;iBACF;aAC+B;YAClC,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,CAAC;SACxD,CAAC,CAAC;QAEH,MAAM,SAAS,GAAG,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEpC,MAAM,WAAW,GAAG,gCAAgC,CAAC;YACnD,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CACJ,WAAW,CAAC,WAAW,CAAC,IAAI,CAC1B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAC9C,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/overload-collection-cases/error-cases.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=error-cases.test.d.ts.map

package/dist/ir/validation/overload-collection-cases/error-cases.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-cases.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/overload-collection-cases/error-cases.test.ts"],"names":[],"mappings":""}

package/dist/ir/validation/overload-collection-cases/error-cases.test.js

@@ -0,0 +1,24 @@
+import { createModule, describe, expect, it, makeBadSelector, makeMethodDeclaration, makeMethodMarkerCallWithSelector, makePrimitiveType, makeTypedParameter, makeUnknownType, runOverloadCollectionPass, } from "./helpers.js";
+describe("Overload Collection Pass", () => {
+    it("rejects non-member selectors", () => {
+        const module = createModule([
+            {
+                kind: "classDeclaration",
+                name: "Parser",
+                implements: [],
+                members: [
+                    makeMethodDeclaration("Parse", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { hasBody: false, accessibility: "public" }),
+                    makeMethodDeclaration("Parse", [makeTypedParameter("_value", makeUnknownType())], makeUnknownType(), { accessibility: "public" }),
+                    makeMethodDeclaration("parse_text", [makeTypedParameter("text", makePrimitiveType("string"))], makePrimitiveType("string"), { accessibility: "private" }),
+                ],
+                isExported: true,
+                isStruct: false,
+            },
+            makeMethodMarkerCallWithSelector("Parser", makeBadSelector("parse_text"), "Parse"),
+        ]);
+        const result = runOverloadCollectionPass([module]);
+        expect(result.ok).to.equal(false);
+        expect(result.diagnostics.some((diagnostic) => diagnostic.code === "TSN4005")).to.equal(true);
+    });
+});
+//# sourceMappingURL=error-cases.test.js.map

package/dist/ir/validation/overload-collection-cases/error-cases.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-cases.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/overload-collection-cases/error-cases.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,EAAE,EACF,eAAe,EACf,qBAAqB,EACrB,gCAAgC,EAChC,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AAGtB,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,YAAY,CAAC;YAC1B;gBACE,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE;oBACP,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5C;oBACD,qBAAqB,CACnB,OAAO,EACP,CAAC,kBAAkB,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC,EACjD,eAAe,EAAE,EACjB,EAAE,aAAa,EAAE,QAAQ,EAAE,CAC5B;oBACD,qBAAqB,CACnB,YAAY,EACZ,CAAC,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,EACzD,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,EAAE,aAAa,EAAE,SAAS,EAAE,CAC7B;iBACF;gBACD,UAAU,EAAE,IAAI;gBAChB,QAAQ,EAAE,KAAK;aACiB;YAClC,gCAAgC,CAC9B,QAAQ,EACR,eAAe,CAAC,YAAY,CAAC,EAC7B,OAAO,CACR;SACF,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CACJ,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CACvE,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/overload-collection-cases/helpers.d.ts

@@ -0,0 +1,107 @@
+export { describe, it } from "mocha";
+export { expect } from "chai";
+export { runOverloadCollectionPass, runOverloadFamilyConsistencyPass, } from "../index.js";
+export type { IrCallExpression, IrModule, IrClassDeclaration, IrFunctionDeclaration, IrInterfaceDeclaration, IrExpression, IrMethodDeclaration, IrMethodSignature, IrParameter, IrType, } from "../../types.js";
+import type { IrCallExpression, IrExpression, IrFunctionDeclaration, IrMethodDeclaration, IrMethodSignature, IrModule, IrParameter, IrType } from "../../types.js";
+export declare const assertDefined: <T>(value: T | null | undefined, msg?: string) => T;
+export declare const createModule: (body: IrModule["body"], overloadsApiLocalName?: string) => IrModule;
+export declare const makeIdentifier: (name: string) => {
+    kind: "identifier";
+    name: string;
+};
+export declare const makeReferenceType: (name: string) => {
+    kind: "referenceType";
+    name: string;
+};
+export declare const makePrimitiveType: (name: "string" | "number" | "int" | "char" | "boolean" | "null" | "undefined") => {
+    kind: "primitiveType";
+    name: "string" | "number" | "boolean" | "undefined" | "int" | "char" | "null";
+};
+export declare const makeUnknownType: () => {
+    kind: "unknownType";
+    explicit: true;
+};
+export declare const makeAnyType: () => {
+    kind: "anyType";
+};
+export declare const makeMemberAccess: (object: IrExpression, property: string) => IrExpression;
+export declare const makeCall: (callee: IrExpression, args: readonly IrExpression[], typeArguments?: readonly IrType[]) => IrCallExpression;
+export declare const makeLiteral: (value: string | number | boolean) => {
+    kind: "literal";
+    value: string | number | boolean;
+    raw: string;
+};
+export declare const makeParameter: (name: string) => {
+    kind: "parameter";
+    pattern: {
+        kind: "identifierPattern";
+        name: string;
+    };
+    type: undefined;
+    initializer: undefined;
+    isOptional: boolean;
+    isRest: boolean;
+    passing: "value";
+};
+export declare const makeTypedParameter: (name: string, type: IrType) => IrParameter;
+export declare const makeBlock: () => {
+    kind: "blockStatement";
+    statements: never[];
+};
+export declare const makeFunctionDeclaration: (name: string, parameters: readonly IrParameter[], returnType: IrType, options?: {
+    readonly isExported?: boolean;
+    readonly isDeclarationOnly?: boolean;
+}) => IrFunctionDeclaration;
+export declare const makeMethodDeclaration: (name: string, parameters: readonly IrParameter[], returnType: IrType, options?: {
+    readonly isStatic?: boolean;
+    readonly hasBody?: boolean;
+    readonly accessibility?: "public" | "private" | "protected" | "internal";
+}) => IrMethodDeclaration;
+export declare const makeMethodSignature: (name: string, parameters: readonly IrParameter[], returnType: IrType) => IrMethodSignature;
+export declare const makeSelector: (memberName: string) => {
+    kind: "arrowFunction";
+    parameters: {
+        kind: "parameter";
+        pattern: {
+            kind: "identifierPattern";
+            name: string;
+        };
+        type: undefined;
+        initializer: undefined;
+        isOptional: boolean;
+        isRest: boolean;
+        passing: "value";
+    }[];
+    isAsync: boolean;
+    body: IrExpression;
+};
+export declare const makeBadSelector: (memberName: string) => {
+    kind: "arrowFunction";
+    parameters: {
+        kind: "parameter";
+        pattern: {
+            kind: "identifierPattern";
+            name: string;
+        };
+        type: undefined;
+        initializer: undefined;
+        isOptional: boolean;
+        isRest: boolean;
+        passing: "value";
+    }[];
+    isAsync: boolean;
+    body: IrCallExpression;
+};
+export declare const makeFunctionMarkerCall: (functionName: string, familyName: string, apiObjectName?: string) => {
+    kind: "expressionStatement";
+    expression: IrCallExpression;
+};
+export declare const makeMethodMarkerCall: (typeName: string, memberName: string, familyName: string, _isStatic?: boolean, apiObjectName?: string) => {
+    kind: "expressionStatement";
+    expression: IrCallExpression;
+};
+export declare const makeMethodMarkerCallWithSelector: (typeName: string, selector: IrExpression, familyName: string, _isStatic?: boolean, apiObjectName?: string) => {
+    kind: "expressionStatement";
+    expression: IrCallExpression;
+};
+//# sourceMappingURL=helpers.d.ts.map

package/dist/ir/validation/overload-collection-cases/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/overload-collection-cases/helpers.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,yBAAyB,EACzB,gCAAgC,GACjC,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,gBAAgB,EAChB,QAAQ,EACR,kBAAkB,EAClB,qBAAqB,EACrB,sBAAsB,EACtB,YAAY,EACZ,mBAAmB,EACnB,iBAAiB,EACjB,WAAW,EACX,MAAM,GACP,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EACV,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,mBAAmB,EACnB,iBAAiB,EACjB,QAAQ,EACR,WAAW,EACX,MAAM,EACP,MAAM,gBAAgB,CAAC;AAExB,eAAO,MAAM,aAAa,GAAI,CAAC,EAC7B,OAAO,CAAC,GAAG,IAAI,GAAG,SAAS,EAC3B,MAAM,MAAM,KACX,CAKF,CAAC;AAEF,eAAO,MAAM,YAAY,GACvB,MAAM,QAAQ,CAAC,MAAM,CAAC,EACtB,8BAA2B,KAC1B,QAuBD,CAAC;AAEH,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM;;;CAGzC,CAAC;AAEH,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM;;;CAG5C,CAAC;AAEH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,QAAQ,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW;;;CAI7E,CAAC;AAEH,eAAO,MAAM,eAAe;;;CAG1B,CAAC;AAEH,eAAO,MAAM,WAAW;;CAEtB,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAC3B,QAAQ,YAAY,EACpB,UAAU,MAAM,KACf,YAMD,CAAC;AAEH,eAAO,MAAM,QAAQ,GACnB,QAAQ,YAAY,EACpB,MAAM,SAAS,YAAY,EAAE,EAC7B,gBAAgB,SAAS,MAAM,EAAE,KAChC,gBAMD,CAAC;AAEH,eAAO,MAAM,WAAW,GAAI,OAAO,MAAM,GAAG,MAAM,GAAG,OAAO;;;;CAI1D,CAAC;AAEH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM;;;;;;;;;;;CAQxC,CAAC;AAEH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,MAAM,EACZ,MAAM,MAAM,KACX,WAGD,CAAC;AAEH,eAAO,MAAM,SAAS;;;CAGpB,CAAC;AAEH,eAAO,MAAM,uBAAuB,GAClC,MAAM,MAAM,EACZ,YAAY,SAAS,WAAW,EAAE,EAClC,YAAY,MAAM,EAClB,UAAU;IACR,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;CACtC,KACA,qBAUD,CAAC;AAEH,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,YAAY,SAAS,WAAW,EAAE,EAClC,YAAY,MAAM,EAClB,UAAU;IACR,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;CAC1E,KACA,mBAUD,CAAC;AAEH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,EACZ,YAAY,SAAS,WAAW,EAAE,EAClC,YAAY,MAAM,KACjB,iBAKD,CAAC;AAEH,eAAO,MAAM,YAAY,GAAI,YAAY,MAAM;;;;;;;;;;;;;;;;CAK7C,CAAC;AAEH,eAAO,MAAM,eAAe,GAAI,YAAY,MAAM;;;;;;;;;;;;;;;;CAKhD,CAAC;AAEH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,YAAY,MAAM,EAClB,sBAAmB;;;CAUnB,CAAC;AAEH,eAAO,MAAM,oBAAoB,GAC/B,UAAU,MAAM,EAChB,YAAY,MAAM,EAClB,YAAY,MAAM,EAClB,mBAAiB,EACjB,sBAAmB;;;CAoBnB,CAAC;AAEH,eAAO,MAAM,gCAAgC,GAC3C,UAAU,MAAM,EAChB,UAAU,YAAY,EACtB,YAAY,MAAM,EAClB,mBAAiB,EACjB,sBAAmB;;;CAoBnB,CAAC"}

package/dist/ir/validation/overload-collection-cases/helpers.js

@@ -0,0 +1,142 @@
+/* eslint-disable @typescript-eslint/explicit-module-boundary-types */
+export { describe, it } from "mocha";
+export { expect } from "chai";
+export { runOverloadCollectionPass, runOverloadFamilyConsistencyPass, } from "../index.js";
+export const assertDefined = (value, msg) => {
+    if (value === null || value === undefined) {
+        throw new Error(msg ?? "Expected value to be defined");
+    }
+    return value;
+};
+export const createModule = (body, overloadsApiLocalName = "O") => ({
+    kind: "module",
+    filePath: "test.ts",
+    namespace: "Test",
+    className: "Test",
+    isStaticContainer: false,
+    imports: [
+        {
+            kind: "import",
+            source: "@tsonic/core/lang.js",
+            isLocal: false,
+            isClr: false,
+            specifiers: [
+                {
+                    kind: "named",
+                    name: "overloads",
+                    localName: overloadsApiLocalName,
+                },
+            ],
+        },
+    ],
+    body,
+    exports: [],
+});
+export const makeIdentifier = (name) => ({
+    kind: "identifier",
+    name,
+});
+export const makeReferenceType = (name) => ({
+    kind: "referenceType",
+    name,
+});
+export const makePrimitiveType = (name) => ({
+    kind: "primitiveType",
+    name,
+});
+export const makeUnknownType = () => ({
+    kind: "unknownType",
+    explicit: true,
+});
+export const makeAnyType = () => ({
+    kind: "anyType",
+});
+export const makeMemberAccess = (object, property) => ({
+    kind: "memberAccess",
+    object,
+    property,
+    isComputed: false,
+    isOptional: false,
+});
+export const makeCall = (callee, args, typeArguments) => ({
+    kind: "call",
+    callee,
+    arguments: args,
+    isOptional: false,
+    ...(typeArguments ? { typeArguments } : {}),
+});
+export const makeLiteral = (value) => ({
+    kind: "literal",
+    value,
+    raw: JSON.stringify(value),
+});
+export const makeParameter = (name) => ({
+    kind: "parameter",
+    pattern: { kind: "identifierPattern", name },
+    type: undefined,
+    initializer: undefined,
+    isOptional: false,
+    isRest: false,
+    passing: "value",
+});
+export const makeTypedParameter = (name, type) => ({
+    ...makeParameter(name),
+    type,
+});
+export const makeBlock = () => ({
+    kind: "blockStatement",
+    statements: [],
+});
+export const makeFunctionDeclaration = (name, parameters, returnType, options) => ({
+    kind: "functionDeclaration",
+    name,
+    parameters,
+    returnType,
+    body: makeBlock(),
+    ...(options?.isDeclarationOnly ? { isDeclarationOnly: true } : {}),
+    isAsync: false,
+    isGenerator: false,
+    isExported: options?.isExported ?? true,
+});
+export const makeMethodDeclaration = (name, parameters, returnType, options) => ({
+    kind: "methodDeclaration",
+    name,
+    parameters,
+    returnType,
+    ...(options?.hasBody === false ? {} : { body: makeBlock() }),
+    isStatic: options?.isStatic ?? false,
+    isAsync: false,
+    isGenerator: false,
+    accessibility: options?.accessibility ?? "public",
+});
+export const makeMethodSignature = (name, parameters, returnType) => ({
+    kind: "methodSignature",
+    name,
+    parameters,
+    returnType,
+});
+export const makeSelector = (memberName) => ({
+    kind: "arrowFunction",
+    parameters: [makeParameter("x")],
+    isAsync: false,
+    body: makeMemberAccess(makeIdentifier("x"), memberName),
+});
+export const makeBadSelector = (memberName) => ({
+    kind: "arrowFunction",
+    parameters: [makeParameter("x")],
+    isAsync: false,
+    body: makeCall(makeMemberAccess(makeIdentifier("x"), memberName), []),
+});
+export const makeFunctionMarkerCall = (functionName, familyName, apiObjectName = "O") => ({
+    kind: "expressionStatement",
+    expression: makeCall(makeMemberAccess(makeCall(makeIdentifier(apiObjectName), [makeIdentifier(functionName)]), "family"), [makeIdentifier(familyName)]),
+});
+export const makeMethodMarkerCall = (typeName, memberName, familyName, _isStatic = false, apiObjectName = "O") => ({
+    kind: "expressionStatement",
+    expression: makeCall(makeMemberAccess(makeCall(makeMemberAccess(makeCall(makeIdentifier(apiObjectName), [], [makeReferenceType(typeName)]), "method"), [makeSelector(memberName)]), "family"), [makeSelector(familyName)]),
+});
+export const makeMethodMarkerCallWithSelector = (typeName, selector, familyName, _isStatic = false, apiObjectName = "O") => ({
+    kind: "expressionStatement",
+    expression: makeCall(makeMemberAccess(makeCall(makeMemberAccess(makeCall(makeIdentifier(apiObjectName), [], [makeReferenceType(typeName)]), "method"), [selector]), "family"), [makeSelector(familyName)]),
+});
+//# sourceMappingURL=helpers.js.map

package/dist/ir/validation/overload-collection-cases/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../../src/ir/validation/overload-collection-cases/helpers.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,yBAAyB,EACzB,gCAAgC,GACjC,MAAM,aAAa,CAAC;AAwBrB,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAA2B,EAC3B,GAAY,EACT,EAAE;IACL,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,8BAA8B,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAsB,EACtB,qBAAqB,GAAG,GAAG,EACjB,EAAE,CAAC,CAAC;IACd,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,SAAS;IACnB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IACjB,iBAAiB,EAAE,KAAK;IACxB,OAAO,EAAE;QACP;YACE,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,sBAAsB;YAC9B,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,KAAK;YACZ,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,qBAAqB;iBACjC;aACF;SACF;KACF;IACD,IAAI;IACJ,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC;IAC/C,IAAI,EAAE,YAAqB;IAC3B,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC;IAClD,IAAI,EAAE,eAAwB;IAC9B,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAA6E,EAC7E,EAAE,CAAC,CAAC;IACJ,IAAI,EAAE,eAAwB;IAC9B,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,GAAG,EAAE,CAAC,CAAC;IACpC,IAAI,EAAE,aAAsB;IAC5B,QAAQ,EAAE,IAAa;CACxB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,CAAC;IAChC,IAAI,EAAE,SAAkB;CACzB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAoB,EACpB,QAAgB,EACF,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,cAAuB;IAC7B,MAAM;IACN,QAAQ;IACR,UAAU,EAAE,KAAK;IACjB,UAAU,EAAE,KAAK;CAClB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,MAAoB,EACpB,IAA6B,EAC7B,aAAiC,EACf,EAAE,CAAC,CAAC;IACtB,IAAI,EAAE,MAAe;IACrB,MAAM;IACN,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,KAAK;IACjB,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAgC,EAAE,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,SAAkB;IACxB,KAAK;IACL,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;CAC3B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC;IAC9C,IAAI,EAAE,WAAoB;IAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,mBAA4B,EAAE,IAAI,EAAE;IACrD,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,SAAS;IACtB,UAAU,EAAE,KAAK;IACjB,MAAM,EAAE,KAAK;IACb,OAAO,EAAE,OAAgB;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAY,EACZ,IAAY,EACC,EAAE,CAAC,CAAC;IACjB,GAAG,aAAa,CAAC,IAAI,CAAC;IACtB,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,CAAC;IAC9B,IAAI,EAAE,gBAAyB;IAC/B,UAAU,EAAE,EAAE;CACf,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,UAAkC,EAClC,UAAkB,EAClB,OAGC,EACsB,EAAE,CAAC,CAAC;IAC3B,IAAI,EAAE,qBAA8B;IACpC,IAAI;IACJ,UAAU;IACV,UAAU;IACV,IAAI,EAAE,SAAS,EAAE;IACjB,GAAG,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAClE,OAAO,EAAE,KAAK;IACd,WAAW,EAAE,KAAK;IAClB,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI;CACxC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAY,EACZ,UAAkC,EAClC,UAAkB,EAClB,OAIC,EACoB,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,mBAA4B;IAClC,IAAI;IACJ,UAAU;IACV,UAAU;IACV,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;IAC5D,QAAQ,EAAE,OAAO,EAAE,QAAQ,IAAI,KAAK;IACpC,OAAO,EAAE,KAAK;IACd,WAAW,EAAE,KAAK;IAClB,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,QAAQ;CAClD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAY,EACZ,UAAkC,EAClC,UAAkB,EACC,EAAE,CAAC,CAAC;IACvB,IAAI,EAAE,iBAA0B;IAChC,IAAI;IACJ,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAkB,EAAE,EAAE,CAAC,CAAC;IACnD,IAAI,EAAE,eAAwB;IAC9B,UAAU,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IAChC,OAAO,EAAE,KAAK;IACd,IAAI,EAAE,gBAAgB,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC;CACxD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,UAAkB,EAAE,EAAE,CAAC,CAAC;IACtD,IAAI,EAAE,eAAwB;IAC9B,UAAU,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IAChC,OAAO,EAAE,KAAK;IACd,IAAI,EAAE,QAAQ,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;CACtE,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,UAAkB,EAClB,aAAa,GAAG,GAAG,EACnB,EAAE,CAAC,CAAC;IACJ,IAAI,EAAE,qBAA8B;IACpC,UAAU,EAAE,QAAQ,CAClB,gBAAgB,CACd,QAAQ,CAAC,cAAc,CAAC,aAAa,CAAC,EAAE,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC,CAAC,EACvE,QAAQ,CACT,EACD,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAC7B;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAAgB,EAChB,UAAkB,EAClB,UAAkB,EAClB,SAAS,GAAG,KAAK,EACjB,aAAa,GAAG,GAAG,EACnB,EAAE,CAAC,CAAC;IACJ,IAAI,EAAE,qBAA8B;IACpC,UAAU,EAAE,QAAQ,CAClB,gBAAgB,CACd,QAAQ,CACN,gBAAgB,CACd,QAAQ,CACN,cAAc,CAAC,aAAa,CAAC,EAC7B,EAAE,EACF,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAC9B,EACD,QAAQ,CACT,EACD,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAC3B,EACD,QAAQ,CACT,EACD,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAC3B;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,QAAgB,EAChB,QAAsB,EACtB,UAAkB,EAClB,SAAS,GAAG,KAAK,EACjB,aAAa,GAAG,GAAG,EACnB,EAAE,CAAC,CAAC;IACJ,IAAI,EAAE,qBAA8B;IACpC,UAAU,EAAE,QAAQ,CAClB,gBAAgB,CACd,QAAQ,CACN,gBAAgB,CACd,QAAQ,CACN,cAAc,CAAC,aAAa,CAAC,EAC7B,EAAE,EACF,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAC9B,EACD,QAAQ,CACT,EACD,CAAC,QAAQ,CAAC,CACX,EACD,QAAQ,CACT,EACD,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAC3B;CACF,CAAC,CAAC"}

package/dist/ir/validation/overload-collection-pass.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Overload Collection Pass
+ *
+ * Detects compiler-only overload marker calls, binds real bodies to erased
+ * overload stubs, removes marker statements and stub declarations, and
+ * attaches overload-family metadata to the surviving emitted bodies.
+ */
+import { Diagnostic } from "../../types/diagnostic.js";
+import { IrModule } from "../types.js";
+export type OverloadCollectionResult = {
+    readonly ok: boolean;
+    readonly modules: readonly IrModule[];
+    readonly diagnostics: readonly Diagnostic[];
+};
+export declare const runOverloadCollectionPass: (modules: readonly IrModule[]) => OverloadCollectionResult;
+//# sourceMappingURL=overload-collection-pass.d.ts.map

package/dist/ir/validation/overload-collection-pass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"overload-collection-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/overload-collection-pass.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAOL,QAAQ,EAMT,MAAM,aAAa,CAAC;AAGrB,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AA8mDF,eAAO,MAAM,yBAAyB,GACpC,SAAS,SAAS,QAAQ,EAAE,KAC3B,wBAgBF,CAAC"}