@tsonic/frontend 0.0.67 → 0.0.69

package/dist/validator.maximus.test.js

@@ -1,13 +1,23 @@
 import { describe, it } from "mocha";
 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";
-const createTestProgram = (source, fileName = "test.ts") => {
-    const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+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,
@@ -17,13 +27,22 @@ const createTestProgram = (source, fileName = "test.ts") => {
     };
     const host = ts.createCompilerHost(compilerOptions);
     const originalGetSourceFile = host.getSourceFile;
+    const originalFileExists = host.fileExists;
+    const originalReadFile = host.readFile;
     host.getSourceFile = (name, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
-        if (name === fileName) {
-            return sourceFile;
+        const normalized = name.replace(/\\/g, "/");
+        const file = sourceFiles.get(normalized);
+        if (file) {
+            return file;
         }
         return originalGetSourceFile.call(host, name, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
     };
-    const program = ts.createProgram([fileName], compilerOptions, host);
+    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,
@@ -33,7 +52,9 @@ const createTestProgram = (source, fileName = "test.ts") => {
             sourceRoot: "/test",
             rootNamespace: "Test",
         },
-        sourceFiles: [sourceFile],
+        sourceFiles: Array.from(sourceFiles.keys())
+            .map((name) => program.getSourceFile(name))
+            .filter((file) => file !== undefined),
         declarationSourceFiles: [],
         metadata: new DotnetMetadataRegistry(),
         bindings: new BindingRegistry(),
@@ -41,8 +62,53 @@ const createTestProgram = (source, fileName = "test.ts") => {
         binding: createBinding(checker),
     };
 };
-const collectCodes = (source) => validateProgram(createTestProgram(source)).diagnostics.map((d) => d.code);
-const hasCode = (source, code) => collectCodes(source).includes(code);
+const collectCodes = (source, extraFiles = {}) => validateProgram(createTestProgram(source, "/test/index.ts", extraFiles)).diagnostics.map((d) => d.code);
+const hasCode = (source, code, extraFiles = {}) => collectCodes(source, extraFiles).includes(code);
+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 });
+    }
+};
 describe("Maximus Validation Coverage", () => {
     describe("TSN2001 / TSN3011 end-to-end feature gating", () => {
         const shouldReject = [
@@ -63,17 +129,28 @@ describe("Maximus Validation Coverage", () => {
         `,
             },
             {
-                name: "dynamic import",
+                name: "dynamic import with unsupported runtime namespace export",
                 code: "TSN2001",
                 source: `
-          async function load() { return import("./module.js"); }
+          async function load() {
+            const module = await import("./module.js");
+            return module.Box;
+          }
           void load();
         `,
             },
         ];
         for (const scenario of shouldReject) {
             it(`rejects ${scenario.name}`, () => {
-                expect(hasCode(scenario.source, scenario.code)).to.equal(true);
+                const extraFiles = scenario.name ===
+                    "dynamic import with unsupported runtime namespace export"
+                    ? { "src/module.ts": "export class Box {}\n" }
+                    : {};
+                const codes = scenario.name ===
+                    "dynamic import with unsupported runtime namespace export"
+                    ? collectCodesInTempProject(scenario.source, extraFiles)
+                    : collectCodes(scenario.source, extraFiles);
+                expect(codes.includes(scenario.code)).to.equal(true);
             });
         }
         const shouldAllow = [
@@ -96,6 +173,39 @@ describe("Maximus Validation Coverage", () => {
                 source: `
           const dir = import.meta.dirname;
           console.log(dir);
+        `,
+            },
+            {
+                name: "bare import.meta object",
+                source: `
+          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);
+        `,
+            },
+            {
+                name: "awaited local dynamic import side-effect",
+                source: `
+          async function load(): Promise<void> {
+            await import("./module.js");
+          }
+          void load();
+        `,
+            },
+            {
+                name: "closed-world dynamic import namespace value",
+                source: `
+          async function load(): Promise<number> {
+            const module = await import("./module.js");
+            return module.value;
+          }
+          void load();
         `,
             },
             {
@@ -164,7 +274,14 @@ describe("Maximus Validation Coverage", () => {
         ];
         for (const scenario of shouldAllow) {
             it(`does not falsely reject ${scenario.name}`, () => {
-                const codes = collectCodes(scenario.source);
+                const extraFiles = scenario.name === "closed-world dynamic import namespace value" ||
+                    scenario.name === "awaited local dynamic import side-effect"
+                    ? { "src/module.ts": "export const value = 42;\n" }
+                    : {};
+                const codes = scenario.name === "closed-world dynamic import namespace value" ||
+                    scenario.name === "awaited local dynamic import side-effect"
+                    ? collectCodesInTempProject(scenario.source, extraFiles)
+                    : collectCodes(scenario.source, extraFiles);
                 expect(codes.includes("TSN2001")).to.equal(false);
                 expect(codes.includes("TSN3011")).to.equal(false);
             });
@@ -849,6 +966,30 @@ describe("Maximus Validation Coverage", () => {
           type Ops = { add: (x: number, y: number) => number };
           const ops: Ops = { add: (x, y) => x + y };
           console.log(ops.add(1, 2));
+        `,
+            },
+            {
+                name: "contextual typing with destructured parameter",
+                source: `
+          type Getter = ({ x }: { x: number }) => number;
+          const getX: Getter = ({ x }) => x;
+          console.log(getX({ x: 1 }));
+        `,
+            },
+            {
+                name: "contextual typing with defaulted parameter",
+                source: `
+          type Inc = (x?: number) => number;
+          const inc: Inc = (x = 0) => x + 1;
+          console.log(inc(), inc(4));
+        `,
+            },
+            {
+                name: "contextual typing with rest parameter",
+                source: `
+          type Count = (...xs: number[]) => number;
+          const count: Count = (...xs) => xs.length;
+          console.log(count(1, 2, 3));
         `,
             },
         ];
@@ -993,6 +1134,31 @@ describe("Maximus Validation Coverage", () => {
           };
           const n = obj.mul(2, 3);
           void n;
+        `,
+            },
+            {
+                name: "computed const-literal property and accessor keys",
+                source: `
+          const valueKey = "value";
+          const doubledKey = "doubled";
+          const obj = {
+            [valueKey]: 21,
+            get [doubledKey](): number {
+              return this.value * 2;
+            },
+          };
+          const n = obj.doubled;
+          void n;
+        `,
+            },
+            {
+                name: "computed const-literal numeric property key",
+                source: `
+          const slot = 1;
+          const obj = {
+            [slot]: 7,
+          };
+          void obj;
         `,
             },
             {
@@ -1011,13 +1177,6 @@ describe("Maximus Validation Coverage", () => {
           void n;
         `,
             },
-        ];
-        for (const c of allowCases) {
-            it(`allows ${c.name}`, () => {
-                expect(hasCode(c.source, "TSN7403")).to.equal(false);
-            });
-        }
-        const rejectCases = [
             {
                 name: "method shorthand using this",
                 source: `
@@ -1027,43 +1186,76 @@ describe("Maximus Validation Coverage", () => {
               return this.base * x;
             },
           };
-          void obj;
+          const n = obj.mul(3);
+          void n;
         `,
             },
             {
-                name: "method shorthand using arguments",
+                name: "getter shorthand in synthesized object literal",
                 source: `
           const obj = {
-            mul(x: number): number {
-              return arguments.length;
+            get value(): number {
+              return 1;
             },
           };
-          void obj;
+          const n = obj.value;
+          void n;
         `,
             },
             {
-                name: "method shorthand using super",
+                name: "method shorthand using arguments.length with fixed required parameters",
                 source: `
-          const base = {
+          const obj = {
             mul(x: number): number {
-              return x * 2;
+              return arguments.length + x;
             },
           };
+          const n = obj.mul(3);
+          void n;
+        `,
+            },
+            {
+                name: "method shorthand using arguments[n] with fixed required identifier parameters",
+                source: `
           const obj = {
-            __proto__: base,
-            mul(x: number): number {
-              return super.mul(x);
+            mul(x: number, y: number): number {
+              return (arguments[0] as number) + y;
+            },
+          };
+          const n = obj.mul(3, 4);
+          void n;
+        `,
+            },
+        ];
+        for (const c of allowCases) {
+            it(`allows ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7403")).to.equal(false);
+            });
+        }
+        const rejectCases = [
+            {
+                name: "method shorthand using unsupported arguments indexing",
+                source: `
+          const obj = {
+            mul({ x }: { x: number }): number {
+              return arguments[0] as number;
             },
           };
           void obj;
         `,
             },
             {
-                name: "getter shorthand in synthesized object literal",
+                name: "method shorthand using super",
                 source: `
+          const base = {
+            mul(x: number): number {
+              return x * 2;
+            },
+          };
           const obj = {
-            get value(): number {
-              return 1;
+            __proto__: base,
+            mul(x: number): number {
+              return super.mul(x);
             },
           };
           void obj;

package/dist/validator.maximus.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"validator.maximus.test.js","sourceRoot":"","sources":["../src/validator.maximus.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,MAAM,iBAAiB,GAAG,CACxB,MAAc,EACd,QAAQ,GAAG,SAAS,EACL,EAAE;IACjB,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,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,IAAI,CAAC,aAAa,GAAG,CACnB,IAAY,EACZ,wBAAsE,EACtE,OAAmC,EACnC,yBAAmC,EACnC,EAAE;QACF,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,OAAO,qBAAqB,CAAC,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC1B,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IACpE,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,CAAC,UAAU,CAAC;QACzB,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,YAAY,GAAG,CAAC,MAAc,EAAqB,EAAE,CACzD,eAAe,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAE5E,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,IAAY,EAAW,EAAE,CACxD,YAAY,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAEtC,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,MAAM,YAAY,GAIb;YACH;gBACE,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,+BAA+B;gBACrC,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE;;;SAGP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;YACpC,EAAE,CAAC,WAAW,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAClC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjE,CAAC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAGZ;YACH;gBACE,IAAI,EAAE,iBAAiB;gBACvB,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,0BAA0B;gBAChC,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,4BAA4B;gBAClC,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,mBAAmB;gBACzB,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE;;;SAGP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;YACnC,EAAE,CAAC,2BAA2B,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAClD,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC5C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,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;IAEH,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;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,MAAM,UAAU,GAGX;YACH,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,wBAAwB,EAAE;YACzD,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,0BAA0B,EAAE;YAC7D,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,gCAAgC,EAAE;YACzE;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,mDAAmD;aAC5D;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,4BAA4B;aACrC;YACD;gBACE,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EAAE,mEAAmE;aAC5E;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,MAAM,EAAE,gCAAgC;aACzC;YACD;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,kCAAkC;aAC3C;YACD;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,wCAAwC;aACjD;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,sBAAsB;aAC/B;YACD;gBACE,IAAI,EAAE,4BAA4B;gBAClC,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,8BAA8B;gBACpC,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;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,MAAM,UAAU,GAGX;YACH,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,eAAe,EAAE;YACjD,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE;YAC7C,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE;YAC7C;gBACE,IAAI,EAAE,oCAAoC;gBAC1C,MAAM,EAAE,8DAA8D;aACvE;YACD,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YACjE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,2BAA2B,EAAE;YAC/D;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,uCAAuC;aAChD;YACD;gBACE,IAAI,EAAE,0BAA0B;gBAChC,MAAM,EAAE,+EAA+E;aACxF;YACD;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,4EAA4E;aACrF;YACD;gBACE,IAAI,EAAE,8BAA8B;gBACpC,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,gCAAgC;gBACtC,MAAM,EAAE,iEAAiE;aAC1E;YACD;gBACE,IAAI,EAAE,gCAAgC;gBACtC,MAAM,EAAE,uDAAuD;aAChE;YACD;gBACE,IAAI,EAAE,+BAA+B;gBACrC,MAAM,EAAE,0EAA0E;aACnF;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,oEAAoE;aAC7E;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,uCAAuC,EAAE,GAAG,EAAE;QACrD,MAAM,WAAW,GAGZ;YACH,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YACjE,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YAClE,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YAC9D,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,iCAAiC,EAAE;YACjE;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,+BAA+B;aACxC;YACD;gBACE,IAAI,EAAE,oCAAoC;gBAC1C,MAAM,EAAE,iCAAiC;aAC1C;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,sDAAsD;aAC/D;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;QAED,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,mBAAmB;gBACzB,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,2CAA2C;gBACjD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,yCAAyC;gBAC/C,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,qCAAqC;gBAC3C,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,sDAAsD;gBAC5D,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,wCAAwC;gBAC9C,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;SAIP;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;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAC1D,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;;;;;;;;SAUP;aACF;YACD;gBACE,IAAI,EAAE,kDAAkD;gBACxD,MAAM,EAAE;;;;;;;;SAQP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC1B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACrC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAGZ;YACH;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,sCAAsC;gBAC5C,MAAM,EAAE;;;;;SAKP;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;IAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;QAC5D,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,iDAAiD;gBACvD,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,0CAA0C;gBAChD,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,iDAAiD;gBACvD,MAAM,EAAE;;;;;;;;;;;;SAYP;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,6BAA6B;gBACnC,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,kCAAkC;gBACxC,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,8BAA8B;gBACpC,MAAM,EAAE;;;;;;;;;;;;;SAaP;aACF;YACD;gBACE,IAAI,EAAE,gDAAgD;gBACtD,MAAM,EAAE;;;;;;;SAOP;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;IAEH,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;QACpE,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,uDAAuD;gBAC7D,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,wDAAwD;gBAC9D,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,kDAAkD;gBACxD,MAAM,EAAE;;;;;;;;;;;SAWP;aACF;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,0DAA0D;gBAChE,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,uDAAuD;gBAC7D,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,sEAAsE;gBAC5E,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,+CAA+C;gBACrD,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,oDAAoD;gBAC1D,MAAM,EAAE;;;;;;;;;;SAUP;aACF;YACD;gBACE,IAAI,EAAE,oEAAoE;gBAC1E,MAAM,EAAE;;;;;;;;;SASP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,wCAAwC,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBACxD,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACrC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"validator.maximus.test.js","sourceRoot":"","sources":["../src/validator.maximus.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,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,gBAAgB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,MAAM,iBAAiB,GAAG,CACxB,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,YAAY,GAAG,CACnB,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,OAAO,GAAG,CACd,MAAc,EACd,IAAY,EACZ,aAA+C,EAAE,EACxC,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAE9D,MAAM,yBAAyB,GAAG,CAChC,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;AAEF,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,MAAM,YAAY,GAIb;YACH;gBACE,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,+BAA+B;gBACrC,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,0DAA0D;gBAChE,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE;;;;;;SAMP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;YACpC,EAAE,CAAC,WAAW,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAClC,MAAM,UAAU,GACd,QAAQ,CAAC,IAAI;oBACb,0DAA0D;oBACxD,CAAC,CAAC,EAAE,eAAe,EAAE,uBAAuB,EAAE;oBAC9C,CAAC,CAAC,EAAE,CAAC;gBACT,MAAM,KAAK,GACT,QAAQ,CAAC,IAAI;oBACb,0DAA0D;oBACxD,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;oBACxD,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;gBAChD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAGZ;YACH;gBACE,IAAI,EAAE,iBAAiB;gBACvB,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE;;;;;;;;;;SAUP;aACF;YACD;gBACE,IAAI,EAAE,0CAA0C;gBAChD,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,6CAA6C;gBACnD,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,0BAA0B;gBAChC,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,4BAA4B;gBAClC,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,mBAAmB;gBACzB,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE;;;SAGP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;YACnC,EAAE,CAAC,2BAA2B,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAClD,MAAM,UAAU,GACd,QAAQ,CAAC,IAAI,KAAK,6CAA6C;oBAC/D,QAAQ,CAAC,IAAI,KAAK,0CAA0C;oBAC1D,CAAC,CAAC,EAAE,eAAe,EAAE,4BAA4B,EAAE;oBACnD,CAAC,CAAC,EAAE,CAAC;gBACT,MAAM,KAAK,GACT,QAAQ,CAAC,IAAI,KAAK,6CAA6C;oBAC/D,QAAQ,CAAC,IAAI,KAAK,0CAA0C;oBAC1D,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;oBACxD,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;gBAChD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,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;IAEH,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;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,MAAM,UAAU,GAGX;YACH,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,wBAAwB,EAAE;YACzD,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,0BAA0B,EAAE;YAC7D,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,gCAAgC,EAAE;YACzE;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,mDAAmD;aAC5D;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,4BAA4B;aACrC;YACD;gBACE,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EAAE,mEAAmE;aAC5E;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,MAAM,EAAE,gCAAgC;aACzC;YACD;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,kCAAkC;aAC3C;YACD;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,wCAAwC;aACjD;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,sBAAsB;aAC/B;YACD;gBACE,IAAI,EAAE,4BAA4B;gBAClC,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,8BAA8B;gBACpC,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;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,MAAM,UAAU,GAGX;YACH,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,eAAe,EAAE;YACjD,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE;YAC7C,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE;YAC7C;gBACE,IAAI,EAAE,oCAAoC;gBAC1C,MAAM,EAAE,8DAA8D;aACvE;YACD,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YACjE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,2BAA2B,EAAE;YAC/D;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,uCAAuC;aAChD;YACD;gBACE,IAAI,EAAE,0BAA0B;gBAChC,MAAM,EAAE,+EAA+E;aACxF;YACD;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,4EAA4E;aACrF;YACD;gBACE,IAAI,EAAE,8BAA8B;gBACpC,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,gCAAgC;gBACtC,MAAM,EAAE,iEAAiE;aAC1E;YACD;gBACE,IAAI,EAAE,gCAAgC;gBACtC,MAAM,EAAE,uDAAuD;aAChE;YACD;gBACE,IAAI,EAAE,+BAA+B;gBACrC,MAAM,EAAE,0EAA0E;aACnF;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,oEAAoE;aAC7E;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,uCAAuC,EAAE,GAAG,EAAE;QACrD,MAAM,WAAW,GAGZ;YACH,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YACjE,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YAClE,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YAC9D,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,iCAAiC,EAAE;YACjE;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,+BAA+B;aACxC;YACD;gBACE,IAAI,EAAE,oCAAoC;gBAC1C,MAAM,EAAE,iCAAiC;aAC1C;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,sDAAsD;aAC/D;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;QAED,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,mBAAmB;gBACzB,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,2CAA2C;gBACjD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,yCAAyC;gBAC/C,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,qCAAqC;gBAC3C,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,sDAAsD;gBAC5D,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,wCAAwC;gBAC9C,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,+CAA+C;gBACrD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,4CAA4C;gBAClD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,uCAAuC;gBAC7C,MAAM,EAAE;;;;SAIP;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;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAC1D,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;;;;;;;;SAUP;aACF;YACD;gBACE,IAAI,EAAE,kDAAkD;gBACxD,MAAM,EAAE;;;;;;;;SAQP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC1B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACrC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAGZ;YACH;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,sCAAsC;gBAC5C,MAAM,EAAE;;;;;SAKP;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;IAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;QAC5D,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,iDAAiD;gBACvD,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,0CAA0C;gBAChD,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;;;;;;;;;SAWP;aACF;YACD;gBACE,IAAI,EAAE,6CAA6C;gBACnD,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,iDAAiD;gBACvD,MAAM,EAAE;;;;;;;;;;;;SAYP;aACF;YACD;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,gDAAgD;gBACtD,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,wEAAwE;gBAC9E,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,+EAA+E;gBACrF,MAAM,EAAE;;;;;;;;SAQP;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;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,8BAA8B;gBACpC,MAAM,EAAE;;;;;;;;;;;;;SAaP;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;IAEH,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;QACpE,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,uDAAuD;gBAC7D,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,wDAAwD;gBAC9D,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,kDAAkD;gBACxD,MAAM,EAAE;;;;;;;;;;;SAWP;aACF;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,0DAA0D;gBAChE,MAAM,EAAE;;;;;;SAMP;aACF;YACD;gBACE,IAAI,EAAE,uDAAuD;gBAC7D,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;;;SAKP;aACF;YACD;gBACE,IAAI,EAAE,sEAAsE;gBAC5E,MAAM,EAAE;;;;;;;;;SASP;aACF;YACD;gBACE,IAAI,EAAE,+CAA+C;gBACrD,MAAM,EAAE;;;;;;;SAOP;aACF;YACD;gBACE,IAAI,EAAE,oDAAoD;gBAC1D,MAAM,EAAE;;;;;;;;;;SAUP;aACF;YACD;gBACE,IAAI,EAAE,oEAAoE;gBAC1E,MAAM,EAAE;;;;;;;;;SASP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,wCAAwC,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBACxD,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACrC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validator.test.js

@@ -157,9 +157,11 @@ describe("Generic Validation", () => {
         it("should allow core intrinsics when imported from @tsonic/core", () => {
             const source = `
         import type { int } from "@tsonic/core/types.js";
-        import { stackalloc } from "@tsonic/core/lang.js";
+        import { stackalloc, nameof, sizeof } from "@tsonic/core/lang.js";
 
         export const x: int = 1 as int;
+        export const fieldName = nameof(x);
+        export const intSize: int = sizeof<int>();
 
         export function main(): void {
           stackalloc<int>(10 as int);
@@ -381,7 +383,35 @@ describe("Static Safety Validation", () => {
             const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
             expect(objDiag).to.equal(undefined);
         });
-        it("should reject object literal method shorthand that uses this", () => {
+        it("should allow object literal with computed const-literal property and accessor keys", () => {
+            const source = `
+        const valueKey = "value";
+        const doubledKey = "doubled";
+        const a = {
+          [valueKey]: 2,
+          get [doubledKey](): number {
+            return this.value * 2;
+          },
+        };
+        void a.doubled;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal with computed const-literal numeric property key", () => {
+            const source = `
+        const slot = 1;
+        const a = { [slot]: 7 };
+        void a;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal method shorthand that uses this", () => {
             const source = `
         const a = {
           x: 1,
@@ -393,22 +423,60 @@ describe("Static Safety Validation", () => {
             const program = createTestProgram(source);
             const diagnostics = validateProgram(program);
             const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
-            expect(objDiag).not.to.equal(undefined);
-            expect(objDiag?.message).to.include("this/super/arguments");
+            expect(objDiag).to.equal(undefined);
         });
-        it("should reject object literal method shorthand that uses arguments", () => {
+        it("should allow object literal method shorthand that uses arguments.length with fixed required parameters", () => {
             const source = `
         const a = {
           foo(x: number): number {
             return arguments.length + x;
           },
         };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal method shorthand that uses arguments[n] with fixed required identifier parameters", () => {
+            const source = `
+        const a = {
+          foo(x: number, y: number): number {
+            return (arguments[0] as number) + y;
+          },
+        };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should reject object literal method shorthand that uses unsupported arguments patterns", () => {
+            const source = `
+        const a = {
+          foo(x?: number): number {
+            return arguments[0] as number;
+          },
+        };
       `;
             const program = createTestProgram(source);
             const diagnostics = validateProgram(program);
             const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
             expect(objDiag).not.to.equal(undefined);
-            expect(objDiag?.message).to.include("this/super/arguments");
+            expect(objDiag?.message).to.include("arguments");
+        });
+        it("should allow object literal getter shorthand", () => {
+            const source = `
+        const a = {
+          get foo(): number {
+            return 1;
+          },
+        };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
         });
         it("should allow object literal with interface type", () => {
             const source = `
@@ -571,6 +639,19 @@ describe("Static Safety Validation", () => {
             const paramDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7405");
             expect(paramDiag).to.equal(undefined);
         });
+        it("should allow contextual Promise constructor inference without explicit type arguments", () => {
+            const source = `
+        export function delay(ms: number): Promise<void> {
+          return new Promise((resolve) => {
+            setTimeout(() => resolve(), ms);
+          });
+        }
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const typeArgDiag = diagnostics.diagnostics.find((d) => d.code === "TSN5202");
+            expect(typeArgDiag).to.equal(undefined);
+        });
     });
     describe("TSN7413 - Dictionary key type validation", () => {
         it("should allow Record with string key", () => {