hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 05:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

TS: test case for type expansion through type parameter bound

Browse Source 
(cherry picked from commit 8bc92bd534)
This commit is contained in:
Asger F
2018-10-02 15:06:52 +01:00
committed by Max Schaefer
parent 374fd597d7
commit 4d7e762629
3 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/ExpansiveTypes.expected
View File

@@ -18,4 +18,5 @@
| ExpansiveMethod in expansive_signature.ts | has no properties |
| ExpansiveParameter in expansive_signature.ts | has no properties |
| ExpansiveSignature in expansive_signature.ts | has no properties |
| ExpansiveSignatureTypeBound in expansive_signature.ts | has no properties |
| ExpansiveX in used_from_expansion.ts | has no properties |

1
javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/NonExpansiveTypes.expected
View File

@@ -25,6 +25,7 @@
| ExpansiveMethod in expansive_signature.ts | has properties |
| ExpansiveParameter in expansive_signature.ts | has properties |
| ExpansiveSignature in expansive_signature.ts | has properties |
| ExpansiveSignatureTypeBound in expansive_signature.ts | has properties |
| ExpansiveX in used_from_expansion.ts | has properties |
| Function in global scope | has properties |
| Intl.CollatorOptions in global scope | has properties |

4
javascript/ql/test/library-tests/TypeScript/ExpansiveTypes/expansive_signature.ts
View File

@@ -19,3 +19,7 @@ interface ExpansiveMethod<T> {
interface ExpansiveFunctionType<T> {
x: () => ExpansiveFunctionType<T[]>;
}
interface ExpansiveSignatureTypeBound<T> {
foo : { <G extends ExpansiveSignatureTypeBound<T[]>>(x: G): G };
}