@tsonic/frontend 0.0.73 → 0.0.75

package/dist/validation/features-cases/tsn2001-unsupported-syntax.test.js

@@ -0,0 +1,158 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { runValidation, runValidationInTempProject, hasDiagnostic, } from "./test-helpers.js";
+describe("validateUnsupportedFeatures", () => {
+    describe("TSN2001", () => {
+        it("rejects with-statement in strict AOT mode", () => {
+            const result = runValidation(`
+        const scope = { x: 1 };
+        with (scope) {
+          console.log(x);
+        }
+      `);
+            expect(result.hasErrors).to.equal(true);
+            expect(hasDiagnostic(result, "TSN2001", "'with' statement is not supported in strict AOT mode")).to.equal(true);
+        });
+        it("rejects nested with-statement in function body", () => {
+            const result = runValidation(`
+        function f(scope: { x: number }): number {
+          with (scope) {
+            return x;
+          }
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "'with' statement")).to.equal(true);
+        });
+        it("does not flag object property named 'with'", () => {
+            const result = runValidation(`
+        const obj = { with: 1 };
+        console.log(obj.with);
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "'with' statement")).to.equal(false);
+        });
+        it("allows import.meta.url", () => {
+            const result = runValidation(`
+        const url = import.meta.url;
+        console.log(url);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("allows import.meta.filename", () => {
+            const result = runValidation(`
+        const file = import.meta.filename;
+        console.log(file);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("allows import.meta.dirname", () => {
+            const result = runValidation(`
+        const dir = import.meta.dirname;
+        console.log(dir);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("rejects unsupported import.meta fields", () => {
+            const result = runValidation(`
+        const bad = import.meta.env;
+        console.log(bad);
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "import.meta")).to.equal(true);
+        });
+        it("allows bare import.meta object usage", () => {
+            const result = runValidation(`
+        declare global {
+          interface ImportMeta {
+            readonly url: string;
+            readonly filename: string;
+            readonly dirname: string;
+          }
+        }
+        const meta = import.meta;
+        console.log(meta.url, meta.filename, meta.dirname);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("allows dynamic import() when returned as a local closed-world value", () => {
+            const result = runValidationInTempProject(`
+        async function load() {
+          return import("./module.js");
+        }
+      `, {
+                "src/module.ts": "export const value = 42;\n",
+            });
+            expect(hasDiagnostic(result, "TSN2001", "Dynamic import()")).to.equal(false);
+        });
+        it("allows await import() when module namespace is consumed deterministically", () => {
+            const result = runValidationInTempProject(`
+        async function load() {
+          const module = await import("./module.js");
+          return module.value;
+        }
+      `, {
+                "src/module.ts": "export const value = 42;\n",
+            });
+            expect(hasDiagnostic(result, "TSN2001", "Dynamic import()")).to.equal(false);
+        });
+        it("rejects dynamic import() in side-effect form", () => {
+            const result = runValidation(`
+        async function load() {
+          import("./module.js");
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN2001", 'await import("./local-module.js")')).to.equal(true);
+        });
+        it("allows awaited dynamic import() in relative side-effect form", () => {
+            const result = runValidationInTempProject(`
+        async function load() {
+          await import("./module.js");
+        }
+      `, {
+                "src/module.ts": "export class Box {}\n",
+            });
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("rejects dynamic import() side-effect form with non-literal specifier", () => {
+            const result = runValidation(`
+        async function load(name: string) {
+          await import(name);
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "string-literal specifiers")).to.equal(true);
+        });
+        it("rejects dynamic import() value usage when runtime exports are not deterministically representable", () => {
+            const result = runValidationInTempProject(`
+        async function load() {
+          const module = await import("./module.js");
+          return module.Box;
+        }
+      `, {
+                "src/module.ts": "export class Box {}\n",
+            });
+            expect(hasDiagnostic(result, "TSN2001", "Unsupported export")).to.equal(true);
+        });
+        it("rejects awaited dynamic import() with bare package specifier", () => {
+            const result = runValidation(`
+        async function load() {
+          await import("@acme/math");
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "Dynamic import()")).to.equal(true);
+        });
+        it("does not reject static import declarations", () => {
+            const result = runValidation(`
+        import { value } from "./module.js";
+        console.log(value);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("does not reject import type declarations", () => {
+            const result = runValidation(`
+        import type { Foo } from "./module.js";
+        const x: Foo | undefined = undefined;
+        console.log(x);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+    });
+});
+//# sourceMappingURL=tsn2001-unsupported-syntax.test.js.map

package/dist/validation/features-cases/tsn2001-unsupported-syntax.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsn2001-unsupported-syntax.test.js","sourceRoot":"","sources":["../../../src/validation/features-cases/tsn2001-unsupported-syntax.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,aAAa,EACb,0BAA0B,EAC1B,aAAa,GACd,MAAM,mBAAmB,CAAC;AAE3B,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;OAK5B,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,CACJ,aAAa,CACX,MAAM,EACN,SAAS,EACT,sDAAsD,CACvD,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;OAM5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,KAAK,CACN,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;;;OAU5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,MAAM,GAAG,0BAA0B,CACvC;;;;OAID,EACC;gBACE,eAAe,EAAE,4BAA4B;aAC9C,CACF,CAAC;YAEF,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,KAAK,CACN,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;YACnF,MAAM,MAAM,GAAG,0BAA0B,CACvC;;;;;OAKD,EACC;gBACE,eAAe,EAAE,4BAA4B;aAC9C,CACF,CAAC;YAEF,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,KAAK,CACN,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CACJ,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,mCAAmC,CAAC,CACtE,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,MAAM,GAAG,0BAA0B,CACvC;;;;OAID,EACC;gBACE,eAAe,EAAE,uBAAuB;aACzC,CACF,CAAC;YAEF,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CACJ,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,2BAA2B,CAAC,CAC9D,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mGAAmG,EAAE,GAAG,EAAE;YAC3G,MAAM,MAAM,GAAG,0BAA0B,CACvC;;;;;OAKD,EACC;gBACE,eAAe,EAAE,uBAAuB;aACzC,CACF,CAAC;YAEF,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACrE,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validation/features-cases/tsn5001-function-length.test.d.ts

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

package/dist/validation/features-cases/tsn5001-function-length.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsn5001-function-length.test.d.ts","sourceRoot":"","sources":["../../../src/validation/features-cases/tsn5001-function-length.test.ts"],"names":[],"mappings":""}

package/dist/validation/features-cases/tsn5001-function-length.test.js

@@ -0,0 +1,104 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { runValidation, hasDiagnostic } from "./test-helpers.js";
+describe("validateUnsupportedFeatures", () => {
+    describe("TSN5001", () => {
+        it("rejects direct function.length access", () => {
+            const result = runValidation(`
+        type Handler = (value: string) => void;
+
+        export function arity(handler: Handler): number {
+          return handler.length;
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN5001", "function.length is not supported")).to.equal(true);
+        });
+        it("rejects structural length views over opaque function values", () => {
+            const result = runValidation(`
+        export function arity(handler: unknown): number {
+          if (typeof handler !== "function") {
+            return 0;
+          }
+
+          const maybeFunction = handler as unknown as { readonly length?: number };
+          return typeof maybeFunction.length === "number" ? maybeFunction.length : 0;
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN5001", "function.length is not supported")).to.equal(true);
+        });
+        it("rejects named structural length views over opaque function values", () => {
+            const result = runValidation(`
+        interface HandlerShape {
+          readonly length?: number;
+        }
+
+        export function arity(handler: unknown): number {
+          if (typeof handler !== "function") {
+            return 0;
+          }
+
+          const maybeFunction = handler as unknown as HandlerShape;
+          return typeof maybeFunction["length"] === "number" ? maybeFunction["length"] : 0;
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN5001", "function.length is not supported")).to.equal(true);
+        });
+        it("allows array length through structural array views", () => {
+            const result = runValidation(`
+        export function arity(values: unknown): number {
+          if (!Array.isArray(values)) {
+            return 0;
+          }
+
+          const items = values as readonly unknown[];
+          return items.length;
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN5001")).to.equal(false);
+        });
+        it("allows ordinary string and array length access", () => {
+            const result = runValidation(`
+        export function run(text: string, items: readonly string[]): number {
+          return text.length + items.length;
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN5001")).to.equal(false);
+        });
+        it("allows recursive middleware array branches narrowed by Array.isArray", () => {
+            const result = runValidation(`
+        type RequestHandler = (value: string) => void;
+        type MiddlewareLike = RequestHandler | Router | readonly MiddlewareLike[];
+
+        class Router {}
+
+        export function flatten(entries: readonly MiddlewareLike[]): readonly (RequestHandler | Router)[] {
+          const result: (RequestHandler | Router)[] = [];
+
+          const append = (handler: MiddlewareLike): void => {
+            if (Array.isArray(handler)) {
+              for (let index = 0; index < handler.length; index += 1) {
+                append(handler[index]!);
+              }
+              return;
+            }
+
+            if (handler instanceof Router) {
+              result.push(handler);
+              return;
+            }
+
+            result.push(handler);
+          };
+
+          for (const entry of entries) {
+            append(entry);
+          }
+
+          return result;
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN5001")).to.equal(false);
+        });
+    });
+});
+//# sourceMappingURL=tsn5001-function-length.test.js.map

package/dist/validation/features-cases/tsn5001-function-length.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsn5001-function-length.test.js","sourceRoot":"","sources":["../../../src/validation/features-cases/tsn5001-function-length.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,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEjE,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;OAM5B,CAAC,CAAC;YAEH,MAAM,CACJ,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kCAAkC,CAAC,CACrE,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;;OAS5B,CAAC,CAAC;YAEH,MAAM,CACJ,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kCAAkC,CAAC,CACrE,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;;;;;;OAa5B,CAAC,CAAC;YAEH,MAAM,CACJ,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kCAAkC,CAAC,CACrE,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;;OAS5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+B5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validation/features.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"features.d.ts","sourceRoot":"","sources":["../../src/validation/features.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAO9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AAwBhC;;GAEG;AACH,eAAO,MAAM,2BAA2B,GACtC,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBA4FF,CAAC"}
+{"version":3,"file":"features.d.ts","sourceRoot":"","sources":["../../src/validation/features.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAO9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AAgZhC;;GAEG;AACH,eAAO,MAAM,2BAA2B,GACtC,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBA0GF,CAAC"}

package/dist/validation/features.js

@@ -18,10 +18,230 @@ const isSupportedImportMetaUsage = (node) => {
     return !ts.isElementAccessExpression(parent);
 };
 const isDynamicImportCall = (node) => node.expression.kind === ts.SyntaxKind.ImportKeyword;
+const isLengthElementAccess = (node) => ts.isStringLiteralLike(node.argumentExpression) &&
+    node.argumentExpression.text === "length";
+const isArrayNamespaceExpression = (expression) => {
+    const candidate = unwrapComparableExpression(expression);
+    if (ts.isIdentifier(candidate)) {
+        return candidate.text === "Array";
+    }
+    if (ts.isPropertyAccessExpression(candidate)) {
+        return (ts.isIdentifier(candidate.expression) &&
+            candidate.expression.text === "globalThis" &&
+            candidate.name.text === "Array");
+    }
+    return false;
+};
+const isFunctionLikeType = (type, checker, seen = new Set()) => {
+    if (seen.has(type)) {
+        return false;
+    }
+    const nextSeen = new Set(seen);
+    nextSeen.add(type);
+    if (checker.getSignaturesOfType(type, ts.SignatureKind.Call).length > 0) {
+        return true;
+    }
+    if (type.isUnionOrIntersection()) {
+        return type.types.some((member) => isFunctionLikeType(member, checker, nextSeen));
+    }
+    return false;
+};
+const isKnownRuntimeLengthCarrier = (type, checker, seen = new Set()) => {
+    if (seen.has(type)) {
+        return false;
+    }
+    const nextSeen = new Set(seen);
+    nextSeen.add(type);
+    const apparent = checker.getApparentType(type);
+    if (apparent.isUnion()) {
+        return apparent.types.every((member) => isKnownRuntimeLengthCarrier(member, checker, nextSeen));
+    }
+    if (isFunctionLikeType(apparent, checker, nextSeen)) {
+        return false;
+    }
+    if (checker.isTupleType(apparent) || checker.isArrayType(apparent)) {
+        return true;
+    }
+    if ((apparent.flags & ts.TypeFlags.StringLike) !== 0 ||
+        (apparent.flags & ts.TypeFlags.StringLiteral) !== 0) {
+        return true;
+    }
+    const symbolName = apparent.getSymbol()?.getName();
+    if (symbolName === "Uint8Array" ||
+        symbolName === "Int8Array" ||
+        symbolName === "Uint16Array" ||
+        symbolName === "Int16Array" ||
+        symbolName === "Uint32Array" ||
+        symbolName === "Int32Array" ||
+        symbolName === "Float32Array" ||
+        symbolName === "Float64Array" ||
+        symbolName === "Uint8ClampedArray" ||
+        symbolName === "BigInt64Array" ||
+        symbolName === "BigUint64Array") {
+        return true;
+    }
+    return false;
+};
+const isUnknownAnyOrObjectLike = (type) => {
+    if ((type.flags & ts.TypeFlags.Any) !== 0 ||
+        (type.flags & ts.TypeFlags.Unknown) !== 0) {
+        return true;
+    }
+    if (type.isUnionOrIntersection()) {
+        return type.types.some(isUnknownAnyOrObjectLike);
+    }
+    return (type.flags & ts.TypeFlags.Object) !== 0;
+};
+const traceLengthAccessOrigin = (expression, checker, depth = 0, throughAssertion = false) => {
+    if (depth > 8) {
+        return { expression, throughAssertion };
+    }
+    if (ts.isParenthesizedExpression(expression) ||
+        ts.isNonNullExpression(expression)) {
+        return traceLengthAccessOrigin(expression.expression, checker, depth + 1, throughAssertion);
+    }
+    if (ts.isAsExpression(expression) ||
+        ts.isTypeAssertionExpression(expression)) {
+        return traceLengthAccessOrigin(expression.expression, checker, depth + 1, true);
+    }
+    if (ts.isIdentifier(expression)) {
+        const symbol = checker.getSymbolAtLocation(expression);
+        const declaration = symbol?.valueDeclaration ?? symbol?.declarations?.[0];
+        if (declaration &&
+            ts.isVariableDeclaration(declaration) &&
+            declaration.initializer) {
+            return traceLengthAccessOrigin(declaration.initializer, checker, depth + 1, throughAssertion);
+        }
+    }
+    return { expression, throughAssertion };
+};
+const unwrapComparableExpression = (expression) => {
+    let current = expression;
+    for (;;) {
+        if (ts.isParenthesizedExpression(current) ||
+            ts.isNonNullExpression(current)) {
+            current = current.expression;
+            continue;
+        }
+        if (ts.isAsExpression(current) || ts.isTypeAssertionExpression(current)) {
+            current = current.expression;
+            continue;
+        }
+        return current;
+    }
+};
+const areSameExpressionTarget = (left, right) => {
+    const normalizedLeft = unwrapComparableExpression(left);
+    const normalizedRight = unwrapComparableExpression(right);
+    if (ts.isIdentifier(normalizedLeft) && ts.isIdentifier(normalizedRight)) {
+        return normalizedLeft.text === normalizedRight.text;
+    }
+    if (normalizedLeft.kind === ts.SyntaxKind.ThisKeyword) {
+        return normalizedRight.kind === ts.SyntaxKind.ThisKeyword;
+    }
+    if (ts.isPropertyAccessExpression(normalizedLeft) &&
+        ts.isPropertyAccessExpression(normalizedRight)) {
+        return (normalizedLeft.name.text === normalizedRight.name.text &&
+            areSameExpressionTarget(normalizedLeft.expression, normalizedRight.expression));
+    }
+    if (ts.isElementAccessExpression(normalizedLeft) &&
+        ts.isElementAccessExpression(normalizedRight)) {
+        return (normalizedLeft.argumentExpression.getText() ===
+            normalizedRight.argumentExpression.getText() &&
+            areSameExpressionTarget(normalizedLeft.expression, normalizedRight.expression));
+    }
+    return false;
+};
+const extractArrayIsArrayGuard = (expression) => {
+    const candidate = unwrapComparableExpression(expression);
+    if (ts.isPrefixUnaryExpression(candidate)) {
+        if (candidate.operator !== ts.SyntaxKind.ExclamationToken) {
+            return undefined;
+        }
+        const inner = extractArrayIsArrayGuard(candidate.operand);
+        return inner
+            ? { target: inner.target, negated: !inner.negated }
+            : undefined;
+    }
+    if (!ts.isCallExpression(candidate) || candidate.arguments.length !== 1) {
+        return undefined;
+    }
+    const callee = unwrapComparableExpression(candidate.expression);
+    if (!ts.isPropertyAccessExpression(callee) ||
+        callee.name.text !== "isArray" ||
+        !isArrayNamespaceExpression(callee.expression)) {
+        return undefined;
+    }
+    const [target] = candidate.arguments;
+    if (!target) {
+        return undefined;
+    }
+    return { target, negated: false };
+};
+const isWithinSameFunctionArrayGuard = (node, receiver) => {
+    for (let current = node; current && current.parent; current = current.parent) {
+        const parent = current.parent;
+        if (current !== node &&
+            (ts.isFunctionLike(parent) || ts.isClassStaticBlockDeclaration(parent))) {
+            return false;
+        }
+        if (!ts.isIfStatement(parent)) {
+            continue;
+        }
+        const guard = extractArrayIsArrayGuard(parent.expression);
+        if (!guard || !areSameExpressionTarget(guard.target, receiver)) {
+            continue;
+        }
+        if (!guard.negated &&
+            node.pos >= parent.thenStatement.pos &&
+            node.end <= parent.thenStatement.end) {
+            return true;
+        }
+        if (guard.negated &&
+            parent.elseStatement &&
+            node.pos >= parent.elseStatement.pos &&
+            node.end <= parent.elseStatement.end) {
+            return true;
+        }
+    }
+    return false;
+};
+const getLengthAccessReceiver = (node) => {
+    if ((ts.isPropertyAccessExpression(node) || ts.isPropertyAccessChain(node)) &&
+        node.name.text === "length") {
+        return node.expression;
+    }
+    if ((ts.isElementAccessExpression(node) || ts.isElementAccessChain(node)) &&
+        isLengthElementAccess(node)) {
+        return node.expression;
+    }
+    return undefined;
+};
+const isUnsupportedFunctionLengthAccess = (node, checker) => {
+    const receiver = getLengthAccessReceiver(node);
+    if (!receiver) {
+        return false;
+    }
+    const receiverType = checker.getTypeAtLocation(receiver);
+    if (isFunctionLikeType(receiverType, checker)) {
+        return !isWithinSameFunctionArrayGuard(node, receiver);
+    }
+    if (isKnownRuntimeLengthCarrier(receiverType, checker)) {
+        return false;
+    }
+    const traced = traceLengthAccessOrigin(receiver, checker);
+    if (!traced.throughAssertion) {
+        return false;
+    }
+    const originType = checker.getTypeAtLocation(traced.expression);
+    return (isFunctionLikeType(originType, checker) ||
+        isUnknownAnyOrObjectLike(originType));
+};
 /**
  * Validate that unsupported features are not used
  */
 export const validateUnsupportedFeatures = (sourceFile, program, collector) => {
+    const checker = program.checker;
     const sourceFilesByPath = new Map(program.sourceFiles.map((currentSourceFile) => [
         currentSourceFile.fileName.replace(/\\/g, "/"),
         currentSourceFile,
@@ -62,6 +282,9 @@ export const validateUnsupportedFeatures = (sourceFile, program, collector) => {
                 "Dynamic import() is only supported for deterministic closed-world local modules.";
             collector = addDiagnostic(collector, createDiagnostic("TSN2001", "error", message, getNodeLocation(sourceFile, node), "Use static import declarations, or restrict dynamic import() to deterministic closed-world local modules."));
         }
+        if (isUnsupportedFunctionLengthAccess(node, checker)) {
+            collector = addDiagnostic(collector, createDiagnostic("TSN5001", "error", "JavaScript function.length is not supported in the NativeAOT backend. Use an explicit handler kind/tag or another deterministic discriminator instead.", getNodeLocation(sourceFile, node), "Avoid function arity inspection. Model the distinction with explicit tagged handler types or separate APIs."));
+        }
         ts.forEachChild(node, visitor);
     };
     visitor(sourceFile);

package/dist/validation/features.js.map

@@ -1 +1 @@
-{"version":3,"file":"features.js","sourceRoot":"","sources":["../../src/validation/features.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,gCAAgC,EAChC,mCAAmC,EACnC,6BAA6B,EAC7B,6BAA6B,GAC9B,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAE7E,MAAM,0BAA0B,GAAG,CAAC,IAAqB,EAAW,EAAE;IACpE,IACE,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACjD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACxE,OAAO,4BAA4B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAuB,EAAW,EAAE,CAC/D,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;AAEvD;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAAC;QAC7C,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;QAC9C,iBAAiB;KAClB,CAAC,CACH,CAAC;IAEF,MAAM,8BAA8B,GAAG,CACrC,IAAuB,EACH,EAAE;QACtB,MAAM,SAAS,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,mEAAmE,CAAC;QAC7E,CAAC;QAED,IAAI,CAAC,mCAAmC,CAAC,SAAS,CAAC,EAAE,CAAC;YACpD,OAAO,uFAAuF,CAAC;QACjG,CAAC;QAED,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,OAAO,uGAAuG,CAAC;QACjH,CAAC;QAED,MAAM,UAAU,GAAG,6BAA6B,CAC9C,IAAI,EACJ,UAAU,CAAC,QAAQ,EACnB;YACE,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE;YACrD,iBAAiB;SAClB,CACF,CAAC;QAEF,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;IACvD,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,0CAA0C;QAC1C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sDAAsD,EACtD,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;QACJ,CAAC;QAED,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,0DAA0D,EAC1D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;QACJ,CAAC;QAED,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,mBAAmB,CAAC,IAAI,CAAC;YACzB,8BAA8B,CAAC,IAAI,CAAC,KAAK,SAAS,EAClD,CAAC;YACD,MAAM,OAAO,GACX,8BAA8B,CAAC,IAAI,CAAC;gBACpC,kFAAkF,CAAC;YACrF,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,OAAO,EACP,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,2GAA2G,CAC5G,CACF,CAAC;QACJ,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
+{"version":3,"file":"features.js","sourceRoot":"","sources":["../../src/validation/features.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,gCAAgC,EAChC,mCAAmC,EACnC,6BAA6B,EAC7B,6BAA6B,GAC9B,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAE7E,MAAM,0BAA0B,GAAG,CAAC,IAAqB,EAAW,EAAE;IACpE,IACE,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACjD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACxE,OAAO,4BAA4B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAuB,EAAW,EAAE,CAC/D,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;AAEvD,MAAM,qBAAqB,GAAG,CAC5B,IAAwD,EAC/C,EAAE,CACX,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC;IAC/C,IAAI,CAAC,kBAAkB,CAAC,IAAI,KAAK,QAAQ,CAAC;AAE5C,MAAM,0BAA0B,GAAG,CAAC,UAAyB,EAAW,EAAE;IACxE,MAAM,SAAS,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC;IACpC,CAAC;IAED,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC;YACrC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;YAC1C,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAChC,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAa,EACb,OAAuB,EACvB,OAA6B,IAAI,GAAG,EAAW,EACtC,EAAE;IACX,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEnB,IAAI,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAChC,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAC9C,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,IAAa,EACb,OAAuB,EACvB,OAA6B,IAAI,GAAG,EAAW,EACtC,EAAE;IACX,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,QAAQ,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IAE/C,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACvB,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACrC,2BAA2B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CACvD,CAAC;IACJ,CAAC;IAED,IAAI,kBAAkB,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IACE,CAAC,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;QAChD,CAAC,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,EACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC;IACnD,IACE,UAAU,KAAK,YAAY;QAC3B,UAAU,KAAK,WAAW;QAC1B,UAAU,KAAK,aAAa;QAC5B,UAAU,KAAK,YAAY;QAC3B,UAAU,KAAK,aAAa;QAC5B,UAAU,KAAK,YAAY;QAC3B,UAAU,KAAK,cAAc;QAC7B,UAAU,KAAK,cAAc;QAC7B,UAAU,KAAK,mBAAmB;QAClC,UAAU,KAAK,eAAe;QAC9B,UAAU,KAAK,gBAAgB,EAC/B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,IAAa,EAAW,EAAE;IAC1D,IACE,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QACrC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC,CAAC;AAOF,MAAM,uBAAuB,GAAG,CAC9B,UAAyB,EACzB,OAAuB,EACvB,KAAK,GAAG,CAAC,EACT,gBAAgB,GAAG,KAAK,EACN,EAAE;IACpB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC1C,CAAC;IAED,IACE,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAClC,CAAC;QACD,OAAO,uBAAuB,CAC5B,UAAU,CAAC,UAAU,EACrB,OAAO,EACP,KAAK,GAAG,CAAC,EACT,gBAAgB,CACjB,CAAC;IACJ,CAAC;IAED,IACE,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC;QAC7B,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,EACxC,CAAC;QACD,OAAO,uBAAuB,CAC5B,UAAU,CAAC,UAAU,EACrB,OAAO,EACP,KAAK,GAAG,CAAC,EACT,IAAI,CACL,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACvD,MAAM,WAAW,GAAG,MAAM,EAAE,gBAAgB,IAAI,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1E,IACE,WAAW;YACX,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YACrC,WAAW,CAAC,WAAW,EACvB,CAAC;YACD,OAAO,uBAAuB,CAC5B,WAAW,CAAC,WAAW,EACvB,OAAO,EACP,KAAK,GAAG,CAAC,EACT,gBAAgB,CACjB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,UAAyB,EACV,EAAE;IACjB,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,SAAS,CAAC;QACR,IACE,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;YACrC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAC/B,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YACxE,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,IAAmB,EACnB,KAAoB,EACX,EAAE;IACX,MAAM,cAAc,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,eAAe,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAE1D,IAAI,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,CAAC;QACxE,OAAO,cAAc,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI,CAAC;IACtD,CAAC;IAED,IAAI,cAAc,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACtD,OAAO,eAAe,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;IAC5D,CAAC;IAED,IACE,EAAE,CAAC,0BAA0B,CAAC,cAAc,CAAC;QAC7C,EAAE,CAAC,0BAA0B,CAAC,eAAe,CAAC,EAC9C,CAAC;QACD,OAAO,CACL,cAAc,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI,CAAC,IAAI;YACtD,uBAAuB,CACrB,cAAc,CAAC,UAAU,EACzB,eAAe,CAAC,UAAU,CAC3B,CACF,CAAC;IACJ,CAAC;IAED,IACE,EAAE,CAAC,yBAAyB,CAAC,cAAc,CAAC;QAC5C,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC,EAC7C,CAAC;QACD,OAAO,CACL,cAAc,CAAC,kBAAkB,CAAC,OAAO,EAAE;YACzC,eAAe,CAAC,kBAAkB,CAAC,OAAO,EAAE;YAC9C,uBAAuB,CACrB,cAAc,CAAC,UAAU,EACzB,eAAe,CAAC,UAAU,CAC3B,CACF,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,UAAyB,EAGb,EAAE;IACd,MAAM,SAAS,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;YAC1D,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,KAAK,GAAG,wBAAwB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC1D,OAAO,KAAK;YACV,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE;YACnD,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,0BAA0B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAChE,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAC9B,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC,EAC9C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;IACrC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAa,EACb,QAAuB,EACd,EAAE;IACX,KACE,IAAI,OAAO,GAAwB,IAAI,EACvC,OAAO,IAAI,OAAO,CAAC,MAAM,EACzB,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,IACE,OAAO,KAAK,IAAI;YAChB,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAC,EACvE,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,wBAAwB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,KAAK,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC/D,SAAS;QACX,CAAC;QAED,IACE,CAAC,KAAK,CAAC,OAAO;YACd,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG;YACpC,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,EACpC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IACE,KAAK,CAAC,OAAO;YACb,MAAM,CAAC,aAAa;YACpB,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG;YACpC,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,EACpC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,IAAa,EAA6B,EAAE;IAC3E,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACvE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAC3B,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACrE,qBAAqB,CAAC,IAAI,CAAC,EAC3B,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAa,EACb,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,kBAAkB,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO,CAAC,8BAA8B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,uBAAuB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAChE,OAAO,CACL,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC;QACvC,wBAAwB,CAAC,UAAU,CAAC,CACrC,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAChC,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAAC;QAC7C,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;QAC9C,iBAAiB;KAClB,CAAC,CACH,CAAC;IAEF,MAAM,8BAA8B,GAAG,CACrC,IAAuB,EACH,EAAE;QACtB,MAAM,SAAS,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,mEAAmE,CAAC;QAC7E,CAAC;QAED,IAAI,CAAC,mCAAmC,CAAC,SAAS,CAAC,EAAE,CAAC;YACpD,OAAO,uFAAuF,CAAC;QACjG,CAAC;QAED,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,OAAO,uGAAuG,CAAC;QACjH,CAAC;QAED,MAAM,UAAU,GAAG,6BAA6B,CAC9C,IAAI,EACJ,UAAU,CAAC,QAAQ,EACnB;YACE,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE;YACrD,iBAAiB;SAClB,CACF,CAAC;QAEF,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;IACvD,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,0CAA0C;QAC1C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sDAAsD,EACtD,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;QACJ,CAAC;QAED,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,0DAA0D,EAC1D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;QACJ,CAAC;QAED,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,mBAAmB,CAAC,IAAI,CAAC;YACzB,8BAA8B,CAAC,IAAI,CAAC,KAAK,SAAS,EAClD,CAAC;YACD,MAAM,OAAO,GACX,8BAA8B,CAAC,IAAI,CAAC;gBACpC,kFAAkF,CAAC;YACrF,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,OAAO,EACP,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,2GAA2G,CAC5G,CACF,CAAC;QACJ,CAAC;QAED,IAAI,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACrD,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,wJAAwJ,EACxJ,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,6GAA6G,CAC9G,CACF,CAAC;QACJ,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/validation/features.test.d.ts

@@ -1,2 +1,4 @@
-export {};
+import "./features-cases/promise-chaining.test.js";
+import "./features-cases/tsn2001-unsupported-syntax.test.js";
+import "./features-cases/tsn5001-function-length.test.js";
 //# sourceMappingURL=features.test.d.ts.map

package/dist/validation/features.test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"features.test.d.ts","sourceRoot":"","sources":["../../src/validation/features.test.ts"],"names":[],"mappings":""}
+{"version":3,"file":"features.test.d.ts","sourceRoot":"","sources":["../../src/validation/features.test.ts"],"names":[],"mappings":"AAAA,OAAO,2CAA2C,CAAC;AACnD,OAAO,qDAAqD,CAAC;AAC7D,OAAO,kDAAkD,CAAC"}