@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/builder-cases/overload-null-guard-selection.test.js

@@ -0,0 +1,210 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { buildIrModule } from "../builder.js";
+import { createFilesystemTestProgram } from "./_test-helpers.js";
+const findFirstCall = (expression) => {
+    if (!expression) {
+        return undefined;
+    }
+    switch (expression.kind) {
+        case "call":
+            return expression;
+        case "memberAccess":
+            return findFirstCall(expression.object);
+        case "binary":
+            return findFirstCall(expression.left) ?? findFirstCall(expression.right);
+        case "logical":
+            return findFirstCall(expression.left) ?? findFirstCall(expression.right);
+        case "conditional":
+            return (findFirstCall(expression.condition) ??
+                findFirstCall(expression.whenTrue) ??
+                findFirstCall(expression.whenFalse));
+        default:
+            return undefined;
+    }
+};
+describe("IR Builder", function () {
+    this.timeout(90000);
+    it("does not treat string as assignable to number during overload scoring", () => {
+        const { ctx, cleanup } = createFilesystemTestProgram({
+            "src/index.ts": "export const value = 1;",
+        }, "src/index.ts");
+        try {
+            expect(ctx.typeSystem.isAssignableTo({ kind: "primitiveType", name: "string" }, { kind: "primitiveType", name: "number" })).to.equal(false);
+        }
+        finally {
+            cleanup();
+        }
+    });
+    it("selects the string overload after null-guarded iteration over unioned key arrays", () => {
+        const files = {
+            "src/index.ts": `
+        import { overloads as O } from "@tsonic/core/lang.js";
+
+        class Headers {
+          readonly AllKeys: (string | null)[] | string[] = [];
+
+          Get(index: number): string | null;
+          Get(name: string | null): string | null;
+          Get(_value: any): string | null {
+            return null;
+          }
+
+          Get_number(index: number): string | null {
+            return String(index);
+          }
+
+          Get_string(name: string | null): string | null {
+            return name;
+          }
+        }
+
+        O<Headers>().method(x => x.Get_number).family(x => x.Get);
+        O<Headers>().method(x => x.Get_string).family(x => x.Get);
+
+        class Request {
+          public Headers: Headers = new Headers();
+        }
+
+        export function run(request: Request): string | null {
+          for (const headerName of request.Headers.AllKeys) {
+            if (headerName === undefined || headerName === null) {
+              continue;
+            }
+
+            const headerValue = request.Headers.Get(headerName);
+            if (headerValue !== undefined && headerValue !== null) {
+              return headerValue;
+            }
+          }
+
+          return null;
+        }
+      `,
+        };
+        const { sourceFile, testProgram, ctx, options, cleanup } = createFilesystemTestProgram(files, "src/index.ts");
+        try {
+            const result = buildIrModule(sourceFile, testProgram, options, ctx);
+            expect(result.ok).to.equal(true);
+            if (!result.ok)
+                return;
+            const runFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "run");
+            expect(runFn).to.not.equal(undefined);
+            if (!runFn)
+                return;
+            const forStmt = runFn.body.statements.find((stmt) => stmt.kind === "forOfStatement");
+            expect(forStmt).to.not.equal(undefined);
+            if (!forStmt)
+                return;
+            expect(forStmt.body.kind).to.equal("blockStatement");
+            if (forStmt.body.kind !== "blockStatement")
+                return;
+            const headerValueDecl = forStmt.body.statements.find((stmt) => stmt.kind === "variableDeclaration");
+            expect(headerValueDecl).to.not.equal(undefined);
+            if (!headerValueDecl)
+                return;
+            const call = findFirstCall(headerValueDecl.declarations[0]?.initializer);
+            expect(call).to.not.equal(undefined);
+            if (!call)
+                return;
+            expect(call.arguments[0]?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "string",
+            });
+            expect(call.parameterTypes?.[0]).to.deep.equal({
+                kind: "primitiveType",
+                name: "string",
+            });
+            expect(call.surfaceParameterTypes?.[0]).to.deep.equal({
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "null" },
+                    { kind: "primitiveType", name: "string" },
+                ],
+            });
+        }
+        finally {
+            cleanup();
+        }
+    });
+    it("keeps broad unknown overload metadata when a sibling source overload still has unresolved Nullable<T>", () => {
+        const files = {
+            "package.json": JSON.stringify({
+                name: "test-app",
+                type: "module",
+            }),
+            "src/index.ts": [
+                'import { Assert } from "xunit-types/Xunit.js";',
+                "",
+                "declare class Holder {",
+                "  value?: string;",
+                "}",
+                "",
+                "export function run(holder: Holder): void {",
+                "  Assert.NotNull(holder.value);",
+                "}",
+            ].join("\n"),
+            "node_modules/xunit-types/package.json": JSON.stringify({
+                name: "xunit-types",
+                type: "module",
+            }),
+            "node_modules/xunit-types/Xunit.js": 'export { Assert as Assert } from "./Xunit/internal/index.js";',
+            "node_modules/xunit-types/Xunit.d.ts": 'export { Assert as Assert } from "./Xunit/internal/index.js";',
+            "node_modules/xunit-types/Xunit/internal/index.js": "export const Assert = undefined;",
+            "node_modules/xunit-types/Xunit/internal/index.d.ts": [
+                'import type { Nullable_1 } from "@tsonic/dotnet/System/internal/index.js";',
+                "",
+                "export interface Assert$instance {}",
+                "",
+                "export declare const Assert: (abstract new() => Assert$instance) & {",
+                "  NotNull<T extends unknown>(value: Nullable_1<T>): T;",
+                "  NotNull(object: unknown): void;",
+                "};",
+            ].join("\n"),
+            "node_modules/@tsonic/dotnet/package.json": JSON.stringify({
+                name: "@tsonic/dotnet",
+                type: "module",
+            }),
+            "node_modules/@tsonic/dotnet/System/internal/index.js": "export {};",
+            "node_modules/@tsonic/dotnet/System/internal/index.d.ts": [
+                "export interface Nullable_1$instance<T> {",
+                "  readonly __tsonic_type_System_Nullable_1: never;",
+                "  readonly HasValue: boolean;",
+                "  readonly Value: T;",
+                "}",
+                "export type Nullable_1<T> = Nullable_1$instance<T>;",
+            ].join("\n"),
+        };
+        const { sourceFile, testProgram, ctx, options, cleanup } = createFilesystemTestProgram(files, "src/index.ts");
+        try {
+            const result = buildIrModule(sourceFile, testProgram, options, ctx);
+            expect(result.ok).to.equal(true);
+            if (!result.ok)
+                return;
+            const runFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "run");
+            expect(runFn).to.not.equal(undefined);
+            if (!runFn)
+                return;
+            const callStmt = runFn.body.statements[0];
+            expect(callStmt?.kind).to.equal("expressionStatement");
+            if (!callStmt || callStmt.kind !== "expressionStatement")
+                return;
+            expect(callStmt.expression.kind).to.equal("call");
+            if (callStmt.expression.kind !== "call")
+                return;
+            expect(callStmt.expression.parameterTypes).to.deep.equal([
+                { kind: "unknownType", explicit: true },
+            ]);
+            expect(callStmt.expression.surfaceParameterTypes).to.deep.equal([
+                { kind: "unknownType", explicit: true },
+            ]);
+            expect(callStmt.expression.inferredType).to.deep.equal({
+                kind: "voidType",
+            });
+        }
+        finally {
+            cleanup();
+        }
+    });
+});
+//# sourceMappingURL=overload-null-guard-selection.test.js.map

package/dist/ir/builder-cases/overload-null-guard-selection.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"overload-null-guard-selection.test.js","sourceRoot":"","sources":["../../../src/ir/builder-cases/overload-null-guard-selection.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE,MAAM,aAAa,GAAG,CACpB,UAAoC,EACiB,EAAE;IACvD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM;YACT,OAAO,UAAU,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC1C,KAAK,QAAQ;YACX,OAAO,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3E,KAAK,SAAS;YACZ,OAAO,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3E,KAAK,aAAa;YAChB,OAAO,CACL,aAAa,CAAC,UAAU,CAAC,SAAS,CAAC;gBACnC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAClC,aAAa,CAAC,UAAU,CAAC,SAAS,CAAC,CACpC,CAAC;QACJ;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,QAAQ,CAAC,YAAY,EAAE;IACrB,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IAErB,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,2BAA2B,CAClD;YACE,cAAc,EAAE,yBAAyB;SAC1C,EACD,cAAc,CACf,CAAC;QAEF,IAAI,CAAC;YACH,MAAM,CACJ,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAC1C,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;gBAAS,CAAC;YACT,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,KAAK,GAAG;YACZ,cAAc,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA0Cf;SACF,CAAC;QAEF,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GACtD,2BAA2B,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAErD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YACpE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,OAAO;YAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAClC,CACE,IAAI,EAIJ,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAChE,CAAC;YACF,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK;gBAAE,OAAO;YAEnB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CACxC,CACE,IAAI,EAIJ,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,CACpC,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxC,IAAI,CAAC,OAAO;gBAAE,OAAO;YACrB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACrD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;gBAAE,OAAO;YAEnD,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAClD,CACE,IAAI,EAIJ,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,CACzC,CAAC;YACF,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,eAAe;gBAAE,OAAO;YAE7B,MAAM,IAAI,GAAG,aAAa,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YACzE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,OAAO;YAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACpD,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;YAEH,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;YAEH,MAAM,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACpD,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;oBACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC1C;aACF,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uGAAuG,EAAE,GAAG,EAAE;QAC/G,MAAM,KAAK,GAAG;YACZ,cAAc,EAAE,IAAI,CAAC,SAAS,CAAC;gBAC7B,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,QAAQ;aACf,CAAC;YACF,cAAc,EAAE;gBACd,gDAAgD;gBAChD,EAAE;gBACF,wBAAwB;gBACxB,mBAAmB;gBACnB,GAAG;gBACH,EAAE;gBACF,6CAA6C;gBAC7C,iCAAiC;gBACjC,GAAG;aACJ,CAAC,IAAI,CAAC,IAAI,CAAC;YACZ,uCAAuC,EAAE,IAAI,CAAC,SAAS,CAAC;gBACtD,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,QAAQ;aACf,CAAC;YACF,mCAAmC,EACjC,+DAA+D;YACjE,qCAAqC,EACnC,+DAA+D;YACjE,kDAAkD,EAChD,kCAAkC;YACpC,oDAAoD,EAAE;gBACpD,4EAA4E;gBAC5E,EAAE;gBACF,qCAAqC;gBACrC,EAAE;gBACF,sEAAsE;gBACtE,wDAAwD;gBACxD,mCAAmC;gBACnC,IAAI;aACL,CAAC,IAAI,CAAC,IAAI,CAAC;YACZ,0CAA0C,EAAE,IAAI,CAAC,SAAS,CAAC;gBACzD,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,QAAQ;aACf,CAAC;YACF,sDAAsD,EAAE,YAAY;YACpE,wDAAwD,EAAE;gBACxD,2CAA2C;gBAC3C,oDAAoD;gBACpD,+BAA+B;gBAC/B,sBAAsB;gBACtB,GAAG;gBACH,qDAAqD;aACtD,CAAC,IAAI,CAAC,IAAI,CAAC;SACb,CAAC;QAEF,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GACtD,2BAA2B,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAErD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YACpE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,OAAO;YAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAClC,CACE,IAAI,EAIJ,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAChE,CAAC;YACF,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK;gBAAE,OAAO;YAEnB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACvD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,qBAAqB;gBAAE,OAAO;YACjE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO;YAEhD,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACvD,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;aACxC,CAAC,CAAC;YACH,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC9D,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;aACxC,CAAC,CAAC;YACH,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACrD,IAAI,EAAE,UAAU;aACjB,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/builder-cases/overload-stub-typing.test.d.ts

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

package/dist/ir/builder-cases/overload-stub-typing.test.d.ts.map

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

package/dist/ir/builder-cases/overload-stub-typing.test.js

@@ -0,0 +1,111 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { buildIrModule } from "../builder.js";
+import { createFilesystemTestProgram } from "./_test-helpers.js";
+const buildFunctionFromSource = (source, functionName) => {
+    const fixture = createFilesystemTestProgram({
+        "src/index.ts": source,
+    }, "src/index.ts");
+    try {
+        const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+        expect(result.ok).to.equal(true);
+        if (!result.ok) {
+            return { fixture, fn: undefined };
+        }
+        const fn = result.value.body.find((statement) => statement.kind === "functionDeclaration" &&
+            statement.name === functionName);
+        return { fixture, fn };
+    }
+    catch (error) {
+        fixture.cleanup();
+        throw error;
+    }
+};
+describe("IR Builder", function () {
+    this.timeout(90000);
+    describe("Overload stub typing", () => {
+        it("keeps instance overload stub implementations out of member call typing", () => {
+            const { fixture, fn } = buildFunctionFromSource([
+                "class Parser {",
+                "  Parse(text: string): string;",
+                "  Parse(value: number): string;",
+                "  Parse(_value: any): any {",
+                '    throw new Error("stub");',
+                "  }",
+                "}",
+                "",
+                "export function run(): string {",
+                '  const parsed = new Parser().Parse("hello");',
+                "  return parsed;",
+                "}",
+            ].join("\n"), "run");
+            try {
+                expect(fn).to.not.equal(undefined);
+                if (!fn)
+                    return;
+                const decl = fn.body.statements[0];
+                expect(decl?.kind).to.equal("variableDeclaration");
+                if (!decl || decl.kind !== "variableDeclaration")
+                    return;
+                const parsedDecl = decl.declarations[0];
+                expect(parsedDecl?.initializer?.kind).to.equal("call");
+                if (!parsedDecl?.initializer || parsedDecl.initializer.kind !== "call")
+                    return;
+                const call = parsedDecl.initializer;
+                expect(call.inferredType).to.deep.equal({
+                    kind: "primitiveType",
+                    name: "string",
+                });
+                expect(call.callee.kind).to.equal("memberAccess");
+                if (call.callee.kind !== "memberAccess")
+                    return;
+                expect(call.callee.inferredType?.kind).to.not.equal("anyType");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("keeps static overload stub implementations out of member call typing", () => {
+            const { fixture, fn } = buildFunctionFromSource([
+                "class Parser {",
+                "  static Parse(text: string): string;",
+                "  static Parse(value: number): string;",
+                "  static Parse(_value: any): any {",
+                '    throw new Error("stub");',
+                "  }",
+                "}",
+                "",
+                "export function run(): string {",
+                '  const parsed = Parser.Parse("hello");',
+                "  return parsed;",
+                "}",
+            ].join("\n"), "run");
+            try {
+                expect(fn).to.not.equal(undefined);
+                if (!fn)
+                    return;
+                const decl = fn.body.statements[0];
+                expect(decl?.kind).to.equal("variableDeclaration");
+                if (!decl || decl.kind !== "variableDeclaration")
+                    return;
+                const parsedDecl = decl.declarations[0];
+                expect(parsedDecl?.initializer?.kind).to.equal("call");
+                if (!parsedDecl?.initializer || parsedDecl.initializer.kind !== "call")
+                    return;
+                const call = parsedDecl.initializer;
+                expect(call.inferredType).to.deep.equal({
+                    kind: "primitiveType",
+                    name: "string",
+                });
+                expect(call.callee.kind).to.equal("memberAccess");
+                if (call.callee.kind !== "memberAccess")
+                    return;
+                expect(call.callee.inferredType?.kind).to.not.equal("anyType");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+    });
+});
+//# sourceMappingURL=overload-stub-typing.test.js.map

package/dist/ir/builder-cases/overload-stub-typing.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"overload-stub-typing.test.js","sourceRoot":"","sources":["../../../src/ir/builder-cases/overload-stub-typing.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE,MAAM,uBAAuB,GAAG,CAAC,MAAc,EAAE,YAAoB,EAAE,EAAE;IACvE,MAAM,OAAO,GAAG,2BAA2B,CACzC;QACE,cAAc,EAAE,MAAM;KACvB,EACD,cAAc,CACf,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC;QACpC,CAAC;QAED,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAC/B,CAAC,SAAS,EAAsC,EAAE,CAChD,SAAS,CAAC,IAAI,KAAK,qBAAqB;YACxC,SAAS,CAAC,IAAI,KAAK,YAAY,CAClC,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACzB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,OAAO,EAAE,CAAC;QAClB,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,QAAQ,CAAC,YAAY,EAAE;IACrB,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IAErB,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;YAChF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,uBAAuB,CAC7C;gBACE,gBAAgB;gBAChB,gCAAgC;gBAChC,iCAAiC;gBACjC,6BAA6B;gBAC7B,8BAA8B;gBAC9B,KAAK;gBACL,GAAG;gBACH,EAAE;gBACF,iCAAiC;gBACjC,+CAA+C;gBAC/C,kBAAkB;gBAClB,GAAG;aACJ,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,KAAK,CACN,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACnC,IAAI,CAAC,EAAE;oBAAE,OAAO;gBAEhB,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;gBACnD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBAAE,OAAO;gBAEzD,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBACxC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBACvD,IAAI,CAAC,UAAU,EAAE,WAAW,IAAI,UAAU,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM;oBACpE,OAAO;gBAET,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;oBACtC,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;iBACf,CAAC,CAAC;gBACH,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBAClD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO;gBAChD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACjE,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,uBAAuB,CAC7C;gBACE,gBAAgB;gBAChB,uCAAuC;gBACvC,wCAAwC;gBACxC,oCAAoC;gBACpC,8BAA8B;gBAC9B,KAAK;gBACL,GAAG;gBACH,EAAE;gBACF,iCAAiC;gBACjC,yCAAyC;gBACzC,kBAAkB;gBAClB,GAAG;aACJ,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,KAAK,CACN,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACnC,IAAI,CAAC,EAAE;oBAAE,OAAO;gBAEhB,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;gBACnD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBAAE,OAAO;gBAEzD,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBACxC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBACvD,IAAI,CAAC,UAAU,EAAE,WAAW,IAAI,UAAU,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM;oBACpE,OAAO;gBAET,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;oBACtC,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;iBACf,CAAC,CAAC;gBACH,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBAClD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO;gBAChD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACjE,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/builder-cases/private-members-and-instanceof.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * IR Builder tests: ECMAScript private members, well-known symbols, and instanceof narrowing
+ */
+export {};
+//# sourceMappingURL=private-members-and-instanceof.test.d.ts.map

package/dist/ir/builder-cases/private-members-and-instanceof.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"private-members-and-instanceof.test.d.ts","sourceRoot":"","sources":["../../../src/ir/builder-cases/private-members-and-instanceof.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/ir/builder-cases/private-members-and-instanceof.test.js

@@ -0,0 +1,239 @@
+/**
+ * IR Builder tests: ECMAScript private members, well-known symbols, and instanceof narrowing
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { buildIrModule } from "../builder.js";
+import { createFilesystemTestProgram } from "./_test-helpers.js";
+describe("IR Builder", function () {
+    this.timeout(90000);
+    describe("Native library port regressions – private members and instanceof", () => {
+        it("preserves ECMAScript private class members and private access paths", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "export class Counter {",
+                    '  readonly #label: string = "ctr";',
+                    "  #count: number = 0;",
+                    "",
+                    "  get #prefix(): string {",
+                    "    return this.#label;",
+                    "  }",
+                    "",
+                    "  #increment(): string {",
+                    "    this.#count += 1;",
+                    "    return String(this.#count);",
+                    "  }",
+                    "",
+                    "  append(value: string): string;",
+                    "  append(value: string[]): string;",
+                    "  append(value: string | string[]): string {",
+                    "    if (Array.isArray(value)) {",
+                    "      for (let index = 0; index < value.length; index += 1) {",
+                    "        const item = value[index]!;",
+                    "        this.append(item);",
+                    "      }",
+                    "      return this.#prefix;",
+                    "    }",
+                    "    return `${this.#prefix}:${value}:${this.#increment()}`;",
+                    "  }",
+                    "",
+                    "  read(): string {",
+                    '    return this.append("value");',
+                    "  }",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const counterClass = result.value.body.find((stmt) => stmt.kind === "classDeclaration" && stmt.name === "Counter");
+                expect(counterClass).to.not.equal(undefined);
+                if (!counterClass)
+                    return;
+                const memberNames = counterClass.members
+                    .filter((member) => "name" in member)
+                    .map((member) => member.name);
+                expect(memberNames).to.include.members([
+                    "#label",
+                    "#count",
+                    "#prefix",
+                    "#increment",
+                    "append",
+                    "read",
+                ]);
+                const labelField = counterClass.members.find((member) => member.kind === "propertyDeclaration" && member.name === "#label");
+                expect(labelField?.kind).to.equal("propertyDeclaration");
+                if (labelField?.kind !== "propertyDeclaration")
+                    return;
+                expect(labelField.emitAsField).to.equal(true);
+                expect(labelField.accessibility).to.equal("private");
+                const incrementMethod = counterClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "#increment");
+                expect(incrementMethod).to.not.equal(undefined);
+                expect(incrementMethod?.accessibility).to.equal("private");
+                const readMethod = counterClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "read");
+                expect(readMethod).to.not.equal(undefined);
+                if (!readMethod?.body)
+                    return;
+                const readReturn = readMethod.body.statements.at(-1);
+                expect(readReturn?.kind).to.equal("returnStatement");
+                if (!readReturn ||
+                    readReturn.kind !== "returnStatement" ||
+                    !readReturn.expression) {
+                    return;
+                }
+                expect(readReturn.expression.inferredType).to.deep.equal({
+                    kind: "primitiveType",
+                    name: "string",
+                });
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("preserves deterministic well-known symbol class members and accesses", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "export class Params {",
+                    "  get [Symbol.toStringTag](): string {",
+                    '    return "Params";',
+                    "  }",
+                    "}",
+                    "",
+                    "export function readTag(params: Params): string {",
+                    "  return params[Symbol.toStringTag];",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const paramsClass = result.value.body.find((stmt) => stmt.kind === "classDeclaration" && stmt.name === "Params");
+                expect(paramsClass).to.not.equal(undefined);
+                if (!paramsClass)
+                    return;
+                const symbolMember = paramsClass.members.find((member) => member.kind === "propertyDeclaration" &&
+                    member.name === "[symbol:toStringTag]");
+                expect(symbolMember).to.not.equal(undefined);
+                const readTag = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "readTag");
+                expect(readTag).to.not.equal(undefined);
+                if (!readTag?.body)
+                    return;
+                const returnStmt = readTag.body.statements.at(-1);
+                expect(returnStmt?.kind).to.equal("returnStatement");
+                if (!returnStmt ||
+                    returnStmt.kind !== "returnStatement" ||
+                    !returnStmt.expression ||
+                    returnStmt.expression.kind !== "memberAccess") {
+                    return;
+                }
+                expect(returnStmt.expression.isComputed).to.equal(false);
+                expect(returnStmt.expression.property).to.equal("[symbol:toStringTag]");
+                expect(returnStmt.expression.inferredType).to.deep.equal({
+                    kind: "primitiveType",
+                    name: "string",
+                });
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("preserves deterministic well-known symbol element access on structural receivers", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "export function getIterator(source: Iterable<string> | ArrayLike<string>): unknown {",
+                    "  const iterator = (source as { readonly [Symbol.iterator]?: unknown })[Symbol.iterator];",
+                    "  return iterator;",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const getIterator = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "getIterator");
+                expect(getIterator).to.not.equal(undefined);
+                if (!getIterator?.body)
+                    return;
+                const iteratorDecl = getIterator.body.statements.find((stmt) => stmt.kind === "variableDeclaration");
+                expect(iteratorDecl).to.not.equal(undefined);
+                const initializer = iteratorDecl?.declarations[0]?.initializer;
+                expect(initializer?.kind).to.equal("memberAccess");
+                if (!initializer || initializer.kind !== "memberAccess")
+                    return;
+                expect(initializer.isComputed).to.equal(false);
+                expect(initializer.property).to.equal("[symbol:iterator]");
+                expect(initializer.inferredType).to.deep.equal({
+                    kind: "unionType",
+                    types: [
+                        { kind: "unknownType", explicit: true },
+                        { kind: "primitiveType", name: "undefined" },
+                    ],
+                });
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("preserves instanceof fallthrough narrowing for class properties after early-return constructor branches", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "declare function takesString(value: string): void;",
+                    "interface Chunk {",
+                    "  readonly length: number;",
+                    "}",
+                    "interface ChunkConstructor {",
+                    "  readonly prototype: Chunk;",
+                    "  new(length?: number): Chunk;",
+                    "}",
+                    "declare const Chunk: ChunkConstructor;",
+                    "",
+                    "export class Response {",
+                    '  body: string | Chunk = "";',
+                    "  send(): string {",
+                    "    if (this.body instanceof Chunk) {",
+                    "      return String(this.body.length);",
+                    "    }",
+                    "    takesString(this.body);",
+                    "    return this.body;",
+                    "  }",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const responseClass = result.value.body.find((stmt) => stmt.kind === "classDeclaration" && stmt.name === "Response");
+                expect(responseClass).to.not.equal(undefined);
+                if (!responseClass)
+                    return;
+                const sendMethod = responseClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "send");
+                expect(sendMethod).to.not.equal(undefined);
+                if (!sendMethod?.body)
+                    return;
+                const callStmt = sendMethod.body.statements.find((stmt) => stmt.kind === "expressionStatement");
+                expect(callStmt?.kind).to.equal("expressionStatement");
+                if (!callStmt ||
+                    callStmt.kind !== "expressionStatement" ||
+                    callStmt.expression.kind !== "call") {
+                    return;
+                }
+                const narrowedArg = callStmt.expression.arguments[0];
+                expect(narrowedArg?.inferredType).to.deep.equal({
+                    kind: "primitiveType",
+                    name: "string",
+                });
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+    });
+});
+//# sourceMappingURL=private-members-and-instanceof.test.js.map

package/dist/ir/builder-cases/private-members-and-instanceof.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"private-members-and-instanceof.test.js","sourceRoot":"","sources":["../../../src/ir/builder-cases/private-members-and-instanceof.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAQ9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE,QAAQ,CAAC,YAAY,EAAE;IACrB,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IAErB,QAAQ,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAChF,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,wBAAwB;oBACxB,oCAAoC;oBACpC,uBAAuB;oBACvB,EAAE;oBACF,2BAA2B;oBAC3B,yBAAyB;oBACzB,KAAK;oBACL,EAAE;oBACF,0BAA0B;oBAC1B,uBAAuB;oBACvB,iCAAiC;oBACjC,KAAK;oBACL,EAAE;oBACF,kCAAkC;oBAClC,oCAAoC;oBACpC,8CAA8C;oBAC9C,iCAAiC;oBACjC,+DAA+D;oBAC/D,qCAAqC;oBACrC,4BAA4B;oBAC5B,SAAS;oBACT,4BAA4B;oBAC5B,OAAO;oBACP,6DAA6D;oBAC7D,KAAK;oBACL,EAAE;oBACF,oBAAoB;oBACpB,kCAAkC;oBAClC,KAAK;oBACL,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACzC,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAC9D,CAAC;gBACF,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC7C,IAAI,CAAC,YAAY;oBAAE,OAAO;gBAE1B,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO;qBACrC,MAAM,CACL,CAAC,MAAM,EAAsD,EAAE,CAC7D,MAAM,IAAI,MAAM,CACnB;qBACA,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;oBACrC,QAAQ;oBACR,QAAQ;oBACR,SAAS;oBACT,YAAY;oBACZ,QAAQ;oBACR,MAAM;iBACP,CAAC,CAAC;gBAEH,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAC1C,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CACpE,CAAC;gBACF,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;gBACzD,IAAI,UAAU,EAAE,IAAI,KAAK,qBAAqB;oBAAE,OAAO;gBACvD,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC9C,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAErD,MAAM,eAAe,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAC/C,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACtE,CAAC;gBACF,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAE3D,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAC1C,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAChE,CAAC;gBACF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC3C,IAAI,CAAC,UAAU,EAAE,IAAI;oBAAE,OAAO;gBAE9B,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACrD,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACrD,IACE,CAAC,UAAU;oBACX,UAAU,CAAC,IAAI,KAAK,iBAAiB;oBACrC,CAAC,UAAU,CAAC,UAAU,EACtB,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;oBACvD,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;iBACf,CAAC,CAAC;YACL,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,uBAAuB;oBACvB,wCAAwC;oBACxC,sBAAsB;oBACtB,KAAK;oBACL,GAAG;oBACH,EAAE;oBACF,mDAAmD;oBACnD,sCAAsC;oBACtC,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACxC,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC7D,CAAC;gBACF,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC5C,IAAI,CAAC,WAAW;oBAAE,OAAO;gBAEzB,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAC3C,CAAC,MAAM,EAAmC,EAAE,CAC1C,MAAM,CAAC,IAAI,KAAK,qBAAqB;oBACrC,MAAM,CAAC,IAAI,KAAK,sBAAsB,CACzC,CAAC;gBACF,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAE7C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACpC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CACjE,CAAC;gBACF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACxC,IAAI,CAAC,OAAO,EAAE,IAAI;oBAAE,OAAO;gBAE3B,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClD,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACrD,IACE,CAAC,UAAU;oBACX,UAAU,CAAC,IAAI,KAAK,iBAAiB;oBACrC,CAAC,UAAU,CAAC,UAAU;oBACtB,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,cAAc,EAC7C,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACzD,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;gBACxE,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;oBACvD,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;iBACf,CAAC,CAAC;YACL,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;YAC1F,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,sFAAsF;oBACtF,2FAA2F;oBAC3F,oBAAoB;oBACpB,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACxC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,CACrE,CAAC;gBACF,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC5C,IAAI,CAAC,WAAW,EAAE,IAAI;oBAAE,OAAO;gBAE/B,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CACnD,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,CACtC,CAAC;gBACF,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC7C,MAAM,WAAW,GAAG,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC/D,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBACnD,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO;gBAEhE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC/C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;gBAC3D,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;oBAC7C,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE;wBACL,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;wBACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;qBAC7C;iBACF,CAAC,CAAC;YACL,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yGAAyG,EAAE,GAAG,EAAE;YACjH,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,oDAAoD;oBACpD,mBAAmB;oBACnB,4BAA4B;oBAC5B,GAAG;oBACH,8BAA8B;oBAC9B,8BAA8B;oBAC9B,gCAAgC;oBAChC,GAAG;oBACH,wCAAwC;oBACxC,EAAE;oBACF,yBAAyB;oBACzB,8BAA8B;oBAC9B,oBAAoB;oBACpB,uCAAuC;oBACvC,wCAAwC;oBACxC,OAAO;oBACP,6BAA6B;oBAC7B,uBAAuB;oBACvB,KAAK;oBACL,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAC1C,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAC/D,CAAC;gBACF,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC9C,IAAI,CAAC,aAAa;oBAAE,OAAO;gBAE3B,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,CAC3C,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAChE,CAAC;gBACF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC3C,IAAI,CAAC,UAAU,EAAE,IAAI;oBAAE,OAAO;gBAE9B,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC9C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAC9C,CAAC;gBACF,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;gBACvD,IACE,CAAC,QAAQ;oBACT,QAAQ,CAAC,IAAI,KAAK,qBAAqB;oBACvC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACnC,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,MAAM,WAAW,GAAG,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACrD,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;oBAC9C,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,QAAQ;iBACf,CAAC,CAAC;YACL,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/builder-cases/promise-callback-typing.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * IR Builder tests: Promise callback typing
+ */
+export {};
+//# sourceMappingURL=promise-callback-typing.test.d.ts.map

package/dist/ir/builder-cases/promise-callback-typing.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"promise-callback-typing.test.d.ts","sourceRoot":"","sources":["../../../src/ir/builder-cases/promise-callback-typing.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}