@tsonic/frontend 0.0.74 → 0.0.75

package/dist/validator-maximus-cases/generic-function-values.test.js

@@ -0,0 +1,346 @@
+import { describe, it, expect, hasCode } from "./helpers.js";
+describe("Maximus Validation Coverage", () => {
+    describe("generic function values (TSN7432 narrowing)", () => {
+        const allowCases = [
+            {
+                name: "module-level const generic arrow with direct call",
+                source: `
+          const id = <T>(x: T): T => x;
+          const n = id<number>(1);
+          void n;
+        `,
+            },
+            {
+                name: "module-level const generic function expression with direct call",
+                source: `
+          const id = function <T>(x: T): T { return x; };
+          const s = id<string>("x");
+          void s;
+        `,
+            },
+            {
+                name: "module-level generic value with direct call and export specifier",
+                source: `
+          const id = <T>(x: T): T => x;
+          export { id };
+          const s = id<string>("x");
+          void s;
+        `,
+            },
+            {
+                name: "module-level generic value with typeof usage",
+                source: `
+          const id = <T>(x: T): T => x;
+          type IdFn = typeof id;
+          const s = id<string>("x");
+          void s;
+          type Alias = IdFn;
+          const marker: Alias | undefined = undefined;
+          void marker;
+        `,
+            },
+            {
+                name: "generic function declaration with direct call",
+                source: `
+          function id<T>(x: T): T { return x; }
+          const n = id<number>(1);
+          void n;
+        `,
+            },
+            {
+                name: "const alias to generic value with direct generic call",
+                source: `
+          const id = <T>(x: T): T => x;
+          const copy = id;
+          const n = copy<number>(1);
+          void n;
+        `,
+            },
+            {
+                name: "const alias to generic function declaration with direct call",
+                source: `
+          function id<T>(x: T): T { return x; }
+          const copy = id;
+          const n = copy<number>(1);
+          void n;
+        `,
+            },
+            {
+                name: "chained const aliases to generic value",
+                source: `
+          const id = <T>(x: T): T => x;
+          const copy = id;
+          const finalCopy = copy;
+          const n = finalCopy<number>(1);
+          void n;
+        `,
+            },
+            {
+                name: "let alias to generic value without reassignment",
+                source: `
+          const id = <T>(x: T): T => x;
+          let copy = id;
+          const n = copy<number>(1);
+          void n;
+        `,
+            },
+            {
+                name: "nested generic arrow value inside function scope with direct call",
+                source: `
+          function wrap(): void {
+            const id = <T>(x: T): T => x;
+            void id<number>(1);
+          }
+          void wrap;
+        `,
+            },
+            {
+                name: "module-level let generic value with no reassignment",
+                source: `
+          let id = <T>(x: T): T => x;
+          const s = id<string>("x");
+          void s;
+        `,
+            },
+            {
+                name: "outer let generic value with reassigned shadow remains valid",
+                source: `
+          let id = <T>(x: T): T => x;
+          {
+            let id = 1;
+            id = 2;
+            void id;
+          }
+          const s = id<string>("outer");
+          void s;
+        `,
+            },
+            {
+                name: "generic value passed in monomorphic callable argument context",
+                source: `
+          const id = <T>(x: T): T => x;
+          function use(fn: (x: number) => number): number {
+            return fn(1);
+          }
+          const out = use(id);
+          void out;
+        `,
+            },
+            {
+                name: "generic value assigned to monomorphic callable context",
+                source: `
+          const id = <T>(x: T): T => x;
+          const copy: (x: number) => number = id;
+          const out = copy(2);
+          void out;
+        `,
+            },
+            {
+                name: "generic value asserted to monomorphic callable context",
+                source: `
+          const id = <T>(x: T): T => x;
+          const copy = id as (x: number) => number;
+          const out = copy(2);
+          void out;
+        `,
+            },
+            {
+                name: "generic value in parenthesized monomorphic callable context",
+                source: `
+          const id = <T>(x: T): T => x;
+          const copy: (x: number) => number = (id);
+          const out = copy(2);
+          void out;
+        `,
+            },
+            {
+                name: "generic value in typed object/array callable contexts",
+                source: `
+          const id = <T>(x: T): T => x;
+          type Box = { run: (x: number) => number };
+          const box: Box = { run: id };
+          const handlers: Array<(x: number) => number> = [id];
+          const out = box.run(handlers[0]!(3));
+          void out;
+        `,
+            },
+            {
+                name: "generic value in typed object shorthand callable context",
+                source: `
+          const id = <T>(x: T): T => x;
+          type Box = { id: (x: number) => number };
+          const box: Box = { id };
+          const out = box.id(5);
+          void out;
+        `,
+            },
+            {
+                name: "generic value returned through monomorphic callable return type",
+                source: `
+          function make(): (x: number) => number {
+            const id = <T>(x: T): T => x;
+            return id;
+          }
+          const out = make()(4);
+          void out;
+        `,
+            },
+            {
+                name: "generic value in monomorphic callable conditional return",
+                source: `
+          function pick(flag: boolean): (x: number) => number {
+            const id = <T>(x: T): T => x;
+            const inc = (x: number): number => x + 1;
+            return flag ? id : inc;
+          }
+          const out = pick(true)(2);
+          void out;
+        `,
+            },
+            {
+                name: "generic function value as default export expression",
+                source: `
+          const id = <T>(x: T): T => x;
+          export default id;
+          void id<number>(1);
+        `,
+            },
+            {
+                name: "generic function value in multi-declarator const statement",
+                source: `
+          const id = <T>(x: T): T => x, other = 1;
+          const n = id<number>(1);
+          void n;
+          void other;
+        `,
+            },
+        ];
+        for (const c of allowCases) {
+            it(`allows ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7432")).to.equal(false);
+            });
+        }
+        const rejectCases = [
+            {
+                name: "generic function value used as value (non-call usage)",
+                source: `
+          const id = <T>(x: T): T => x;
+          const copy = id;
+          void copy;
+        `,
+            },
+            {
+                name: "generic function declaration used as value (non-call usage)",
+                source: `
+          function id<T>(x: T): T { return x; }
+          void id;
+        `,
+            },
+            {
+                name: "generic function value passed as argument",
+                source: `
+          const id = <T>(x: T): T => x;
+          function use(fn: unknown): void { void fn; }
+          use(id);
+        `,
+            },
+            {
+                name: "generic function value assigned to generic callable context",
+                source: `
+          const id = <T>(x: T): T => x;
+          const copy: <T>(x: T) => T = id;
+          void copy;
+        `,
+            },
+            {
+                name: "generic function value returned from function",
+                source: `
+          const id = <T>(x: T): T => x;
+          function wrap(): unknown { return id; }
+          void wrap;
+        `,
+            },
+            {
+                name: "generic function value returned through generic callable return type",
+                source: `
+          const id = <T>(x: T): T => x;
+          function wrap(): <T>(x: T) => T { return id; }
+          void wrap;
+        `,
+            },
+            {
+                name: "generic function value in object property position",
+                source: `
+          const id = <T>(x: T): T => x;
+          const obj = { id };
+          void obj;
+        `,
+            },
+            {
+                name: "generic function value in array literal position",
+                source: `
+          const id = <T>(x: T): T => x;
+          const arr = [id];
+          void arr;
+        `,
+            },
+            {
+                name: "generic function value property access usage",
+                source: `
+          const id = <T>(x: T): T => x;
+          const n = id.name;
+          void n;
+        `,
+            },
+            {
+                name: "reassigned let generic function value",
+                source: `
+          let id = <T>(x: T): T => x;
+          id = <T>(x: T): T => x;
+          void id<string>("x");
+        `,
+            },
+            {
+                name: "destructuring-reassigned let generic function value",
+                source: `
+          let id = <T>(x: T): T => x;
+          [id] = [id];
+          void id<string>("x");
+        `,
+            },
+            {
+                name: "for-of-target let generic function value",
+                source: `
+          let id = <T>(x: T): T => x;
+          const handlers = [id];
+          for (id of handlers) {
+            void id<string>("x");
+          }
+        `,
+            },
+            {
+                name: "reassigned let alias to generic function value",
+                source: `
+          const id = <T>(x: T): T => x;
+          let copy = id;
+          copy = id;
+          void copy<string>("x");
+        `,
+            },
+            {
+                name: "var alias to generic function value",
+                source: `
+          const id = <T>(x: T): T => x;
+          var copy = id;
+          void copy<string>("x");
+        `,
+            },
+        ];
+        for (const c of rejectCases) {
+            it(`rejects ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7432")).to.equal(true);
+            });
+        }
+    });
+});
+//# sourceMappingURL=generic-function-values.test.js.map

package/dist/validator-maximus-cases/generic-function-values.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generic-function-values.test.js","sourceRoot":"","sources":["../../src/validator-maximus-cases/generic-function-values.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE7D,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,iEAAiE;gBACvE,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,kEAAkE;gBACxE,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,8CAA8C;gBACpD,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,+CAA+C;gBACrD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,uDAAuD;gBAC7D,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,8DAA8D;gBACpE,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,wCAAwC;gBAC9C,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,iDAAiD;gBACvD,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,mEAAmE;gBACzE,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,8DAA8D;gBACpE,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,+DAA+D;gBACrE,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,wDAAwD;gBAC9D,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,wDAAwD;gBAC9D,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,6DAA6D;gBACnE,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,uDAAuD;gBAC7D,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,0DAA0D;gBAChE,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,iEAAiE;gBACvE,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,0DAA0D;gBAChE,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,4DAA4D;gBAClE,MAAM,EAAE;;;;;SAKP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAGZ;YACH;gBACE,IAAI,EAAE,uDAAuD;gBAC7D,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,6DAA6D;gBACnE,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,2CAA2C;gBACjD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,6DAA6D;gBACnE,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,+CAA+C;gBACrD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,sEAAsE;gBAC5E,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,oDAAoD;gBAC1D,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,kDAAkD;gBACxD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,8CAA8C;gBACpD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,uCAAuC;gBAC7C,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,0CAA0C;gBAChD,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,gDAAgD;gBACtD,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,qCAAqC;gBAC3C,MAAM,EAAE;;;;SAIP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,EAAE,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC3B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validator-maximus-cases/helpers.d.ts

@@ -0,0 +1,9 @@
+import { expect } from "chai";
+import type { TsonicProgram } from "../program.js";
+export { describe, it } from "mocha";
+export { expect };
+export declare const createTestProgram: (source: string, fileName?: string, extraFiles?: Readonly<Record<string, string>>) => TsonicProgram;
+export declare const collectCodes: (source: string, extraFiles?: Readonly<Record<string, string>>) => readonly string[];
+export declare const hasCode: (source: string, code: string, extraFiles?: Readonly<Record<string, string>>) => boolean;
+export declare const collectCodesInTempProject: (source: string, extraFiles?: Readonly<Record<string, string>>) => readonly string[];
+//# sourceMappingURL=helpers.d.ts.map

package/dist/validator-maximus-cases/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/validator-maximus-cases/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAK9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAOnD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,MAAM,EACd,iBAA2B,EAC3B,aAAY,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAChD,aAiFF,CAAC;AAEF,eAAO,MAAM,YAAY,GACvB,QAAQ,MAAM,EACd,aAAY,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAChD,SAAS,MAAM,EAGgB,CAAC;AAEnC,eAAO,MAAM,OAAO,GAClB,QAAQ,MAAM,EACd,MAAM,MAAM,EACZ,aAAY,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAChD,OAA0D,CAAC;AAE9D,eAAO,MAAM,yBAAyB,GACpC,QAAQ,MAAM,EACd,aAAY,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAChD,SAAS,MAAM,EAkDjB,CAAC"}

package/dist/validator-maximus-cases/helpers.js

@@ -0,0 +1,113 @@
+import { expect } from "chai";
+import * as fs from "node:fs";
+import * as os from "node:os";
+import * as path from "node:path";
+import * as ts from "typescript";
+import { validateProgram } from "../validator.js";
+import { DotnetMetadataRegistry } from "../dotnet-metadata.js";
+import { BindingRegistry } from "../program/bindings.js";
+import { createClrBindingsResolver } from "../resolver/clr-bindings-resolver.js";
+import { createBinding } from "../ir/binding/index.js";
+export { describe, it } from "mocha";
+export { expect };
+export const createTestProgram = (source, fileName = "/test/index.ts", extraFiles = {}) => {
+    const allFiles = new Map([
+        [fileName, source],
+        ...Object.entries(extraFiles),
+    ]);
+    const sourceFiles = new Map(Array.from(allFiles.entries(), ([name, text]) => [
+        name,
+        ts.createSourceFile(name, text, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS),
+    ]));
+    const compilerOptions = {
+        target: ts.ScriptTarget.ES2022,
+        module: ts.ModuleKind.NodeNext,
+        strict: true,
+        noEmit: true,
+        skipLibCheck: true,
+    };
+    const host = ts.createCompilerHost(compilerOptions);
+    const originalGetSourceFile = host.getSourceFile;
+    const originalFileExists = host.fileExists;
+    const originalReadFile = host.readFile;
+    host.getSourceFile = (name, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
+        const normalized = name.replace(/\\/g, "/");
+        const file = sourceFiles.get(normalized);
+        if (file) {
+            return file;
+        }
+        return originalGetSourceFile.call(host, name, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
+    };
+    host.fileExists = (name) => sourceFiles.has(name.replace(/\\/g, "/")) || originalFileExists(name);
+    host.readFile = (name) => {
+        const normalized = name.replace(/\\/g, "/");
+        return allFiles.get(normalized) ?? originalReadFile(name);
+    };
+    const program = ts.createProgram(Array.from(allFiles.keys()), compilerOptions, host);
+    const checker = program.getTypeChecker();
+    return {
+        program,
+        checker,
+        options: {
+            projectRoot: "/test",
+            sourceRoot: "/test",
+            rootNamespace: "Test",
+        },
+        sourceFiles: Array.from(sourceFiles.keys())
+            .map((name) => program.getSourceFile(name))
+            .filter((file) => file !== undefined),
+        declarationSourceFiles: [],
+        metadata: new DotnetMetadataRegistry(),
+        bindings: new BindingRegistry(),
+        clrResolver: createClrBindingsResolver("/test"),
+        binding: createBinding(checker),
+    };
+};
+export const collectCodes = (source, extraFiles = {}) => validateProgram(createTestProgram(source, "/test/index.ts", extraFiles)).diagnostics.map((d) => d.code);
+export const hasCode = (source, code, extraFiles = {}) => collectCodes(source, extraFiles).includes(code);
+export const collectCodesInTempProject = (source, extraFiles = {}) => {
+    const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), "tsonic-maximus-dynamic-import-"));
+    try {
+        const entryPath = path.join(tempDir, "src", "index.ts");
+        fs.mkdirSync(path.dirname(entryPath), { recursive: true });
+        fs.writeFileSync(entryPath, source);
+        const rootNames = [entryPath];
+        for (const [relativePath, content] of Object.entries(extraFiles)) {
+            const fullPath = path.join(tempDir, relativePath);
+            fs.mkdirSync(path.dirname(fullPath), { recursive: true });
+            fs.writeFileSync(fullPath, content);
+            rootNames.push(fullPath);
+        }
+        const compilerOptions = {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.NodeNext,
+            moduleResolution: ts.ModuleResolutionKind.NodeNext,
+            strict: true,
+            noEmit: true,
+            skipLibCheck: true,
+        };
+        const program = ts.createProgram(rootNames, compilerOptions);
+        const checker = program.getTypeChecker();
+        return validateProgram({
+            program,
+            checker,
+            options: {
+                projectRoot: tempDir,
+                sourceRoot: path.join(tempDir, "src"),
+                rootNamespace: "Test",
+            },
+            sourceFiles: rootNames
+                .map((fileName) => program.getSourceFile(fileName))
+                .filter((file) => file !== undefined),
+            declarationSourceFiles: [],
+            metadata: new DotnetMetadataRegistry(),
+            bindings: new BindingRegistry(),
+            clrResolver: createClrBindingsResolver(tempDir),
+            binding: createBinding(checker),
+        }).diagnostics.map((diagnostic) => diagnostic.code);
+    }
+    finally {
+        fs.rmSync(tempDir, { recursive: true, force: true });
+    }
+};
+//# sourceMappingURL=helpers.js.map

package/dist/validator-maximus-cases/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/validator-maximus-cases/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAc,EACd,QAAQ,GAAG,gBAAgB,EAC3B,aAA+C,EAAE,EAClC,EAAE;IACjB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAiB;QACvC,CAAC,QAAQ,EAAE,MAAM,CAAC;QAClB,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;KAC9B,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;QAC/C,IAAI;QACJ,EAAE,CAAC,gBAAgB,CACjB,IAAI,EACJ,IAAI,EACJ,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB;KACF,CAAC,CACH,CAAC;IAEF,MAAM,eAAe,GAAuB;QAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;QAC9B,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,IAAI;QACZ,YAAY,EAAE,IAAI;KACnB,CAAC;IAEF,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACpD,MAAM,qBAAqB,GAAG,IAAI,CAAC,aAAa,CAAC;IACjD,MAAM,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC;IAC3C,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC;IACvC,IAAI,CAAC,aAAa,GAAG,CACnB,IAAY,EACZ,wBAAsE,EACtE,OAAmC,EACnC,yBAAmC,EACnC,EAAE;QACF,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACzC,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,qBAAqB,CAAC,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC1B,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,CAAC,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACjC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACxE,IAAI,CAAC,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE;QAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,OAAO,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAC3B,eAAe,EACf,IAAI,CACL,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAEzC,OAAO;QACL,OAAO;QACP,OAAO;QACP,OAAO,EAAE;YACP,WAAW,EAAE,OAAO;YACpB,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,MAAM;SACtB;QACD,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;aACxC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;aAC1C,MAAM,CAAC,CAAC,IAAI,EAAyB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QAC9D,sBAAsB,EAAE,EAAE;QAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;QACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;QAC/B,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;QAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAAc,EACd,aAA+C,EAAE,EAC9B,EAAE,CACrB,eAAe,CACb,iBAAiB,CAAC,MAAM,EAAE,gBAAgB,EAAE,UAAU,CAAC,CACxD,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAEnC,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,MAAc,EACd,IAAY,EACZ,aAA+C,EAAE,EACxC,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAE9D,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,MAAc,EACd,aAA+C,EAAE,EAC9B,EAAE;IACrB,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gCAAgC,CAAC,CACzD,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QACxD,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAEpC,MAAM,SAAS,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YAClD,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1D,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QAED,MAAM,eAAe,GAAuB;YAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;YAC9B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ;YAClD,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,IAAI;SACnB,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QAEzC,OAAO,eAAe,CAAC;YACrB,OAAO;YACP,OAAO;YACP,OAAO,EAAE;gBACP,WAAW,EAAE,OAAO;gBACpB,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC;gBACrC,aAAa,EAAE,MAAM;aACtB;YACD,WAAW,EAAE,SAAS;iBACnB,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;iBAClD,MAAM,CAAC,CAAC,IAAI,EAAyB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;YAC9D,sBAAsB,EAAE,EAAE;YAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;YAC/B,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;YAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;SAChC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;AACH,CAAC,CAAC"}

package/dist/validator-maximus-cases/type-syntax.test.d.ts

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

package/dist/validator-maximus-cases/type-syntax.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-syntax.test.d.ts","sourceRoot":"","sources":["../../src/validator-maximus-cases/type-syntax.test.ts"],"names":[],"mappings":""}

package/dist/validator-maximus-cases/type-syntax.test.js

@@ -0,0 +1,157 @@
+import { describe, it, expect, hasCode } from "./helpers.js";
+describe("Maximus Validation Coverage", () => {
+    describe("Mixed variadic tuples", () => {
+        const allowCases = [
+            {
+                name: "[string, ...number[]]",
+                source: `type T = [string, ...number[]];`,
+            },
+            {
+                name: "[number, ...string[], boolean]",
+                source: `type T = [number, ...string[], boolean];`,
+            },
+            {
+                name: "rest parameter with mixed tuple",
+                source: `function f(...args: [string, ...number[]]): void { void args; }`,
+            },
+            {
+                name: "generic head + variadic tail",
+                source: `type T<U extends unknown[]> = [string, ...U];`,
+            },
+            {
+                name: "generic variadic head + fixed tail",
+                source: `type T<U extends unknown[]> = [...U, string];`,
+            },
+            { name: "fixed tuple", source: `type T = [string, number];` },
+            { name: "pure variadic tuple", source: `type T = [...number[]];` },
+            {
+                name: "generic pure variadic tuple",
+                source: `type T<U extends unknown[]> = [...U];`,
+            },
+            {
+                name: "plain rest parameter",
+                source: `function f(...args: number[]): void { void args; }`,
+            },
+            { name: "empty tuple", source: `type T = [];` },
+            { name: "single fixed tuple element", source: `type T = [string];` },
+        ];
+        for (const c of allowCases) {
+            it(`allows ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7408")).to.equal(false);
+            });
+        }
+    });
+    describe("infer keyword support", () => {
+        const allowCases = [
+            {
+                name: "simple infer in conditional",
+                source: `type Unwrap<T> = T extends Promise<infer U> ? U : T;`,
+            },
+            {
+                name: "infer in tuple extraction",
+                source: `type Head<T> = T extends [infer H, ...unknown[]] ? H : never;`,
+            },
+            {
+                name: "infer in function return extraction",
+                source: `type Return<T> = T extends (...args: never[]) => infer R ? R : never;`,
+            },
+            {
+                name: "infer in nested conditional",
+                source: `type Deep<T> = T extends Promise<infer U> ? (U extends Promise<infer V> ? V : U) : T;`,
+            },
+            {
+                name: "multiple infer clauses",
+                source: `type Pair<T> = T extends [infer A, infer B] ? [A, B] : never;`,
+            },
+            {
+                name: "identifier containing infer",
+                source: `const inferredValue = 1; console.log(inferredValue);`,
+            },
+            {
+                name: "interface property named infer",
+                source: `interface X { infer: string; } const x: X = { infer: "ok" };`,
+            },
+            {
+                name: "simple conditional without infer",
+                source: `type T<U> = U extends string ? 1 : 2;`,
+            },
+            {
+                name: "generic alias without conditional",
+                source: `type Mapper<T> = { value: T };`,
+            },
+        ];
+        for (const c of allowCases) {
+            it(`allows ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7409")).to.equal(false);
+            });
+        }
+    });
+    describe("mapped and conditional type syntax", () => {
+        const allowCases = [
+            {
+                name: "direct mapped type alias",
+                source: `
+          type Mapper<T> = { [K in keyof T]: T[K] };
+          type X = Mapper<{ a: string; b: number }>;
+        `,
+            },
+            {
+                name: "direct conditional type alias",
+                source: `
+          type C<T> = T extends string ? number : boolean;
+          type A = C<string>;
+          type B = C<number>;
+        `,
+            },
+            {
+                name: "mapped + conditional with infer",
+                source: `
+          type Normalize<T> = {
+            [K in keyof T]: T[K] extends Promise<infer U> ? U : T[K]
+          };
+          type N = Normalize<{ a: Promise<number>; b: string }>;
+        `,
+            },
+            {
+                name: "parenthesized mapped type syntax",
+                source: `
+          type Mapper<T> = ({ [K in keyof T]: T[K] });
+          type X = Mapper<{ a: string }>;
+        `,
+            },
+            {
+                name: "parenthesized conditional syntax",
+                source: `
+          type C<T> = (T extends string ? number : boolean);
+          type A = C<string>;
+        `,
+            },
+            {
+                name: "mapped syntax in interface member",
+                source: `
+          type M<T> = { [K in keyof T]: T[K] };
+          interface Box {
+            map: M<{ a: string; b: number }>;
+          }
+          const box: Box = { map: { a: "ok", b: 1 } };
+          void box;
+        `,
+            },
+            {
+                name: "conditional syntax in generic constraint position",
+                source: `
+          type Normalize<T> = T extends Promise<infer U> ? U : T;
+          function f<T>(x: Normalize<T>): void { void x; }
+        `,
+            },
+        ];
+        for (const c of allowCases) {
+            it(`allows ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7406")).to.equal(false);
+                expect(hasCode(c.source, "TSN7407")).to.equal(false);
+                expect(hasCode(c.source, "TSN7409")).to.equal(false);
+            });
+        }
+    });
+});
+//# sourceMappingURL=type-syntax.test.js.map

package/dist/validator-maximus-cases/type-syntax.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-syntax.test.js","sourceRoot":"","sources":["../../src/validator-maximus-cases/type-syntax.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE7D,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,iCAAiC;aAC1C;YACD;gBACE,IAAI,EAAE,gCAAgC;gBACtC,MAAM,EAAE,0CAA0C;aACnD;YACD;gBACE,IAAI,EAAE,iCAAiC;gBACvC,MAAM,EAAE,iEAAiE;aAC1E;YACD;gBACE,IAAI,EAAE,8BAA8B;gBACpC,MAAM,EAAE,+CAA+C;aACxD;YACD;gBACE,IAAI,EAAE,oCAAoC;gBAC1C,MAAM,EAAE,+CAA+C;aACxD;YACD,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,4BAA4B,EAAE;YAC7D,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YAClE;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,uCAAuC;aAChD;YACD;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,oDAAoD;aAC7D;YACD,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE;YAC/C,EAAE,IAAI,EAAE,4BAA4B,EAAE,MAAM,EAAE,oBAAoB,EAAE;SACrE,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,sDAAsD;aAC/D;YACD;gBACE,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EAAE,+DAA+D;aACxE;YACD;gBACE,IAAI,EAAE,qCAAqC;gBAC3C,MAAM,EAAE,uEAAuE;aAChF;YACD;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,uFAAuF;aAChG;YACD;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE,+DAA+D;aACxE;YACD;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,sDAAsD;aAC/D;YACD;gBACE,IAAI,EAAE,gCAAgC;gBACtC,MAAM,EAAE,8DAA8D;aACvE;YACD;gBACE,IAAI,EAAE,kCAAkC;gBACxC,MAAM,EAAE,uCAAuC;aAChD;YACD;gBACE,IAAI,EAAE,mCAAmC;gBACzC,MAAM,EAAE,gCAAgC;aACzC;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAClD,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,0BAA0B;gBAChC,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,+BAA+B;gBACrC,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,iCAAiC;gBACvC,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,kCAAkC;gBACxC,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,kCAAkC;gBACxC,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,mCAAmC;gBACzC,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;SAGP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACrD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACrD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validator.maximus.test.d.ts

@@ -1,2 +1,7 @@
-export {};
+import "./validator-maximus-cases/feature-gating.test.js";
+import "./validator-maximus-cases/type-syntax.test.js";
+import "./validator-maximus-cases/generic-function-values.test.js";
+import "./validator-maximus-cases/array-and-literal-inference.test.js";
+import "./validator-maximus-cases/dictionary-and-object-literal.test.js";
+import "./validator-maximus-cases/deterministic-typing.test.js";
 //# sourceMappingURL=validator.maximus.test.d.ts.map

package/dist/validator.maximus.test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validator.maximus.test.d.ts","sourceRoot":"","sources":["../src/validator.maximus.test.ts"],"names":[],"mappings":""}
+{"version":3,"file":"validator.maximus.test.d.ts","sourceRoot":"","sources":["../src/validator.maximus.test.ts"],"names":[],"mappings":"AAAA,OAAO,kDAAkD,CAAC;AAC1D,OAAO,+CAA+C,CAAC;AACvD,OAAO,2DAA2D,CAAC;AACnE,OAAO,+DAA+D,CAAC;AACvE,OAAO,iEAAiE,CAAC;AACzE,OAAO,wDAAwD,CAAC"}