diff --git a/2024-11-25-ts57.md b/2024-11-25-ts57.md
new file mode 100644
index 000000000000..3a92872d6d60
--- /dev/null
+++ b/2024-11-25-ts57.md
@@ -0,0 +1,4 @@
+---
+category: majorAnalysis
+---
+* Added support for TypeScript 5.7.
diff --git a/javascript/extractor/lib/typescript/package-lock.json b/javascript/extractor/lib/typescript/package-lock.json
index 50a9e0a66caa..1978e3963246 100644
--- a/javascript/extractor/lib/typescript/package-lock.json
+++ b/javascript/extractor/lib/typescript/package-lock.json
@@ -6,7 +6,7 @@
         "": {
             "name": "typescript-parser-wrapper",
             "dependencies": {
-                "typescript": "^5.6.2"
+                "typescript": "^5.7.2"
             },
             "devDependencies": {
                 "@types/node": "18.15.3"
@@ -20,9 +20,9 @@
             "license": "MIT"
         },
         "node_modules/typescript": {
-            "version": "5.6.2",
-            "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.6.2.tgz",
-            "integrity": "sha512-NW8ByodCSNCwZeghjN3o+JX5OFH0Ojg6sadjEKY4huZ52TqbJTJnDo5+Tw98lSy63NZvi4n+ez5m2u5d4PkZyw==",
+            "version": "5.7.2",
+            "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.7.2.tgz",
+            "integrity": "sha512-i5t66RHxDvVN40HfDd1PsEThGNnlMCMT3jMUuoh9/0TaqWevNontacunWyN02LA9/fIbEWlcHZcgTKb9QoaLfg==",
             "license": "Apache-2.0",
             "bin": {
                 "tsc": "bin/tsc",
diff --git a/javascript/extractor/lib/typescript/package.json b/javascript/extractor/lib/typescript/package.json
index bf650ec457a4..9d77f4ab740a 100644
--- a/javascript/extractor/lib/typescript/package.json
+++ b/javascript/extractor/lib/typescript/package.json
@@ -2,7 +2,7 @@
     "name": "typescript-parser-wrapper",
     "private": true,
     "dependencies": {
-        "typescript": "5.6.2"
+        "typescript": "^5.7.2"
     },
     "scripts": {
         "build": "tsc --project tsconfig.json",
diff --git a/javascript/ql/integration-tests/diagnostics/internal-error/src/my_failure.ts b/javascript/ql/integration-tests/diagnostics/internal-error/src/my_failure.ts
index 29e78b136e82..f2a1644e18ff 100644
--- a/javascript/ql/integration-tests/diagnostics/internal-error/src/my_failure.ts
+++ b/javascript/ql/integration-tests/diagnostics/internal-error/src/my_failure.ts
@@ -1,17 +1,3022 @@
-type Output<K, S extends any[]> = {
-  (...args: S): any;
-};
-
-declare function createThing<K extends string, S extends any[]>(
-  type: K,
-  fn: (...args: S) => any
-): Output<K, S>;
-
-const one = createThing("one", () => ({}));
-
-const two = createThing("two", () => ({}));
-
-const three = createThing("three", (cursor: string) => null);
-const four = createThing("four", (error: number) => null);
-
-type Events = Array<typeof one | typeof two | typeof three | typeof four>;
+console.log(
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +    
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +    
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 +
+  1 
+);
diff --git a/javascript/ql/test/library-tests/TypeScript/Types/printAst.expected b/javascript/ql/test/library-tests/TypeScript/Types/printAst.expected
index 3061a6ba1f04..df304b899bb0 100644
--- a/javascript/ql/test/library-tests/TypeScript/Types/printAst.expected
+++ b/javascript/ql/test/library-tests/TypeScript/Types/printAst.expected
@@ -1877,8 +1877,35 @@ nodes
 | tst.ts:508:17:508:38 | [MethodCallExpr] obj[key ... rCase() | semmle.label | [MethodCallExpr] obj[key ... rCase() |
 | tst.ts:508:21:508:23 | [VarRef] key | semmle.label | [VarRef] key |
 | tst.ts:508:26:508:36 | [Label] toUpperCase | semmle.label | [Label] toUpperCase |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | semmle.label | [NamespaceDeclaration] namespa ... type. } |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | semmle.order | 92 |
+| tst.ts:513:11:513:14 | [VarDecl] TS57 | semmle.label | [VarDecl] TS57 |
+| tst.ts:514:3:514:26 | [DeclStmt] const a = ... | semmle.label | [DeclStmt] const a = ... |
+| tst.ts:514:17:514:17 | [VarDecl] a | semmle.label | [VarDecl] a |
+| tst.ts:514:17:514:25 | [VariableDeclarator] a: symbol | semmle.label | [VariableDeclarator] a: symbol |
+| tst.ts:514:20:514:25 | [KeywordTypeExpr] symbol | semmle.label | [KeywordTypeExpr] symbol |
+| tst.ts:515:3:517:3 | [ExportDeclaration] export ... }; } | semmle.label | [ExportDeclaration] export ... }; } |
+| tst.ts:515:10:517:3 | [ClassDefinition,TypeDefinition] class A ... }; } | semmle.label | [ClassDefinition,TypeDefinition] class A ... }; } |
+| tst.ts:515:16:515:16 | [VarDecl] A | semmle.label | [VarDecl] A |
+| tst.ts:515:18:515:17 | [BlockStmt] {} | semmle.label | [BlockStmt] {} |
+| tst.ts:515:18:515:17 | [ClassInitializedMember,ConstructorDefinition] constructor() {} | semmle.label | [ClassInitializedMember,ConstructorDefinition] constructor() {} |
+| tst.ts:515:18:515:17 | [FunctionExpr] () {} | semmle.label | [FunctionExpr] () {} |
+| tst.ts:515:18:515:17 | [Label] constructor | semmle.label | [Label] constructor |
+| tst.ts:516:7:516:24 | [ClassInitializedMember,MethodDefinition] [a]() { return 1 } | semmle.label | [ClassInitializedMember,MethodDefinition] [a]() { return 1 } |
+| tst.ts:516:7:516:24 | [FunctionExpr] [a]() { return 1 } | semmle.label | [FunctionExpr] [a]() { return 1 } |
+| tst.ts:516:8:516:8 | [VarRef] a | semmle.label | [VarRef] a |
+| tst.ts:516:13:516:24 | [BlockStmt] { return 1 } | semmle.label | [BlockStmt] { return 1 } |
+| tst.ts:516:15:516:22 | [ReturnStmt] return 1 | semmle.label | [ReturnStmt] return 1 |
+| tst.ts:516:22:516:22 | [Literal] 1 | semmle.label | [Literal] 1 |
+| tst.ts:519:3:519:32 | [DeclStmt] const e1 = ... | semmle.label | [DeclStmt] const e1 = ... |
+| tst.ts:519:17:519:18 | [VarDecl] e1 | semmle.label | [VarDecl] e1 |
+| tst.ts:519:17:519:31 | [VariableDeclarator] e1: A[typeof a] | semmle.label | [VariableDeclarator] e1: A[typeof a] |
+| tst.ts:519:21:519:21 | [LocalTypeAccess] A | semmle.label | [LocalTypeAccess] A |
+| tst.ts:519:21:519:31 | [IndexedAccessTypeExpr] A[typeof a] | semmle.label | [IndexedAccessTypeExpr] A[typeof a] |
+| tst.ts:519:23:519:30 | [TypeofTypeExpr] typeof a | semmle.label | [TypeofTypeExpr] typeof a |
+| tst.ts:519:30:519:30 | [LocalVarTypeAccess] a | semmle.label | [LocalVarTypeAccess] a |
 | tstModuleCJS.cts:1:1:3:1 | [ExportDeclaration] export ... 'b'; } | semmle.label | [ExportDeclaration] export ... 'b'; } |
-| tstModuleCJS.cts:1:1:3:1 | [ExportDeclaration] export ... 'b'; } | semmle.order | 92 |
+| tstModuleCJS.cts:1:1:3:1 | [ExportDeclaration] export ... 'b'; } | semmle.order | 93 |
 | tstModuleCJS.cts:1:8:3:1 | [FunctionDeclStmt] functio ... 'b'; } | semmle.label | [FunctionDeclStmt] functio ... 'b'; } |
 | tstModuleCJS.cts:1:17:1:28 | [VarDecl] tstModuleCJS | semmle.label | [VarDecl] tstModuleCJS |
 | tstModuleCJS.cts:1:33:1:35 | [LiteralTypeExpr] 'a' | semmle.label | [LiteralTypeExpr] 'a' |
@@ -1896,7 +1923,7 @@ nodes
 | tstModuleCJS.cts:2:34:2:36 | [Literal] 'a' | semmle.label | [Literal] 'a' |
 | tstModuleCJS.cts:2:40:2:42 | [Literal] 'b' | semmle.label | [Literal] 'b' |
 | tstModuleES.mts:1:1:3:1 | [ExportDeclaration] export ... 'b'; } | semmle.label | [ExportDeclaration] export ... 'b'; } |
-| tstModuleES.mts:1:1:3:1 | [ExportDeclaration] export ... 'b'; } | semmle.order | 93 |
+| tstModuleES.mts:1:1:3:1 | [ExportDeclaration] export ... 'b'; } | semmle.order | 94 |
 | tstModuleES.mts:1:16:3:1 | [FunctionDeclStmt] functio ... 'b'; } | semmle.label | [FunctionDeclStmt] functio ... 'b'; } |
 | tstModuleES.mts:1:25:1:35 | [VarDecl] tstModuleES | semmle.label | [VarDecl] tstModuleES |
 | tstModuleES.mts:1:40:1:42 | [LiteralTypeExpr] 'a' | semmle.label | [LiteralTypeExpr] 'a' |
@@ -1914,7 +1941,7 @@ nodes
 | tstModuleES.mts:2:34:2:36 | [Literal] 'a' | semmle.label | [Literal] 'a' |
 | tstModuleES.mts:2:40:2:42 | [Literal] 'b' | semmle.label | [Literal] 'b' |
 | tstSuffixA.ts:1:1:3:1 | [ExportDeclaration] export ... .ts'; } | semmle.label | [ExportDeclaration] export ... .ts'; } |
-| tstSuffixA.ts:1:1:3:1 | [ExportDeclaration] export ... .ts'; } | semmle.order | 94 |
+| tstSuffixA.ts:1:1:3:1 | [ExportDeclaration] export ... .ts'; } | semmle.order | 95 |
 | tstSuffixA.ts:1:8:3:1 | [FunctionDeclStmt] functio ... .ts'; } | semmle.label | [FunctionDeclStmt] functio ... .ts'; } |
 | tstSuffixA.ts:1:17:1:28 | [VarDecl] resolvedFile | semmle.label | [VarDecl] resolvedFile |
 | tstSuffixA.ts:1:33:1:47 | [LiteralTypeExpr] 'tstSuffixA.ts' | semmle.label | [LiteralTypeExpr] 'tstSuffixA.ts' |
@@ -1922,7 +1949,7 @@ nodes
 | tstSuffixA.ts:2:5:2:27 | [ReturnStmt] return ... xA.ts'; | semmle.label | [ReturnStmt] return ... xA.ts'; |
 | tstSuffixA.ts:2:12:2:26 | [Literal] 'tstSuffixA.ts' | semmle.label | [Literal] 'tstSuffixA.ts' |
 | tstSuffixB.ios.ts:1:1:3:1 | [ExportDeclaration] export ... .ts'; } | semmle.label | [ExportDeclaration] export ... .ts'; } |
-| tstSuffixB.ios.ts:1:1:3:1 | [ExportDeclaration] export ... .ts'; } | semmle.order | 95 |
+| tstSuffixB.ios.ts:1:1:3:1 | [ExportDeclaration] export ... .ts'; } | semmle.order | 96 |
 | tstSuffixB.ios.ts:1:8:3:1 | [FunctionDeclStmt] functio ... .ts'; } | semmle.label | [FunctionDeclStmt] functio ... .ts'; } |
 | tstSuffixB.ios.ts:1:17:1:28 | [VarDecl] resolvedFile | semmle.label | [VarDecl] resolvedFile |
 | tstSuffixB.ios.ts:1:33:1:51 | [LiteralTypeExpr] 'tstSuffixB.ios.ts' | semmle.label | [LiteralTypeExpr] 'tstSuffixB.ios.ts' |
@@ -1930,7 +1957,7 @@ nodes
 | tstSuffixB.ios.ts:2:5:2:31 | [ReturnStmt] return ... os.ts'; | semmle.label | [ReturnStmt] return ... os.ts'; |
 | tstSuffixB.ios.ts:2:12:2:30 | [Literal] 'tstSuffixB.ios.ts' | semmle.label | [Literal] 'tstSuffixB.ios.ts' |
 | tstSuffixB.ts:1:1:3:1 | [ExportDeclaration] export ... .ts'; } | semmle.label | [ExportDeclaration] export ... .ts'; } |
-| tstSuffixB.ts:1:1:3:1 | [ExportDeclaration] export ... .ts'; } | semmle.order | 96 |
+| tstSuffixB.ts:1:1:3:1 | [ExportDeclaration] export ... .ts'; } | semmle.order | 97 |
 | tstSuffixB.ts:1:8:3:1 | [FunctionDeclStmt] functio ... .ts'; } | semmle.label | [FunctionDeclStmt] functio ... .ts'; } |
 | tstSuffixB.ts:1:17:1:28 | [VarDecl] resolvedFile | semmle.label | [VarDecl] resolvedFile |
 | tstSuffixB.ts:1:33:1:47 | [LiteralTypeExpr] 'tstSuffixB.ts' | semmle.label | [LiteralTypeExpr] 'tstSuffixB.ts' |
@@ -1938,16 +1965,16 @@ nodes
 | tstSuffixB.ts:2:5:2:27 | [ReturnStmt] return ... xB.ts'; | semmle.label | [ReturnStmt] return ... xB.ts'; |
 | tstSuffixB.ts:2:12:2:26 | [Literal] 'tstSuffixB.ts' | semmle.label | [Literal] 'tstSuffixB.ts' |
 | type_alias.ts:1:1:1:17 | [TypeAliasDeclaration,TypeDefinition] type B = boolean; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type B = boolean; |
-| type_alias.ts:1:1:1:17 | [TypeAliasDeclaration,TypeDefinition] type B = boolean; | semmle.order | 97 |
+| type_alias.ts:1:1:1:17 | [TypeAliasDeclaration,TypeDefinition] type B = boolean; | semmle.order | 98 |
 | type_alias.ts:1:6:1:6 | [Identifier] B | semmle.label | [Identifier] B |
 | type_alias.ts:1:10:1:16 | [KeywordTypeExpr] boolean | semmle.label | [KeywordTypeExpr] boolean |
 | type_alias.ts:3:1:3:9 | [DeclStmt] var b = ... | semmle.label | [DeclStmt] var b = ... |
-| type_alias.ts:3:1:3:9 | [DeclStmt] var b = ... | semmle.order | 98 |
+| type_alias.ts:3:1:3:9 | [DeclStmt] var b = ... | semmle.order | 99 |
 | type_alias.ts:3:5:3:5 | [VarDecl] b | semmle.label | [VarDecl] b |
 | type_alias.ts:3:5:3:8 | [VariableDeclarator] b: B | semmle.label | [VariableDeclarator] b: B |
 | type_alias.ts:3:8:3:8 | [LocalTypeAccess] B | semmle.label | [LocalTypeAccess] B |
 | type_alias.ts:5:1:5:50 | [TypeAliasDeclaration,TypeDefinition] type Va ... ay<T>>; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type Va ... ay<T>>; |
-| type_alias.ts:5:1:5:50 | [TypeAliasDeclaration,TypeDefinition] type Va ... ay<T>>; | semmle.order | 99 |
+| type_alias.ts:5:1:5:50 | [TypeAliasDeclaration,TypeDefinition] type Va ... ay<T>>; | semmle.order | 100 |
 | type_alias.ts:5:6:5:17 | [Identifier] ValueOrArray | semmle.label | [Identifier] ValueOrArray |
 | type_alias.ts:5:19:5:19 | [Identifier] T | semmle.label | [Identifier] T |
 | type_alias.ts:5:19:5:19 | [TypeParameter] T | semmle.label | [TypeParameter] T |
@@ -1959,14 +1986,14 @@ nodes
 | type_alias.ts:5:34:5:48 | [GenericTypeExpr] ValueOrArray<T> | semmle.label | [GenericTypeExpr] ValueOrArray<T> |
 | type_alias.ts:5:47:5:47 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
 | type_alias.ts:7:1:7:28 | [DeclStmt] var c = ... | semmle.label | [DeclStmt] var c = ... |
-| type_alias.ts:7:1:7:28 | [DeclStmt] var c = ... | semmle.order | 100 |
+| type_alias.ts:7:1:7:28 | [DeclStmt] var c = ... | semmle.order | 101 |
 | type_alias.ts:7:5:7:5 | [VarDecl] c | semmle.label | [VarDecl] c |
 | type_alias.ts:7:5:7:27 | [VariableDeclarator] c: Valu ... number> | semmle.label | [VariableDeclarator] c: Valu ... number> |
 | type_alias.ts:7:8:7:19 | [LocalTypeAccess] ValueOrArray | semmle.label | [LocalTypeAccess] ValueOrArray |
 | type_alias.ts:7:8:7:27 | [GenericTypeExpr] ValueOrArray<number> | semmle.label | [GenericTypeExpr] ValueOrArray<number> |
 | type_alias.ts:7:21:7:26 | [KeywordTypeExpr] number | semmle.label | [KeywordTypeExpr] number |
 | type_alias.ts:9:1:15:13 | [TypeAliasDeclaration,TypeDefinition] type Js ... Json[]; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type Js ... Json[]; |
-| type_alias.ts:9:1:15:13 | [TypeAliasDeclaration,TypeDefinition] type Js ... Json[]; | semmle.order | 101 |
+| type_alias.ts:9:1:15:13 | [TypeAliasDeclaration,TypeDefinition] type Js ... Json[]; | semmle.order | 102 |
 | type_alias.ts:9:6:9:9 | [Identifier] Json | semmle.label | [Identifier] Json |
 | type_alias.ts:10:5:15:12 | [UnionTypeExpr] \| strin ... Json[] | semmle.label | [UnionTypeExpr] \| strin ... Json[] |
 | type_alias.ts:10:7:10:12 | [KeywordTypeExpr] string | semmle.label | [KeywordTypeExpr] string |
@@ -1982,12 +2009,12 @@ nodes
 | type_alias.ts:15:7:15:10 | [LocalTypeAccess] Json | semmle.label | [LocalTypeAccess] Json |
 | type_alias.ts:15:7:15:12 | [ArrayTypeExpr] Json[] | semmle.label | [ArrayTypeExpr] Json[] |
 | type_alias.ts:17:1:17:15 | [DeclStmt] var json = ... | semmle.label | [DeclStmt] var json = ... |
-| type_alias.ts:17:1:17:15 | [DeclStmt] var json = ... | semmle.order | 102 |
+| type_alias.ts:17:1:17:15 | [DeclStmt] var json = ... | semmle.order | 103 |
 | type_alias.ts:17:5:17:8 | [VarDecl] json | semmle.label | [VarDecl] json |
 | type_alias.ts:17:5:17:14 | [VariableDeclarator] json: Json | semmle.label | [VariableDeclarator] json: Json |
 | type_alias.ts:17:11:17:14 | [LocalTypeAccess] Json | semmle.label | [LocalTypeAccess] Json |
 | type_alias.ts:19:1:21:57 | [TypeAliasDeclaration,TypeDefinition] type Vi ... ode[]]; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type Vi ... ode[]]; |
-| type_alias.ts:19:1:21:57 | [TypeAliasDeclaration,TypeDefinition] type Vi ... ode[]]; | semmle.order | 103 |
+| type_alias.ts:19:1:21:57 | [TypeAliasDeclaration,TypeDefinition] type Vi ... ode[]]; | semmle.order | 104 |
 | type_alias.ts:19:6:19:16 | [Identifier] VirtualNode | semmle.label | [Identifier] VirtualNode |
 | type_alias.ts:20:5:21:56 | [UnionTypeExpr] \| strin ... Node[]] | semmle.label | [UnionTypeExpr] \| strin ... Node[]] |
 | type_alias.ts:20:7:20:12 | [KeywordTypeExpr] string | semmle.label | [KeywordTypeExpr] string |
@@ -2003,7 +2030,7 @@ nodes
 | type_alias.ts:21:43:21:53 | [LocalTypeAccess] VirtualNode | semmle.label | [LocalTypeAccess] VirtualNode |
 | type_alias.ts:21:43:21:55 | [ArrayTypeExpr] VirtualNode[] | semmle.label | [ArrayTypeExpr] VirtualNode[] |
 | type_alias.ts:23:1:27:6 | [DeclStmt] const myNode = ... | semmle.label | [DeclStmt] const myNode = ... |
-| type_alias.ts:23:1:27:6 | [DeclStmt] const myNode = ... | semmle.order | 104 |
+| type_alias.ts:23:1:27:6 | [DeclStmt] const myNode = ... | semmle.order | 105 |
 | type_alias.ts:23:7:23:12 | [VarDecl] myNode | semmle.label | [VarDecl] myNode |
 | type_alias.ts:23:7:27:5 | [VariableDeclarator] myNode: ... ] ] | semmle.label | [VariableDeclarator] myNode: ... ] ] |
 | type_alias.ts:23:15:23:25 | [LocalTypeAccess] VirtualNode | semmle.label | [LocalTypeAccess] VirtualNode |
@@ -2028,12 +2055,12 @@ nodes
 | type_alias.ts:26:23:26:36 | [Literal] "second-child" | semmle.label | [Literal] "second-child" |
 | type_alias.ts:26:41:26:62 | [Literal] "I'm the second child" | semmle.label | [Literal] "I'm the second child" |
 | type_definition_objects.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.label | [ImportDeclaration] import ... dummy"; |
-| type_definition_objects.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.order | 105 |
+| type_definition_objects.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.order | 106 |
 | type_definition_objects.ts:1:8:1:17 | [ImportSpecifier] * as dummy | semmle.label | [ImportSpecifier] * as dummy |
 | type_definition_objects.ts:1:13:1:17 | [VarDecl] dummy | semmle.label | [VarDecl] dummy |
 | type_definition_objects.ts:1:24:1:32 | [Literal] "./dummy" | semmle.label | [Literal] "./dummy" |
 | type_definition_objects.ts:3:1:3:17 | [ExportDeclaration] export class C {} | semmle.label | [ExportDeclaration] export class C {} |
-| type_definition_objects.ts:3:1:3:17 | [ExportDeclaration] export class C {} | semmle.order | 106 |
+| type_definition_objects.ts:3:1:3:17 | [ExportDeclaration] export class C {} | semmle.order | 107 |
 | type_definition_objects.ts:3:8:3:17 | [ClassDefinition,TypeDefinition] class C {} | semmle.label | [ClassDefinition,TypeDefinition] class C {} |
 | type_definition_objects.ts:3:14:3:14 | [VarDecl] C | semmle.label | [VarDecl] C |
 | type_definition_objects.ts:3:16:3:15 | [BlockStmt] {} | semmle.label | [BlockStmt] {} |
@@ -2041,36 +2068,36 @@ nodes
 | type_definition_objects.ts:3:16:3:15 | [FunctionExpr] () {} | semmle.label | [FunctionExpr] () {} |
 | type_definition_objects.ts:3:16:3:15 | [Label] constructor | semmle.label | [Label] constructor |
 | type_definition_objects.ts:4:1:4:17 | [DeclStmt] let classObj = ... | semmle.label | [DeclStmt] let classObj = ... |
-| type_definition_objects.ts:4:1:4:17 | [DeclStmt] let classObj = ... | semmle.order | 107 |
+| type_definition_objects.ts:4:1:4:17 | [DeclStmt] let classObj = ... | semmle.order | 108 |
 | type_definition_objects.ts:4:5:4:12 | [VarDecl] classObj | semmle.label | [VarDecl] classObj |
 | type_definition_objects.ts:4:5:4:16 | [VariableDeclarator] classObj = C | semmle.label | [VariableDeclarator] classObj = C |
 | type_definition_objects.ts:4:16:4:16 | [VarRef] C | semmle.label | [VarRef] C |
 | type_definition_objects.ts:6:1:6:16 | [ExportDeclaration] export enum E {} | semmle.label | [ExportDeclaration] export enum E {} |
-| type_definition_objects.ts:6:1:6:16 | [ExportDeclaration] export enum E {} | semmle.order | 108 |
+| type_definition_objects.ts:6:1:6:16 | [ExportDeclaration] export enum E {} | semmle.order | 109 |
 | type_definition_objects.ts:6:8:6:16 | [EnumDeclaration,TypeDefinition] enum E {} | semmle.label | [EnumDeclaration,TypeDefinition] enum E {} |
 | type_definition_objects.ts:6:13:6:13 | [VarDecl] E | semmle.label | [VarDecl] E |
 | type_definition_objects.ts:7:1:7:16 | [DeclStmt] let enumObj = ... | semmle.label | [DeclStmt] let enumObj = ... |
-| type_definition_objects.ts:7:1:7:16 | [DeclStmt] let enumObj = ... | semmle.order | 109 |
+| type_definition_objects.ts:7:1:7:16 | [DeclStmt] let enumObj = ... | semmle.order | 110 |
 | type_definition_objects.ts:7:5:7:11 | [VarDecl] enumObj | semmle.label | [VarDecl] enumObj |
 | type_definition_objects.ts:7:5:7:15 | [VariableDeclarator] enumObj = E | semmle.label | [VariableDeclarator] enumObj = E |
 | type_definition_objects.ts:7:15:7:15 | [VarRef] E | semmle.label | [VarRef] E |
 | type_definition_objects.ts:9:1:9:22 | [ExportDeclaration] export ... e N {;} | semmle.label | [ExportDeclaration] export ... e N {;} |
-| type_definition_objects.ts:9:1:9:22 | [ExportDeclaration] export ... e N {;} | semmle.order | 110 |
+| type_definition_objects.ts:9:1:9:22 | [ExportDeclaration] export ... e N {;} | semmle.order | 111 |
 | type_definition_objects.ts:9:8:9:22 | [NamespaceDeclaration] namespace N {;} | semmle.label | [NamespaceDeclaration] namespace N {;} |
 | type_definition_objects.ts:9:18:9:18 | [VarDecl] N | semmle.label | [VarDecl] N |
 | type_definition_objects.ts:9:21:9:21 | [EmptyStmt] ; | semmle.label | [EmptyStmt] ; |
 | type_definition_objects.ts:10:1:10:21 | [DeclStmt] let namespaceObj = ... | semmle.label | [DeclStmt] let namespaceObj = ... |
-| type_definition_objects.ts:10:1:10:21 | [DeclStmt] let namespaceObj = ... | semmle.order | 111 |
+| type_definition_objects.ts:10:1:10:21 | [DeclStmt] let namespaceObj = ... | semmle.order | 112 |
 | type_definition_objects.ts:10:5:10:16 | [VarDecl] namespaceObj | semmle.label | [VarDecl] namespaceObj |
 | type_definition_objects.ts:10:5:10:20 | [VariableDeclarator] namespaceObj = N | semmle.label | [VariableDeclarator] namespaceObj = N |
 | type_definition_objects.ts:10:20:10:20 | [VarRef] N | semmle.label | [VarRef] N |
 | type_definitions.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.label | [ImportDeclaration] import ... dummy"; |
-| type_definitions.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.order | 112 |
+| type_definitions.ts:1:1:1:33 | [ImportDeclaration] import ... dummy"; | semmle.order | 113 |
 | type_definitions.ts:1:8:1:17 | [ImportSpecifier] * as dummy | semmle.label | [ImportSpecifier] * as dummy |
 | type_definitions.ts:1:13:1:17 | [VarDecl] dummy | semmle.label | [VarDecl] dummy |
 | type_definitions.ts:1:24:1:32 | [Literal] "./dummy" | semmle.label | [Literal] "./dummy" |
 | type_definitions.ts:3:1:5:1 | [InterfaceDeclaration,TypeDefinition] interfa ... x: S; } | semmle.label | [InterfaceDeclaration,TypeDefinition] interfa ... x: S; } |
-| type_definitions.ts:3:1:5:1 | [InterfaceDeclaration,TypeDefinition] interfa ... x: S; } | semmle.order | 113 |
+| type_definitions.ts:3:1:5:1 | [InterfaceDeclaration,TypeDefinition] interfa ... x: S; } | semmle.order | 114 |
 | type_definitions.ts:3:11:3:11 | [Identifier] I | semmle.label | [Identifier] I |
 | type_definitions.ts:3:13:3:13 | [Identifier] S | semmle.label | [Identifier] S |
 | type_definitions.ts:3:13:3:13 | [TypeParameter] S | semmle.label | [TypeParameter] S |
@@ -2078,14 +2105,14 @@ nodes
 | type_definitions.ts:4:3:4:7 | [FieldDeclaration] x: S; | semmle.label | [FieldDeclaration] x: S; |
 | type_definitions.ts:4:6:4:6 | [LocalTypeAccess] S | semmle.label | [LocalTypeAccess] S |
 | type_definitions.ts:6:1:6:16 | [DeclStmt] let i = ... | semmle.label | [DeclStmt] let i = ... |
-| type_definitions.ts:6:1:6:16 | [DeclStmt] let i = ... | semmle.order | 114 |
+| type_definitions.ts:6:1:6:16 | [DeclStmt] let i = ... | semmle.order | 115 |
 | type_definitions.ts:6:5:6:5 | [VarDecl] i | semmle.label | [VarDecl] i |
 | type_definitions.ts:6:5:6:16 | [VariableDeclarator] i: I<number> | semmle.label | [VariableDeclarator] i: I<number> |
 | type_definitions.ts:6:8:6:8 | [LocalTypeAccess] I | semmle.label | [LocalTypeAccess] I |
 | type_definitions.ts:6:8:6:16 | [GenericTypeExpr] I<number> | semmle.label | [GenericTypeExpr] I<number> |
 | type_definitions.ts:6:10:6:15 | [KeywordTypeExpr] number | semmle.label | [KeywordTypeExpr] number |
 | type_definitions.ts:8:1:10:1 | [ClassDefinition,TypeDefinition] class C ... x: T } | semmle.label | [ClassDefinition,TypeDefinition] class C ... x: T } |
-| type_definitions.ts:8:1:10:1 | [ClassDefinition,TypeDefinition] class C ... x: T } | semmle.order | 115 |
+| type_definitions.ts:8:1:10:1 | [ClassDefinition,TypeDefinition] class C ... x: T } | semmle.order | 116 |
 | type_definitions.ts:8:7:8:7 | [VarDecl] C | semmle.label | [VarDecl] C |
 | type_definitions.ts:8:8:8:7 | [BlockStmt] {} | semmle.label | [BlockStmt] {} |
 | type_definitions.ts:8:8:8:7 | [ClassInitializedMember,ConstructorDefinition] constructor() {} | semmle.label | [ClassInitializedMember,ConstructorDefinition] constructor() {} |
@@ -2097,14 +2124,14 @@ nodes
 | type_definitions.ts:9:3:9:6 | [FieldDeclaration] x: T | semmle.label | [FieldDeclaration] x: T |
 | type_definitions.ts:9:6:9:6 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
 | type_definitions.ts:11:1:11:17 | [DeclStmt] let c = ... | semmle.label | [DeclStmt] let c = ... |
-| type_definitions.ts:11:1:11:17 | [DeclStmt] let c = ... | semmle.order | 116 |
+| type_definitions.ts:11:1:11:17 | [DeclStmt] let c = ... | semmle.order | 117 |
 | type_definitions.ts:11:5:11:5 | [VarDecl] c | semmle.label | [VarDecl] c |
 | type_definitions.ts:11:5:11:16 | [VariableDeclarator] c: C<number> | semmle.label | [VariableDeclarator] c: C<number> |
 | type_definitions.ts:11:8:11:8 | [LocalTypeAccess] C | semmle.label | [LocalTypeAccess] C |
 | type_definitions.ts:11:8:11:16 | [GenericTypeExpr] C<number> | semmle.label | [GenericTypeExpr] C<number> |
 | type_definitions.ts:11:10:11:15 | [KeywordTypeExpr] number | semmle.label | [KeywordTypeExpr] number |
 | type_definitions.ts:13:1:15:1 | [EnumDeclaration,TypeDefinition] enum Co ... blue } | semmle.label | [EnumDeclaration,TypeDefinition] enum Co ... blue } |
-| type_definitions.ts:13:1:15:1 | [EnumDeclaration,TypeDefinition] enum Co ... blue } | semmle.order | 117 |
+| type_definitions.ts:13:1:15:1 | [EnumDeclaration,TypeDefinition] enum Co ... blue } | semmle.order | 118 |
 | type_definitions.ts:13:6:13:10 | [VarDecl] Color | semmle.label | [VarDecl] Color |
 | type_definitions.ts:14:3:14:5 | [EnumMember,TypeDefinition] red | semmle.label | [EnumMember,TypeDefinition] red |
 | type_definitions.ts:14:3:14:5 | [VarDecl] red | semmle.label | [VarDecl] red |
@@ -2113,29 +2140,29 @@ nodes
 | type_definitions.ts:14:15:14:18 | [EnumMember,TypeDefinition] blue | semmle.label | [EnumMember,TypeDefinition] blue |
 | type_definitions.ts:14:15:14:18 | [VarDecl] blue | semmle.label | [VarDecl] blue |
 | type_definitions.ts:16:1:16:17 | [DeclStmt] let color = ... | semmle.label | [DeclStmt] let color = ... |
-| type_definitions.ts:16:1:16:17 | [DeclStmt] let color = ... | semmle.order | 118 |
+| type_definitions.ts:16:1:16:17 | [DeclStmt] let color = ... | semmle.order | 119 |
 | type_definitions.ts:16:5:16:9 | [VarDecl] color | semmle.label | [VarDecl] color |
 | type_definitions.ts:16:5:16:16 | [VariableDeclarator] color: Color | semmle.label | [VariableDeclarator] color: Color |
 | type_definitions.ts:16:12:16:16 | [LocalTypeAccess] Color | semmle.label | [LocalTypeAccess] Color |
 | type_definitions.ts:18:1:18:33 | [EnumDeclaration,TypeDefinition] enum En ... ember } | semmle.label | [EnumDeclaration,TypeDefinition] enum En ... ember } |
-| type_definitions.ts:18:1:18:33 | [EnumDeclaration,TypeDefinition] enum En ... ember } | semmle.order | 119 |
+| type_definitions.ts:18:1:18:33 | [EnumDeclaration,TypeDefinition] enum En ... ember } | semmle.order | 120 |
 | type_definitions.ts:18:6:18:22 | [VarDecl] EnumWithOneMember | semmle.label | [VarDecl] EnumWithOneMember |
 | type_definitions.ts:18:26:18:31 | [EnumMember,TypeDefinition] member | semmle.label | [EnumMember,TypeDefinition] member |
 | type_definitions.ts:18:26:18:31 | [VarDecl] member | semmle.label | [VarDecl] member |
 | type_definitions.ts:19:1:19:25 | [DeclStmt] let e = ... | semmle.label | [DeclStmt] let e = ... |
-| type_definitions.ts:19:1:19:25 | [DeclStmt] let e = ... | semmle.order | 120 |
+| type_definitions.ts:19:1:19:25 | [DeclStmt] let e = ... | semmle.order | 121 |
 | type_definitions.ts:19:5:19:5 | [VarDecl] e | semmle.label | [VarDecl] e |
 | type_definitions.ts:19:5:19:24 | [VariableDeclarator] e: EnumWithOneMember | semmle.label | [VariableDeclarator] e: EnumWithOneMember |
 | type_definitions.ts:19:8:19:24 | [LocalTypeAccess] EnumWithOneMember | semmle.label | [LocalTypeAccess] EnumWithOneMember |
 | type_definitions.ts:21:1:21:20 | [TypeAliasDeclaration,TypeDefinition] type Alias<T> = T[]; | semmle.label | [TypeAliasDeclaration,TypeDefinition] type Alias<T> = T[]; |
-| type_definitions.ts:21:1:21:20 | [TypeAliasDeclaration,TypeDefinition] type Alias<T> = T[]; | semmle.order | 121 |
+| type_definitions.ts:21:1:21:20 | [TypeAliasDeclaration,TypeDefinition] type Alias<T> = T[]; | semmle.order | 122 |
 | type_definitions.ts:21:6:21:10 | [Identifier] Alias | semmle.label | [Identifier] Alias |
 | type_definitions.ts:21:12:21:12 | [Identifier] T | semmle.label | [Identifier] T |
 | type_definitions.ts:21:12:21:12 | [TypeParameter] T | semmle.label | [TypeParameter] T |
 | type_definitions.ts:21:17:21:17 | [LocalTypeAccess] T | semmle.label | [LocalTypeAccess] T |
 | type_definitions.ts:21:17:21:19 | [ArrayTypeExpr] T[] | semmle.label | [ArrayTypeExpr] T[] |
 | type_definitions.ts:22:1:22:39 | [DeclStmt] let aliasForNumberArray = ... | semmle.label | [DeclStmt] let aliasForNumberArray = ... |
-| type_definitions.ts:22:1:22:39 | [DeclStmt] let aliasForNumberArray = ... | semmle.order | 122 |
+| type_definitions.ts:22:1:22:39 | [DeclStmt] let aliasForNumberArray = ... | semmle.order | 123 |
 | type_definitions.ts:22:5:22:23 | [VarDecl] aliasForNumberArray | semmle.label | [VarDecl] aliasForNumberArray |
 | type_definitions.ts:22:5:22:38 | [VariableDeclarator] aliasFo ... number> | semmle.label | [VariableDeclarator] aliasFo ... number> |
 | type_definitions.ts:22:26:22:30 | [LocalTypeAccess] Alias | semmle.label | [LocalTypeAccess] Alias |
@@ -5534,6 +5561,56 @@ edges
 | tst.ts:508:17:508:36 | [DotExpr] obj[key].toUpperCase | tst.ts:508:26:508:36 | [Label] toUpperCase | semmle.order | 2 |
 | tst.ts:508:17:508:38 | [MethodCallExpr] obj[key ... rCase() | tst.ts:508:17:508:36 | [DotExpr] obj[key].toUpperCase | semmle.label | 0 |
 | tst.ts:508:17:508:38 | [MethodCallExpr] obj[key ... rCase() | tst.ts:508:17:508:36 | [DotExpr] obj[key].toUpperCase | semmle.order | 0 |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | tst.ts:513:11:513:14 | [VarDecl] TS57 | semmle.label | 1 |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | tst.ts:513:11:513:14 | [VarDecl] TS57 | semmle.order | 1 |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | tst.ts:514:3:514:26 | [DeclStmt] const a = ... | semmle.label | 2 |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | tst.ts:514:3:514:26 | [DeclStmt] const a = ... | semmle.order | 2 |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | tst.ts:515:3:517:3 | [ExportDeclaration] export ... }; } | semmle.label | 3 |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | tst.ts:515:3:517:3 | [ExportDeclaration] export ... }; } | semmle.order | 3 |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | tst.ts:519:3:519:32 | [DeclStmt] const e1 = ... | semmle.label | 4 |
+| tst.ts:513:1:520:1 | [NamespaceDeclaration] namespa ... type. } | tst.ts:519:3:519:32 | [DeclStmt] const e1 = ... | semmle.order | 4 |
+| tst.ts:514:3:514:26 | [DeclStmt] const a = ... | tst.ts:514:17:514:25 | [VariableDeclarator] a: symbol | semmle.label | 1 |
+| tst.ts:514:3:514:26 | [DeclStmt] const a = ... | tst.ts:514:17:514:25 | [VariableDeclarator] a: symbol | semmle.order | 1 |
+| tst.ts:514:17:514:25 | [VariableDeclarator] a: symbol | tst.ts:514:17:514:17 | [VarDecl] a | semmle.label | 1 |
+| tst.ts:514:17:514:25 | [VariableDeclarator] a: symbol | tst.ts:514:17:514:17 | [VarDecl] a | semmle.order | 1 |
+| tst.ts:514:17:514:25 | [VariableDeclarator] a: symbol | tst.ts:514:20:514:25 | [KeywordTypeExpr] symbol | semmle.label | 2 |
+| tst.ts:514:17:514:25 | [VariableDeclarator] a: symbol | tst.ts:514:20:514:25 | [KeywordTypeExpr] symbol | semmle.order | 2 |
+| tst.ts:515:3:517:3 | [ExportDeclaration] export ... }; } | tst.ts:515:10:517:3 | [ClassDefinition,TypeDefinition] class A ... }; } | semmle.label | 1 |
+| tst.ts:515:3:517:3 | [ExportDeclaration] export ... }; } | tst.ts:515:10:517:3 | [ClassDefinition,TypeDefinition] class A ... }; } | semmle.order | 1 |
+| tst.ts:515:10:517:3 | [ClassDefinition,TypeDefinition] class A ... }; } | tst.ts:515:16:515:16 | [VarDecl] A | semmle.label | 1 |
+| tst.ts:515:10:517:3 | [ClassDefinition,TypeDefinition] class A ... }; } | tst.ts:515:16:515:16 | [VarDecl] A | semmle.order | 1 |
+| tst.ts:515:10:517:3 | [ClassDefinition,TypeDefinition] class A ... }; } | tst.ts:515:18:515:17 | [ClassInitializedMember,ConstructorDefinition] constructor() {} | semmle.label | 2 |
+| tst.ts:515:10:517:3 | [ClassDefinition,TypeDefinition] class A ... }; } | tst.ts:515:18:515:17 | [ClassInitializedMember,ConstructorDefinition] constructor() {} | semmle.order | 2 |
+| tst.ts:515:10:517:3 | [ClassDefinition,TypeDefinition] class A ... }; } | tst.ts:516:7:516:24 | [ClassInitializedMember,MethodDefinition] [a]() { return 1 } | semmle.label | 3 |
+| tst.ts:515:10:517:3 | [ClassDefinition,TypeDefinition] class A ... }; } | tst.ts:516:7:516:24 | [ClassInitializedMember,MethodDefinition] [a]() { return 1 } | semmle.order | 3 |
+| tst.ts:515:18:515:17 | [ClassInitializedMember,ConstructorDefinition] constructor() {} | tst.ts:515:18:515:17 | [FunctionExpr] () {} | semmle.label | 2 |
+| tst.ts:515:18:515:17 | [ClassInitializedMember,ConstructorDefinition] constructor() {} | tst.ts:515:18:515:17 | [FunctionExpr] () {} | semmle.order | 2 |
+| tst.ts:515:18:515:17 | [ClassInitializedMember,ConstructorDefinition] constructor() {} | tst.ts:515:18:515:17 | [Label] constructor | semmle.label | 1 |
+| tst.ts:515:18:515:17 | [ClassInitializedMember,ConstructorDefinition] constructor() {} | tst.ts:515:18:515:17 | [Label] constructor | semmle.order | 1 |
+| tst.ts:515:18:515:17 | [FunctionExpr] () {} | tst.ts:515:18:515:17 | [BlockStmt] {} | semmle.label | 5 |
+| tst.ts:515:18:515:17 | [FunctionExpr] () {} | tst.ts:515:18:515:17 | [BlockStmt] {} | semmle.order | 5 |
+| tst.ts:516:7:516:24 | [ClassInitializedMember,MethodDefinition] [a]() { return 1 } | tst.ts:516:7:516:24 | [FunctionExpr] [a]() { return 1 } | semmle.label | 1 |
+| tst.ts:516:7:516:24 | [ClassInitializedMember,MethodDefinition] [a]() { return 1 } | tst.ts:516:7:516:24 | [FunctionExpr] [a]() { return 1 } | semmle.order | 1 |
+| tst.ts:516:7:516:24 | [ClassInitializedMember,MethodDefinition] [a]() { return 1 } | tst.ts:516:8:516:8 | [VarRef] a | semmle.label | 2 |
+| tst.ts:516:7:516:24 | [ClassInitializedMember,MethodDefinition] [a]() { return 1 } | tst.ts:516:8:516:8 | [VarRef] a | semmle.order | 2 |
+| tst.ts:516:7:516:24 | [FunctionExpr] [a]() { return 1 } | tst.ts:516:13:516:24 | [BlockStmt] { return 1 } | semmle.label | 5 |
+| tst.ts:516:7:516:24 | [FunctionExpr] [a]() { return 1 } | tst.ts:516:13:516:24 | [BlockStmt] { return 1 } | semmle.order | 5 |
+| tst.ts:516:13:516:24 | [BlockStmt] { return 1 } | tst.ts:516:15:516:22 | [ReturnStmt] return 1 | semmle.label | 1 |
+| tst.ts:516:13:516:24 | [BlockStmt] { return 1 } | tst.ts:516:15:516:22 | [ReturnStmt] return 1 | semmle.order | 1 |
+| tst.ts:516:15:516:22 | [ReturnStmt] return 1 | tst.ts:516:22:516:22 | [Literal] 1 | semmle.label | 1 |
+| tst.ts:516:15:516:22 | [ReturnStmt] return 1 | tst.ts:516:22:516:22 | [Literal] 1 | semmle.order | 1 |
+| tst.ts:519:3:519:32 | [DeclStmt] const e1 = ... | tst.ts:519:17:519:31 | [VariableDeclarator] e1: A[typeof a] | semmle.label | 1 |
+| tst.ts:519:3:519:32 | [DeclStmt] const e1 = ... | tst.ts:519:17:519:31 | [VariableDeclarator] e1: A[typeof a] | semmle.order | 1 |
+| tst.ts:519:17:519:31 | [VariableDeclarator] e1: A[typeof a] | tst.ts:519:17:519:18 | [VarDecl] e1 | semmle.label | 1 |
+| tst.ts:519:17:519:31 | [VariableDeclarator] e1: A[typeof a] | tst.ts:519:17:519:18 | [VarDecl] e1 | semmle.order | 1 |
+| tst.ts:519:17:519:31 | [VariableDeclarator] e1: A[typeof a] | tst.ts:519:21:519:31 | [IndexedAccessTypeExpr] A[typeof a] | semmle.label | 2 |
+| tst.ts:519:17:519:31 | [VariableDeclarator] e1: A[typeof a] | tst.ts:519:21:519:31 | [IndexedAccessTypeExpr] A[typeof a] | semmle.order | 2 |
+| tst.ts:519:21:519:31 | [IndexedAccessTypeExpr] A[typeof a] | tst.ts:519:21:519:21 | [LocalTypeAccess] A | semmle.label | 1 |
+| tst.ts:519:21:519:31 | [IndexedAccessTypeExpr] A[typeof a] | tst.ts:519:21:519:21 | [LocalTypeAccess] A | semmle.order | 1 |
+| tst.ts:519:21:519:31 | [IndexedAccessTypeExpr] A[typeof a] | tst.ts:519:23:519:30 | [TypeofTypeExpr] typeof a | semmle.label | 2 |
+| tst.ts:519:21:519:31 | [IndexedAccessTypeExpr] A[typeof a] | tst.ts:519:23:519:30 | [TypeofTypeExpr] typeof a | semmle.order | 2 |
+| tst.ts:519:23:519:30 | [TypeofTypeExpr] typeof a | tst.ts:519:30:519:30 | [LocalVarTypeAccess] a | semmle.label | 1 |
+| tst.ts:519:23:519:30 | [TypeofTypeExpr] typeof a | tst.ts:519:30:519:30 | [LocalVarTypeAccess] a | semmle.order | 1 |
 | tstModuleCJS.cts:1:1:3:1 | [ExportDeclaration] export ... 'b'; } | tstModuleCJS.cts:1:8:3:1 | [FunctionDeclStmt] functio ... 'b'; } | semmle.label | 1 |
 | tstModuleCJS.cts:1:1:3:1 | [ExportDeclaration] export ... 'b'; } | tstModuleCJS.cts:1:8:3:1 | [FunctionDeclStmt] functio ... 'b'; } | semmle.order | 1 |
 | tstModuleCJS.cts:1:8:3:1 | [FunctionDeclStmt] functio ... 'b'; } | tstModuleCJS.cts:1:17:1:28 | [VarDecl] tstModuleCJS | semmle.label | 0 |
diff --git a/javascript/ql/test/library-tests/TypeScript/Types/tests.expected b/javascript/ql/test/library-tests/TypeScript/Types/tests.expected
index b786fae3713e..150ce1867248 100644
--- a/javascript/ql/test/library-tests/TypeScript/Types/tests.expected
+++ b/javascript/ql/test/library-tests/TypeScript/Types/tests.expected
@@ -728,6 +728,13 @@ getExprType
 | tst.ts:508:17:508:38 | obj[key ... rCase() | string |
 | tst.ts:508:21:508:23 | key | string |
 | tst.ts:508:26:508:36 | toUpperCase | () => string |
+| tst.ts:513:11:513:14 | TS57 | typeof TS57 in tst.ts |
+| tst.ts:514:17:514:17 | a | symbol |
+| tst.ts:515:16:515:16 | A | A |
+| tst.ts:516:7:516:24 | [a]() { return 1 } | () => number |
+| tst.ts:516:8:516:8 | a | symbol |
+| tst.ts:516:22:516:22 | 1 | 1 |
+| tst.ts:519:17:519:18 | e1 | () => number |
 | tstModuleCJS.cts:1:17:1:28 | tstModuleCJS | () => "a" \| "b" |
 | tstModuleCJS.cts:2:12:2:15 | Math | Math |
 | tstModuleCJS.cts:2:12:2:22 | Math.random | () => number |
@@ -843,6 +850,7 @@ getTypeDefinitionType
 | tst.ts:447:5:458:5 | class P ... }\\n    } | Person |
 | tst.ts:473:5:476:5 | class S ... ;\\n    } | SomeClass |
 | tst.ts:481:5:481:34 | type Pa ...  T, T]; | Pair3<T> |
+| tst.ts:515:10:517:3 | class A ...  };\\n  } | A |
 | type_alias.ts:1:1:1:17 | type B = boolean; | boolean |
 | type_alias.ts:5:1:5:50 | type Va ... ay<T>>; | ValueOrArray<T> |
 | type_alias.ts:9:1:15:13 | type Js ... Json[]; | Json |
@@ -1219,6 +1227,11 @@ getTypeExprType
 | tst.ts:506:27:506:32 | string | string |
 | tst.ts:506:35:506:41 | unknown | unknown |
 | tst.ts:506:50:506:55 | string | string |
+| tst.ts:514:20:514:25 | symbol | symbol |
+| tst.ts:519:21:519:21 | A | A |
+| tst.ts:519:21:519:31 | A[typeof a] | () => number |
+| tst.ts:519:23:519:30 | typeof a | symbol |
+| tst.ts:519:30:519:30 | a | symbol |
 | tstModuleCJS.cts:1:33:1:35 | 'a' | "a" |
 | tstModuleCJS.cts:1:33:1:41 | 'a' \| 'b' | "a" \| "b" |
 | tstModuleCJS.cts:1:39:1:41 | 'b' | "b" |
@@ -1290,6 +1303,7 @@ getTypeExprType
 missingToString
 referenceDefinition
 | A | badTypes.ts:5:1:5:29 | interfa ... is.B {} |
+| A | tst.ts:515:10:517:3 | class A ...  };\\n  } |
 | Action | tst.ts:252:3:254:50 | type Ac ... ring }; |
 | Alias<T> | type_definitions.ts:21:1:21:20 | type Alias<T> = T[]; |
 | Alias<number> | type_definitions.ts:21:1:21:20 | type Alias<T> = T[]; |
diff --git a/javascript/ql/test/library-tests/TypeScript/Types/tst.ts b/javascript/ql/test/library-tests/TypeScript/Types/tst.ts
index 4c29465b5645..87f876be9d0f 100644
--- a/javascript/ql/test/library-tests/TypeScript/Types/tst.ts
+++ b/javascript/ql/test/library-tests/TypeScript/Types/tst.ts
@@ -508,4 +508,13 @@ module TS55 {
       var str = obj[key].toUpperCase(); // Now okay, previously was error
     }
   }
-}
\ No newline at end of file
+}
+
+namespace TS57{
+  declare const a: symbol;
+  export class A {
+      [a]() { return 1 };
+  }
+
+  declare const e1: A[typeof a]; // Now okay, previously was compilation error TS2538: Type 'symbol' cannot be used as an index type.
+}