@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.js

@@ -0,0 +1,80 @@
+import { describe, it, expect, substituteTypeArgs, } from "./helpers.js";
+describe("type-resolution", () => {
+    describe("substituteTypeArgs", () => {
+        it("substitutes simple type parameter", () => {
+            const type = { kind: "typeParameterType", name: "T" };
+            const typeParamNames = ["T"];
+            const typeArgs = [{ kind: "primitiveType", name: "string" }];
+            const result = substituteTypeArgs(type, typeParamNames, typeArgs);
+            expect(result).to.deep.equal({ kind: "primitiveType", name: "string" });
+        });
+        it("does not substitute plain referenceType names", () => {
+            const type = { kind: "referenceType", name: "T" };
+            const typeParamNames = ["T"];
+            const typeArgs = [{ kind: "primitiveType", name: "number" }];
+            const result = substituteTypeArgs(type, typeParamNames, typeArgs);
+            expect(result).to.deep.equal({ kind: "referenceType", name: "T" });
+        });
+        it("substitutes type argument in generic reference", () => {
+            const type = {
+                kind: "referenceType",
+                name: "Array",
+                typeArguments: [{ kind: "typeParameterType", name: "T" }],
+            };
+            const typeParamNames = ["T"];
+            const typeArgs = [{ kind: "primitiveType", name: "string" }];
+            const result = substituteTypeArgs(type, typeParamNames, typeArgs);
+            expect(result).to.deep.equal({
+                kind: "referenceType",
+                name: "Array",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            });
+        });
+        it("substitutes in array element type", () => {
+            const type = {
+                kind: "arrayType",
+                elementType: { kind: "typeParameterType", name: "T" },
+            };
+            const typeParamNames = ["T"];
+            const typeArgs = [{ kind: "primitiveType", name: "boolean" }];
+            const result = substituteTypeArgs(type, typeParamNames, typeArgs);
+            expect(result).to.deep.equal({
+                kind: "arrayType",
+                elementType: { kind: "primitiveType", name: "boolean" },
+            });
+        });
+        it("returns unchanged type when no matching type param", () => {
+            const type = { kind: "referenceType", name: "SomeType" };
+            const typeParamNames = ["T"];
+            const typeArgs = [{ kind: "primitiveType", name: "string" }];
+            const result = substituteTypeArgs(type, typeParamNames, typeArgs);
+            expect(result).to.deep.equal({ kind: "referenceType", name: "SomeType" });
+        });
+        it("preserves recursive structural graphs while substituting nested type parameters", () => {
+            const recursive = {
+                kind: "unionType",
+                types: [],
+            };
+            recursive.types.push({ kind: "typeParameterType", name: "T" }, {
+                kind: "arrayType",
+                elementType: recursive,
+            });
+            const substituted = substituteTypeArgs(recursive, ["T"], [{ kind: "primitiveType", name: "string" }]);
+            expect(substituted.kind).to.equal("unionType");
+            if (substituted.kind !== "unionType") {
+                return;
+            }
+            expect(substituted.types[0]).to.deep.equal({
+                kind: "primitiveType",
+                name: "string",
+            });
+            const recursiveArray = substituted.types[1];
+            expect(recursiveArray?.kind).to.equal("arrayType");
+            if (!recursiveArray || recursiveArray.kind !== "arrayType") {
+                return;
+            }
+            expect(recursiveArray.elementType).to.equal(substituted);
+        });
+    });
+});
+//# sourceMappingURL=substitute-type-args.test.js.map

package/dist/core/semantic/type-resolution-cases/substitute-type-args.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"substitute-type-args.test.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/substitute-type-args.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,kBAAkB,GAEnB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC9D,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC1D,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAC1D,CAAC;YACF,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACtD,CAAC;YACF,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAExE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;aACxD,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YACjE,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,SAAS,GAAG;gBAChB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,EAAE;aAGV,CAAC;YAEF,SAAS,CAAC,KAAK,CAAC,IAAI,CAClB,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,EACxC;gBACE,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,SAAS;aACvB,CACF,CAAC;YAEF,MAAM,WAAW,GAAG,kBAAkB,CACpC,SAAS,EACT,CAAC,GAAG,CAAC,EACL,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAC5C,CAAC;YAEF,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC/C,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACrC,OAAO;YACT,CAAC;YACD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACzC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;YACH,MAAM,cAAc,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACnD,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC3D,OAAO;YACT,CAAC;YACD,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-resolution-cases/union-member-index.test.d.ts

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

package/dist/core/semantic/type-resolution-cases/union-member-index.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-member-index.test.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/union-member-index.test.ts"],"names":[],"mappings":""}

package/dist/core/semantic/type-resolution-cases/union-member-index.test.js

@@ -0,0 +1,142 @@
+import { describe, it, expect, findUnionMemberIndex, } from "./helpers.js";
+describe("type-resolution", () => {
+    describe("findUnionMemberIndex", () => {
+        const defaultOptions = {
+            rootNamespace: "Test",
+            indent: 4,
+        };
+        const createContext = (localTypes) => ({
+            indentLevel: 0,
+            options: defaultOptions,
+            isStatic: false,
+            isAsync: false,
+            localTypes,
+            usings: new Set(),
+        });
+        it("matches recursive union aliases without stack overflow", () => {
+            const middlewareLikeRef = {
+                kind: "referenceType",
+                name: "MiddlewareLike",
+            };
+            const middlewareHandlerType = {
+                kind: "functionType",
+                parameters: [],
+                returnType: { kind: "voidType" },
+            };
+            const context = createContext(new Map([
+                [
+                    "MiddlewareLike",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: {
+                            kind: "unionType",
+                            types: [
+                                middlewareHandlerType,
+                                { kind: "referenceType", name: "Router" },
+                                {
+                                    kind: "arrayType",
+                                    elementType: middlewareLikeRef,
+                                },
+                            ],
+                        },
+                    },
+                ],
+            ]));
+            const result = findUnionMemberIndex({
+                kind: "unionType",
+                types: [middlewareLikeRef, { kind: "primitiveType", name: "string" }],
+            }, middlewareLikeRef, context);
+            expect(result).to.equal(1);
+        });
+        it("matches function union members when signatures include unknown slots", () => {
+            const requestType = {
+                kind: "referenceType",
+                name: "Request",
+            };
+            const responseType = {
+                kind: "referenceType",
+                name: "Response",
+            };
+            const nextType = {
+                kind: "functionType",
+                parameters: [],
+                returnType: { kind: "voidType" },
+            };
+            const requestHandlerType = {
+                kind: "functionType",
+                parameters: [
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: "request" },
+                        type: requestType,
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: "response" },
+                        type: responseType,
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: "next" },
+                        type: nextType,
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                ],
+                returnType: { kind: "unknownType" },
+            };
+            const errorHandlerType = {
+                kind: "functionType",
+                parameters: [
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: "error" },
+                        type: { kind: "unknownType" },
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: "request" },
+                        type: requestType,
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: "response" },
+                        type: responseType,
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                    {
+                        kind: "parameter",
+                        pattern: { kind: "identifierPattern", name: "next" },
+                        type: nextType,
+                        isOptional: false,
+                        isRest: false,
+                        passing: "value",
+                    },
+                ],
+                returnType: { kind: "unknownType" },
+            };
+            const result = findUnionMemberIndex({
+                kind: "unionType",
+                types: [requestHandlerType, errorHandlerType],
+            }, errorHandlerType, createContext(new Map()));
+            expect(result).to.equal(1);
+        });
+    });
+});
+//# sourceMappingURL=union-member-index.test.js.map

package/dist/core/semantic/type-resolution-cases/union-member-index.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-member-index.test.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/union-member-index.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,oBAAoB,GAKrB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,MAAM,cAAc,GAAmB;YACrC,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,CAAC;SACV,CAAC;QAEF,MAAM,aAAa,GAAG,CACpB,UAA8C,EAC9B,EAAE,CAAC,CAAC;YACpB,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,cAAc;YACvB,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,UAAU;YACV,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,iBAAiB,GAAW;gBAChC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,gBAAgB;aACvB,CAAC;YACF,MAAM,qBAAqB,GAAW;gBACpC,IAAI,EAAE,cAAc;gBACpB,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;aACjC,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,gBAAgB;oBAChB;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL,qBAAqB;gCACrB,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gCACzC;oCACE,IAAI,EAAE,WAAW;oCACjB,WAAW,EAAE,iBAAiB;iCAC/B;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,MAAM,GAAG,oBAAoB,CACjC;gBACE,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,iBAAiB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aACtE,EACD,iBAAiB,EACjB,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,WAAW,GAAW;gBAC1B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;aAChB,CAAC;YACF,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,UAAU;aACjB,CAAC;YACF,MAAM,QAAQ,GAAW;gBACvB,IAAI,EAAE,cAAc;gBACpB,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;aACjC,CAAC;YACF,MAAM,kBAAkB,GAAW;gBACjC,IAAI,EAAE,cAAc;gBACpB,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;wBACvD,IAAI,EAAE,WAAW;wBACjB,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAO;qBACjB;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU,EAAE;wBACxD,IAAI,EAAE,YAAY;wBAClB,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAO;qBACjB;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;wBACpD,IAAI,EAAE,QAAQ;wBACd,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAO;qBACjB;iBACF;gBACD,UAAU,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;aACpC,CAAC;YACF,MAAM,gBAAgB,GAAW;gBAC/B,IAAI,EAAE,cAAc;gBACpB,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;wBACrD,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;wBAC7B,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAO;qBACjB;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;wBACvD,IAAI,EAAE,WAAW;wBACjB,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAO;qBACjB;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU,EAAE;wBACxD,IAAI,EAAE,YAAY;wBAClB,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAO;qBACjB;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;wBACpD,IAAI,EAAE,QAAQ;wBACd,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE,OAAO;qBACjB;iBACF;gBACD,UAAU,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;aACpC,CAAC;YAEF,MAAM,MAAM,GAAG,oBAAoB,CACjC;gBACE,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;aAC9C,EACD,gBAAgB,EAChB,aAAa,CAAC,IAAI,GAAG,EAAE,CAAC,CACzB,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-resolution.d.ts

@@ -1,134 +1,21 @@
 /**
- * Type resolution helpers for generic null/default handling
- *
- * Provides:
- * - containsTypeParameter: Check if type contains any type parameter
- * - substituteTypeArgs: Substitute type arguments into a type
- * - getPropertyType: Look up property type from contextual type
- * - stripNullish: Remove null/undefined from union types
- * - isDefinitelyValueType: Check if type is a C# value type
- */
-import type { IrType, IrPropertySignature } from "@tsonic/frontend";
-import type { LocalTypeInfo, EmitterContext } from "../../types.js";
-/**
- * Check if a type contains any type parameter.
- *
- * Uses IR kind "typeParameterType" only.
- *
- * @param type - The IR type to check
- * @returns true if the type contains a type parameter
- */
-export declare const containsTypeParameter: (type: IrType) => boolean;
-/**
- * Substitute type arguments into a type.
- *
- * @param type - The type to substitute into
- * @param typeParamNames - List of type parameter names (in order)
- * @param typeArgs - List of type arguments (in order, parallel to typeParamNames)
- * @returns The type with type parameters substituted
- */
-export declare const substituteTypeArgs: (type: IrType, typeParamNames: readonly string[], typeArgs: readonly IrType[]) => IrType;
-/**
- * Look up property type from a contextual type.
- *
- * This handles:
- * - Local types (class/interface/typeAlias) via localTypes map
- * - Type alias chasing (follows alias.type until reaching a concrete type)
- * - Interface extends resolution (searches base interfaces)
- * - Generic type argument substitution
- *
- * @param contextualType - The contextual type (e.g., Result<T>)
- * @param propertyName - The property name to look up
- * @param context - Emitter context with localTypes
- * @returns The property type after substitution, or undefined if not found
- */
-export declare const getPropertyType: (contextualType: IrType | undefined, propertyName: string, context: EmitterContext) => IrType | undefined;
-/**
- * Internal helper for property type resolution with cycle detection
- */
-export declare const resolveLocalTypeInfo: (ref: Extract<IrType, {
-    kind: "referenceType";
-}>, context: EmitterContext) => {
-    readonly info: LocalTypeInfo;
-    readonly namespace: string;
-} | undefined;
-export declare const hasDeterministicPropertyMembership: (type: IrType, propertyName: string, context: EmitterContext) => boolean | undefined;
-/**
- * Get all property signatures for a type, including inherited interface members.
- *
- * Notes:
- * - Only supports referenceType → local interface lookup (synthetic union members are always interfaces).
- * - Derived members override base members by name.
- * - Cycle-safe via visitedTypes.
- */
-export declare const getAllPropertySignatures: (type: IrType, context: EmitterContext) => readonly IrPropertySignature[] | undefined;
-/**
- * Select the best union member type to instantiate for an object literal.
- *
- * Example:
- *   type Result<T,E> = Result__0<T,E> | Result__1<T,E>
- *   return { ok: true, value }  // keys: ["ok","value"]
- * → choose Result__0<T,E>
- *
- * Matching rules (conservative):
- * - Only considers union members that are referenceTypes to local interfaces or classes.
- * - Object literal keys must be a subset of the candidate's property names.
- * - All *required* (non-optional) candidate properties must be present in the literal.
- *
- * Scoring (pick "most specific" deterministically):
- * 1) Fewer extra properties (candidateProps - literalKeys)
- * 2) More required properties (prefer tighter required shape)
- * 3) Fewer total properties
- * 4) Lexicographic by type name (stable tie-break)
- */
-export declare const selectUnionMemberForObjectLiteral: (unionType: Extract<IrType, {
-    kind: "unionType";
-}>, literalKeys: readonly string[], context: EmitterContext) => Extract<IrType, {
-    kind: "referenceType";
-}> | undefined;
-/**
- * Strip null and undefined from a union type.
- *
- * Used when we need the non-nullable base type, e.g., for object instantiation
- * where `new T? { ... }` is invalid C# but `new T { ... }` is valid.
- *
- * @param type - The type to strip nullish from
- * @returns The non-nullish base type, or the original type if not a nullable union
- */
-export declare const stripNullish: (type: IrType) => IrType;
-/**
- * Check if a type is definitely a C# value type.
- *
- * Value types require `default` instead of `null` in object initializers
- * because `null` cannot be assigned to non-nullable value types.
- *
- * @param type - The type to check (should be non-nullish, use stripNullish first)
- * @returns true if the type is a known value type
- */
-export declare const isDefinitelyValueType: (type: IrType) => boolean;
-/**
- * Resolve a type alias to its underlying type.
- *
- * If the type is a reference type that points to a type alias,
- * returns the underlying type with type arguments substituted.
- *
- * @param type - The type to resolve
- * @param context - Emitter context with localTypes map
- * @returns The resolved underlying type, or the original type if not an alias
- */
-export declare const resolveTypeAlias: (type: IrType, context: EmitterContext) => IrType;
-/**
- * Find the index of a union member that matches a predicate target type.
- *
- * Used for union narrowing: given `isUser(account)` where account is `Union<User, Admin>`,
- * find which member index (0 or 1) corresponds to User.
- *
- * @param unionType - The union type to search
- * @param target - The predicate target type to find
- * @param context - Emitter context
- * @returns The 0-based index of the matching member, or undefined if not found
- */
-export declare const findUnionMemberIndex: (unionType: Extract<IrType, {
-    kind: "unionType";
-}>, target: IrType, context: EmitterContext) => number | undefined;
+ * Type resolution — facade re-exports.
+ *
+ * This file preserves the public import surface for the 50+ consumers that
+ * import from "./type-resolution.js". The actual implementations live in
+ * focused sub-modules:
+ *
+ * - nullish-value-helpers.ts — nullish stripping, value-type classification,
+ *   array-like element extraction, and type-alias resolution
+ * - property-member-lookup.ts — property/member lookup through type hierarchies,
+ *   binding registries, and type-member indices
+ * - structural-resolution.ts — type-parameter substitution, structural shape
+ *   matching, and structural-to-nominal type resolution
+ * - union-member-matching.ts — union member matching by typeof tags, predicate
+ *   targets, and object-literal keys
+ */
+export { stripNullish, isRuntimeNullishType, isRuntimeNullishMember, splitRuntimeNullishUnionMembers, isDefinitelyValueType, getArrayLikeElementType, resolveArrayLikeReceiverType, resolveTypeAlias, } from "./nullish-value-helpers.js";
+export { getPropertyType, resolveLocalTypeInfo, hasDeterministicPropertyMembership, getAllPropertySignatures, isTypeOnlyStructuralTarget, } from "./property-member-lookup.js";
+export { containsTypeParameter, substituteTypeArgs, isCompilerGeneratedStructuralReferenceType, resolveStructuralReferenceType, normalizeStructuralEmissionType, } from "./structural-resolution.js";
+export { matchesTypeofTag, narrowTypeByNotTypeofTag, narrowTypeByTypeofTag, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, findUnionMemberIndex, unionMemberMatchesTarget, } from "./union-member-matching.js";
 //# sourceMappingURL=type-resolution.d.ts.map

package/dist/core/semantic/type-resolution.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-resolution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,MAAM,EAGN,mBAAmB,EAEpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEpE;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,GAAI,MAAM,MAAM,KAAG,OAoEpD,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,MAAM,EACZ,gBAAgB,SAAS,MAAM,EAAE,EACjC,UAAU,SAAS,MAAM,EAAE,KAC1B,MAYF,CAAC;AA0GF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,eAAe,GAC1B,gBAAgB,MAAM,GAAG,SAAS,EAClC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,MAAM,GAAG,SAMX,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,KAAK,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,SAYjE,CAAC;AAmWF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,MAAM,EACZ,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,OAAO,GAAG,SAiDZ,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,SAAS,mBAAmB,EAAE,GAAG,SAgBnC,CAAC;AA+CF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,iCAAiC,GAC5C,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,aAAa,SAAS,MAAM,EAAE,EAC9B,SAAS,cAAc,KACtB,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,GAAG,SA8F/C,CAAC;AAiBF;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,GAAI,MAAM,MAAM,KAAG,MAkB3C,CAAC;AAoBF;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,GAAI,MAAM,MAAM,KAAG,OAsBpD,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA0DF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,GAC/B,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,QAAQ,MAAM,EACd,SAAS,cAAc,KACtB,MAAM,GAAG,SAcX,CAAC"}
+{"version":3,"file":"type-resolution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACL,YAAY,EACZ,oBAAoB,EACpB,sBAAsB,EACtB,+BAA+B,EAC/B,qBAAqB,EACrB,uBAAuB,EACvB,4BAA4B,EAC5B,gBAAgB,GACjB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,kCAAkC,EAClC,wBAAwB,EACxB,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,0CAA0C,EAC1C,8BAA8B,EAC9B,+BAA+B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,qBAAqB,EACrB,8BAA8B,EAC9B,iCAAiC,EACjC,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,4BAA4B,CAAC"}