hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #271 from asger-semmle/ts-expansive-types

Browse Source 
TypeScript: test case for type expansion through function type parameter
This commit is contained in:
Max Schaefer
2018-10-04 19:23:54 +01:00
committed by GitHub
parent cc1c7b11d6 8bc92bd534
commit 989a82fd1e
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 };
}