hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #9235 from kaeluka/extractor-update-typescript-4_7

Browse Source 
JS: Update the extractor to use TypeScript 4.7
This commit is contained in:
Erik Krogh Kristensen
2022-05-30 12:02:06 +02:00
committed by GitHub
parent 2f436c800b 62fd3fd90f
commit c7a8008897
19 changed files with 1173 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
javascript/ql/lib/change-notes/2022-05-24-typescript-4-7.md Normal file
View File

@@ -0,0 +1,4 @@
---
category: majorAnalysis
---
* Added support for TypeScript 4.7.

2
javascript/ql/lib/semmle/javascript/TypeScript.qll
View File

@@ -1286,6 +1286,8 @@ class ExpressionWithTypeArguments extends @expression_with_type_arguments, Expr
override ControlFlowNode getFirstControlFlowNode() {
result = this.getExpression().getFirstControlFlowNode()
}
override string getAPrimaryQlClass() { result = "ExpressionWithTypeArguments" }
}
/**

879
javascript/ql/test/library-tests/TypeScript/Types/printAst.expected
View File

File diff suppressed because it is too large Load Diff

199
javascript/ql/test/library-tests/TypeScript/Types/tests.expected
View File

@@ -386,6 +386,148 @@ getExprType
| tst.ts:293:7:293:21 | payload.toFixed | (fractionDigits?: number) => string |
| tst.ts:293:7:293:23 | payload.toFixed() | string |
| tst.ts:293:15:293:21 | toFixed | (fractionDigits?: number) => string |
| tst.ts:298:7:298:9 | key | typeof key |
| tst.ts:298:13:298:18 | Symbol | SymbolConstructor |
| tst.ts:298:13:298:20 | Symbol() | typeof key |
| tst.ts:300:7:300:20 | numberOrString | "hello" \| 42 |
| tst.ts:300:24:300:27 | Math | Math |
| tst.ts:300:24:300:34 | Math.random | () => number |
| tst.ts:300:24:300:36 | Math.random() | number |
| tst.ts:300:24:300:42 | Math.random() < 0.5 | boolean |
| tst.ts:300:24:300:57 | Math.ra ... "hello" | "hello" \| 42 |
| tst.ts:300:29:300:34 | random | () => number |
| tst.ts:300:40:300:42 | 0.5 | 0.5 |
| tst.ts:300:46:300:47 | 42 | 42 |
| tst.ts:300:51:300:57 | "hello" | "hello" |
| tst.ts:302:5:302:7 | obj | { [key]: string \| number; } |
| tst.ts:302:11:304:1 | {\\n [ke ... ring,\\n} | { [key]: string \| number; } |
| tst.ts:303:4:303:6 | key | typeof key |
| tst.ts:303:10:303:23 | numberOrString | "hello" \| 42 |
| tst.ts:306:5:306:19 | typeof obj[key] | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| tst.ts:306:5:306:32 | typeof ... string" | boolean |
| tst.ts:306:12:306:14 | obj | { [key]: string \| number; } |
| tst.ts:306:12:306:19 | obj[key] | string \| number |
| tst.ts:306:16:306:18 | key | typeof key |
| tst.ts:306:25:306:32 | "string" | "string" |
| tst.ts:307:7:307:9 | str | string |
| tst.ts:307:13:307:15 | obj | { [key]: string \| number; } |
| tst.ts:307:13:307:20 | obj[key] | string |
| tst.ts:307:17:307:19 | key | typeof key |
| tst.ts:308:3:308:5 | str | string |
| tst.ts:308:3:308:17 | str.toUpperCase | () => string |
| tst.ts:308:3:308:19 | str.toUpperCase() | string |
| tst.ts:308:7:308:17 | toUpperCase | () => string |
| tst.ts:313:10:313:10 | f | <T>(arg: { produce: (n: string) => T; consume: ... |
| tst.ts:313:15:313:17 | arg | { produce: (n: string) => T; consume: (x: T) =>... |
| tst.ts:314:3:314:9 | produce | (n: string) => T |
| tst.ts:314:12:314:27 | (n: string) => T | (n: string) => T |
| tst.ts:314:13:314:13 | n | string |
| tst.ts:315:3:315:9 | consume | (x: T) => void |
| tst.ts:315:12:315:25 | (x: T) => void | (x: T) => void |
| tst.ts:315:13:315:13 | x | T |
| tst.ts:318:1:318:1 | f | <T>(arg: { produce: (n: string) => T; consume: ... |
| tst.ts:318:1:321:2 | f({\\n p ... se()\\n}) | void |
| tst.ts:318:3:321:1 | {\\n pro ... ase()\\n} | { produce: (n: string) => string; consume: (x: ... |
| tst.ts:319:3:319:9 | produce | (n: string) => string |
| tst.ts:319:12:319:12 | n | string |
| tst.ts:319:12:319:17 | n => n | (n: string) => string |
| tst.ts:319:17:319:17 | n | string |
| tst.ts:320:3:320:9 | consume | (x: string) => string |
| tst.ts:320:12:320:12 | x | string |
| tst.ts:320:12:320:31 | x => x.toLowerCase() | (x: string) => string |
| tst.ts:320:17:320:17 | x | string |
| tst.ts:320:17:320:29 | x.toLowerCase | () => string |
| tst.ts:320:17:320:31 | x.toLowerCase() | string |
| tst.ts:320:19:320:29 | toLowerCase | () => string |
| tst.ts:325:7:325:14 | ErrorMap | { new (entries?: readonly (readonly [string, Er... |
| tst.ts:325:18:325:20 | Map | MapConstructor |
| tst.ts:325:18:325:35 | Map<string, Error> | any |
| tst.ts:327:7:327:14 | errorMap | Map<string, Error> |
| tst.ts:327:18:327:31 | new ErrorMap() | Map<string, Error> |
| tst.ts:327:22:327:29 | ErrorMap | { new (entries?: readonly (readonly [string, Er... |
| tst.ts:338:7:338:7 | a | "a" \| "b" |
| tst.ts:338:14:338:16 | 'a' | "a" |
| tst.ts:343:3:343:5 | get | () => T |
| tst.ts:343:8:343:14 | () => T | () => T |
| tst.ts:344:3:344:5 | set | (value: T) => void |
| tst.ts:344:8:344:25 | (value: T) => void | (value: T) => void |
| tst.ts:344:9:344:13 | value | T |
| tst.ts:347:7:347:11 | state | State<number> |
| tst.ts:347:30:350:1 | {\\n get ... > { }\\n} | State<number> |
| tst.ts:348:3:348:5 | get | () => number |
| tst.ts:348:8:348:15 | () => 42 | () => number |
| tst.ts:348:14:348:15 | 42 | 42 |
| tst.ts:349:3:349:5 | set | (value: number) => void |
| tst.ts:349:8:349:21 | (value) => { } | (value: number) => void |
| tst.ts:349:9:349:13 | value | number |
| tst.ts:352:7:352:14 | fortyTwo | number |
| tst.ts:352:18:352:22 | state | State<number> |
| tst.ts:352:18:352:26 | state.get | () => number |
| tst.ts:352:18:352:28 | state.get() | number |
| tst.ts:352:24:352:26 | get | () => number |
| tst.ts:356:8:356:18 | tstModuleES | () => "a" \| "b" |
| tst.ts:356:25:356:43 | './tstModuleES.mjs' | any |
| tst.ts:358:1:358:7 | console | Console |
| tst.ts:358:1:358:11 | console.log | (...data: any[]) => void |
| tst.ts:358:1:358:26 | console ... leES()) | void |
| tst.ts:358:9:358:11 | log | (...data: any[]) => void |
| tst.ts:358:13:358:23 | tstModuleES | () => "a" \| "b" |
| tst.ts:358:13:358:25 | tstModuleES() | "a" \| "b" |
| tst.ts:360:10:360:21 | tstModuleCJS | () => "a" \| "b" |
| tst.ts:360:10:360:21 | tstModuleCJS | () => "a" \| "b" |
| tst.ts:360:30:360:49 | './tstModuleCJS.cjs' | any |
| tst.ts:362:1:362:7 | console | Console |
| tst.ts:362:1:362:11 | console.log | (...data: any[]) => void |
| tst.ts:362:1:362:27 | console ... eCJS()) | void |
| tst.ts:362:9:362:11 | log | (...data: any[]) => void |
| tst.ts:362:13:362:24 | tstModuleCJS | () => "a" \| "b" |
| tst.ts:362:13:362:26 | tstModuleCJS() | "a" \| "b" |
| tst.ts:368:13:368:13 | A | typeof library-tests/TypeScript/Types/tstSuffixA.ts |
| tst.ts:368:20:368:33 | './tstSuffixA' | any |
| tst.ts:370:1:370:7 | console | Console |
| tst.ts:370:1:370:11 | console.log | (...data: any[]) => void |
| tst.ts:370:1:370:29 | console ... File()) | void |
| tst.ts:370:9:370:11 | log | (...data: any[]) => void |
| tst.ts:370:13:370:13 | A | typeof library-tests/TypeScript/Types/tstSuffixA.ts |
| tst.ts:370:13:370:26 | A.resolvedFile | () => "tstSuffixA.ts" |
| tst.ts:370:13:370:28 | A.resolvedFile() | "tstSuffixA.ts" |
| tst.ts:370:15:370:26 | resolvedFile | () => "tstSuffixA.ts" |
| tst.ts:372:13:372:13 | B | typeof library-tests/TypeScript/Types/tstSuffixB.ios.ts |
| tst.ts:372:20:372:33 | './tstSuffixB' | any |
| tst.ts:374:1:374:7 | console | Console |
| tst.ts:374:1:374:11 | console.log | (...data: any[]) => void |
| tst.ts:374:1:374:29 | console ... File()) | void |
| tst.ts:374:9:374:11 | log | (...data: any[]) => void |
| tst.ts:374:13:374:13 | B | typeof library-tests/TypeScript/Types/tstSuffixB.ios.ts |
| tst.ts:374:13:374:26 | B.resolvedFile | () => "tstSuffixB.ios.ts" |
| tst.ts:374:13:374:28 | B.resolvedFile() | "tstSuffixB.ios.ts" |
| tst.ts:374:15:374:26 | resolvedFile | () => "tstSuffixB.ios.ts" |
| 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 |
| tstModuleCJS.cts:2:12:2:24 | Math.random() | number |
| tstModuleCJS.cts:2:12:2:30 | Math.random() > 0.5 | boolean |
| tstModuleCJS.cts:2:12:2:42 | Math.ra ... ' : 'b' | "a" \| "b" |
| tstModuleCJS.cts:2:17:2:22 | random | () => number |
| tstModuleCJS.cts:2:28:2:30 | 0.5 | 0.5 |
| tstModuleCJS.cts:2:34:2:36 | 'a' | "a" |
| tstModuleCJS.cts:2:40:2:42 | 'b' | "b" |
| tstModuleES.mts:1:25:1:35 | tstModuleES | () => "a" \| "b" |
| tstModuleES.mts:2:12:2:15 | Math | Math |
| tstModuleES.mts:2:12:2:22 | Math.random | () => number |
| tstModuleES.mts:2:12:2:24 | Math.random() | number |
| tstModuleES.mts:2:12:2:30 | Math.random() > 0.5 | boolean |
| tstModuleES.mts:2:12:2:42 | Math.ra ... ' : 'b' | "a" \| "b" |
| tstModuleES.mts:2:17:2:22 | random | () => number |
| tstModuleES.mts:2:28:2:30 | 0.5 | 0.5 |
| tstModuleES.mts:2:34:2:36 | 'a' | "a" |
| tstModuleES.mts:2:40:2:42 | 'b' | "b" |
| tstSuffixA.ts:1:17:1:28 | resolvedFile | () => "tstSuffixA.ts" |
| tstSuffixA.ts:2:12:2:26 | 'tstSuffixA.ts' | "tstSuffixA.ts" |
| tstSuffixB.ios.ts:1:17:1:28 | resolvedFile | () => "tstSuffixB.ios.ts" |
| tstSuffixB.ios.ts:2:12:2:30 | 'tstSuffixB.ios.ts' | "tstSuffixB.ios.ts" |
| tstSuffixB.ts:1:17:1:28 | resolvedFile | () => "tstSuffixB.ts" |
| tstSuffixB.ts:2:12:2:26 | 'tstSuffixB.ts' | "tstSuffixB.ts" |
| type_alias.ts:3:5:3:5 | b | boolean |
| type_alias.ts:7:5:7:5 | c | ValueOrArray<number> |
| type_alias.ts:14:9:14:32 | [proper ... ]: Json | any |
@@ -461,6 +603,9 @@ getTypeDefinitionType
| tst.ts:265:3:269:3 | interfa ... an;\\n } | TypeMap |
| tst.ts:271:3:276:7 | type Un ... }[P]; | UnionRecord<P> |
| tst.ts:289:3:289:63 | type Fu ... > void; | Func |
| tst.ts:331:1:334:14 | type Fi ... never; | FirstString<T> |
| tst.ts:336:1:336:51 | type F ... lean]>; | "a" \| "b" |
| tst.ts:342:1:345:1 | interfa ... void;\\n} | State<T> |
| 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 |
@@ -703,6 +848,48 @@ getTypeExprType
| tst.ts:289:47:289:52 | string | string |
| tst.ts:289:59:289:62 | void | void |
| tst.ts:291:13:291:16 | Func | Func |
| tst.ts:313:12:313:12 | T | T |
| tst.ts:313:20:315:27 | {\\n pro ... void } | { produce: (n: string) => T; consume: (x: T) =>... |
| tst.ts:314:12:314:27 | (n: string) => T | (n: string) => T |
| tst.ts:314:16:314:21 | string | string |
| tst.ts:314:27:314:27 | T | T |
| tst.ts:315:12:315:25 | (x: T) => void | (x: T) => void |
| tst.ts:315:16:315:16 | T | T |
| tst.ts:315:22:315:25 | void | void |
| tst.ts:316:4:316:7 | void | void |
| tst.ts:325:22:325:27 | string | string |
| tst.ts:325:30:325:34 | Error | Error |
| tst.ts:331:6:331:16 | FirstString | FirstString<T> |
| tst.ts:331:18:331:18 | T | T |
| tst.ts:336:6:336:6 | F | "a" \| "b" |
| tst.ts:336:10:336:20 | FirstString | FirstString<T> |
| tst.ts:336:10:336:50 | FirstSt ... olean]> | "a" \| "b" |
| tst.ts:336:22:336:49 | ['a' \| ... oolean] | ["a" \| "b", number, boolean] |
| tst.ts:336:23:336:25 | 'a' | "a" |
| tst.ts:336:23:336:31 | 'a' \| 'b' | "a" \| "b" |
| tst.ts:336:29:336:31 | 'b' | "b" |
| tst.ts:336:34:336:39 | number | number |
| tst.ts:336:42:336:48 | boolean | boolean |
| tst.ts:338:10:338:10 | F | "a" \| "b" |
| tst.ts:342:11:342:15 | State | State<T> |
| tst.ts:342:24:342:24 | T | T |
| tst.ts:343:8:343:14 | () => T | () => T |
| tst.ts:343:14:343:14 | T | T |
| tst.ts:344:8:344:25 | (value: T) => void | (value: T) => void |
| tst.ts:344:16:344:16 | T | T |
| tst.ts:344:22:344:25 | void | void |
| tst.ts:347:14:347:18 | State | State<T> |
| tst.ts:347:14:347:26 | State<number> | State<number> |
| tst.ts:347:20:347:25 | number | number |
| 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" |
| tstModuleES.mts:1:40:1:42 | 'a' | "a" |
| tstModuleES.mts:1:40:1:48 | 'a' \| 'b' | "a" \| "b" |
| tstModuleES.mts:1:46:1:48 | 'b' | "b" |
| tstSuffixA.ts:1:33:1:47 | 'tstSuffixA.ts' | "tstSuffixA.ts" |
| tstSuffixB.ios.ts:1:33:1:51 | 'tstSuffixB.ios.ts' | "tstSuffixB.ios.ts" |
| tstSuffixB.ts:1:33:1:47 | 'tstSuffixB.ts' | "tstSuffixB.ts" |
| type_alias.ts:1:6:1:6 | B | boolean |
| type_alias.ts:1:10:1:16 | boolean | boolean |
| type_alias.ts:3:8:3:8 | B | boolean |
@@ -783,6 +970,7 @@ referenceDefinition
| E | type_definition_objects.ts:6:8:6:16 | enum E {} |
| EnumWithOneMember | type_definitions.ts:18:26:18:31 | member |
| Error | tst.ts:210:10:213:3 | interfa ... ng;\\n } |
| FirstString<T> | tst.ts:331:1:334:14 | type Fi ... never; |
| Foo | tst.ts:116:3:129:3 | class F ... }\\n } |
| Foo | tst.ts:165:5:167:5 | interfa ... ;\\n } |
| Foo | tst.ts:179:3:192:3 | class F ... \\n } |
@@ -796,6 +984,8 @@ referenceDefinition
| NonAbstractDummy | tst.ts:54:1:56:1 | interfa ... mber;\\n} |
| Person | tst.ts:222:3:234:3 | class P ... }\\n } |
| Shape | tst.ts:140:3:142:47 | type Sh ... mber }; |
| State<T> | tst.ts:342:1:345:1 | interfa ... void;\\n} |
| State<number> | tst.ts:342:1:345:1 | interfa ... void;\\n} |
| Sub | tst.ts:97:3:101:3 | class S ... }\\n } |
| Success | tst.ts:205:10:208:3 | interfa ... ng;\\n } |
| Super | tst.ts:91:3:95:3 | class S ... }\\n } |
@@ -852,16 +1042,20 @@ abstractSignature
unionIndex
| 1 | 0 | 1 \| 2 |
| 2 | 1 | 1 \| 2 |
| 42 | 1 | "hello" \| 42 |
| "NumberContents" | 0 | "NumberContents" \| "StringContents" |
| "StringContents" | 1 | "NumberContents" \| "StringContents" |
| "a" | 0 | "a" \| "b" |
| "a" | 1 | number \| "a" |
| "a" | 3 | number \| boolean \| "a" \| "b" |
| "b" | 1 | "a" \| "b" |
| "b" | 4 | number \| boolean \| "a" \| "b" |
| "bigint" | 2 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "boolean" | 2 | keyof TypeMap |
| "boolean" | 3 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "circle" | 0 | "circle" \| "square" |
| "function" | 7 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "hello" | 0 | "hello" \| 42 |
| "number" | 1 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "number" | 1 | keyof TypeMap |
| "object" | 6 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
@@ -871,6 +1065,7 @@ unionIndex
| "symbol" | 4 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| "undefined" | 5 | "string" \| "number" \| "bigint" \| "boolean" \| "s... |
| Error | 1 | Success \| Error |
| Error | 1 | string \| Error |
| Json[] | 5 | string \| number \| boolean \| { [property: string... |
| Promise<number> | 2 | boolean \| Promise<number> |
| PromiseLike<TResult1> | 1 | TResult1 \| PromiseLike<TResult1> |
@@ -890,16 +1085,19 @@ unionIndex
| false | 0 | boolean |
| false | 0 | boolean \| Promise<number> |
| false | 1 | number \| boolean |
| false | 1 | number \| boolean \| "a" \| "b" |
| false | 2 | string \| number \| boolean |
| false | 2 | string \| number \| boolean \| { [property: string... |
| number | 0 | number \| "a" |
| number | 0 | number \| ValueOrArray<number>[] |
| number | 0 | number \| boolean |
| number | 0 | number \| boolean \| "a" \| "b" |
| number | 1 | string \| number |
| number | 1 | string \| number \| boolean |
| number | 1 | string \| number \| boolean \| { [property: string... |
| number | 1 | string \| number \| true |
| string | 0 | VirtualNode \| { [key: string]: any; } |
| string | 0 | string \| Error |
| string | 0 | string \| [string, { [key: string]: any; }, ...V... |
| string | 0 | string \| number |
| string | 0 | string \| number \| boolean |
@@ -911,6 +1109,7 @@ unionIndex
| true | 1 | boolean |
| true | 1 | boolean \| Promise<number> |
| true | 2 | number \| boolean |
| true | 2 | number \| boolean \| "a" \| "b" |
| true | 2 | string \| number \| true |
| true | 3 | string \| number \| boolean |
| true | 3 | string \| number \| boolean \| { [property: string... |

3
javascript/ql/test/library-tests/TypeScript/Types/tsconfig.json
View File

@@ -3,6 +3,7 @@
"module": "esnext",
"target": "esnext",
"lib": ["dom", "esnext"],
"resolveJsonModule": true
"resolveJsonModule": true,
"moduleSuffixes": [".ios", ""]
}
}

81
javascript/ql/test/library-tests/TypeScript/Types/tst.ts
View File

@@ -293,4 +293,83 @@ module TS46 {
payload.toFixed(); // <- number
}
};
}
}
const key = Symbol();
const numberOrString = Math.random() < 0.5 ? 42 : "hello";
let obj = {
[key]: numberOrString,
};
if (typeof obj[key] === "string") {
let str = obj[key]; // <- string
str.toUpperCase();
}
//////////
function f<T>(arg: {
produce: (n: string) => T,
consume: (x: T) => void }
): void {};
f({
produce: n => n, // <- (n: string) => string
consume: x => x.toLowerCase()
});
///////////
const ErrorMap = Map<string, Error>;
const errorMap = new ErrorMap(); // <- Map<string, Error>
////////////
type FirstString<T> =
T extends [infer S extends string, ...unknown[]]
? S
: never;
type F = FirstString<['a' | 'b', number, boolean]>;
const a: F = 'a'; // <- 'a' | 'b'
////////////
interface State<in out T> {
get: () => T;
set: (value: T) => void;
}
const state: State<number> = {
get: () => 42,
set: (value) => { }
}
const fortyTwo = state.get(); // <- number
/////////////////
import tstModuleES from './tstModuleES.mjs';
console.log(tstModuleES());
import { tstModuleCJS } from './tstModuleCJS.cjs';
console.log(tstModuleCJS());
/////////////////
// test file resolution order (see tsconfig: moduleSuffixes setting)
import * as A from './tstSuffixA';
console.log(A.resolvedFile()); // <- 'tstSuffixA.ts'
import * as B from './tstSuffixB';
console.log(B.resolvedFile()); // <- 'tstSuffixB.ios.ts'

3
javascript/ql/test/library-tests/TypeScript/Types/tstModuleCJS.cts Normal file
View File

@@ -0,0 +1,3 @@
export function tstModuleCJS(): 'a' | 'b' {
return Math.random() > 0.5 ? 'a' : 'b';
}

3
javascript/ql/test/library-tests/TypeScript/Types/tstModuleES.mts Normal file
View File

@@ -0,0 +1,3 @@
export default function tstModuleES(): 'a' | 'b' {
return Math.random() > 0.5 ? 'a' : 'b';
}

3
javascript/ql/test/library-tests/TypeScript/Types/tstSuffixA.ts Normal file
View File

@@ -0,0 +1,3 @@
export function resolvedFile(): 'tstSuffixA.ts' {
return 'tstSuffixA.ts';
}

3
javascript/ql/test/library-tests/TypeScript/Types/tstSuffixB.ios.ts Normal file
View File

@@ -0,0 +1,3 @@
export function resolvedFile(): 'tstSuffixB.ios.ts' {
return 'tstSuffixB.ios.ts';
}

3
javascript/ql/test/library-tests/TypeScript/Types/tstSuffixB.ts Normal file
View File

@@ -0,0 +1,3 @@
export function resolvedFile(): 'tstSuffixB.ts' {
return 'tstSuffixB.ts';
}

1
javascript/ql/test/query-tests/Declarations/UnusedVariable/UnusedVariable.expected
View File

@@ -5,6 +5,7 @@
| eval.js:19:9:19:24 | not_used_by_eval | Unused variable not_used_by_eval. |
| externs.js:6:5:6:13 | iAmUnused | Unused variable iAmUnused. |
| importWithoutPragma.jsx:1:1:1:27 | import ... react'; | Unused import h. |
| interTypes.ts:1:1:1:37 | import ... where"; | Unused import Bar. |
| multi-imports.js:1:1:1:29 | import ... om 'x'; | Unused imports a, b, d. |
| multi-imports.js:2:1:2:42 | import ... om 'x'; | Unused imports alphabetically, ordered. |
| namespaceImportAsType.ts:3:1:3:23 | import ... om "z"; | Unused import Z. |

6
javascript/ql/test/query-tests/Declarations/UnusedVariable/interTypes.ts Normal file
View File

@@ -0,0 +1,6 @@
import { Foo, Bar } from "somewhere"; // OK
type FooBar<T> =
T extends [infer S extends Foo, ...unknown[]]
? S
: never;