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

TS: Fix infinite type expansion issue

Browse Source
This commit is contained in:
Asger F
2019-03-07 18:42:06 +00:00
parent 69a048d102
commit dc6c33dd12
5 changed files with 40 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
javascript/ql/test/library-tests/TypeScript/InfiniteTypes/recursiveMappedType.ts Normal file
View File

@@ -0,0 +1,8 @@
interface X {
a: RecursiveMappedType<this> & X;
b: boolean;
}
type RecursiveMappedType<V> = {
[P in keyof V]?: X & RecursiveMappedType<V[P]>
}

2
javascript/ql/test/library-tests/TypeScript/InfiniteTypes/test.expected Normal file
View File

@@ -0,0 +1,2 @@
| recursiveMappedType.ts:2:5:2:5 | a | RecursiveMappedType<this> & X |
| recursiveMappedType.ts:3:5:3:5 | b | boolean |

4
javascript/ql/test/library-tests/TypeScript/InfiniteTypes/test.ql Normal file
View File

@@ -0,0 +1,4 @@
import javascript
from Expr e
select e, e.getType()

3
javascript/ql/test/library-tests/TypeScript/InfiniteTypes/tsconfig.json Normal file
View File

@@ -0,0 +1,3 @@
{
"include": ["."]
}