1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
=== tests/cases/compiler/noUnusedLocals_selfReference.ts ===
export {}; // Make this a module scope, so these are local variables.
function f() {
>f : () => void
f;
>f : () => void
function g() {
>g : () => void
g;
>g : () => void
}
}
class C {
>C : C
m() { C; }
>m : () => void
>C : typeof C
}
enum E { A = 0, B = E.A }
>E : E
>A : E
>0 : 0
>B : E
>E.A : E
>E : typeof E
>A : E
interface I { x: I };
>x : I
type T = { x: T };
>T : T
>x : T
namespace N { N; }
>N : typeof N
>N : typeof N
// Avoid a false positive.
// Previously `T` was considered unused due to merging with the property,
// back when all non-blocks were checked for recursion.
export interface A<T> { T: T }
>T : T
class P { private m() { this.m; } }
>P : P
>m : () => void
>this.m : () => void
>this : this
>m : () => void
P;
>P : typeof P
// Does not detect mutual recursion.
function g() { D; }
>g : () => void
>D : typeof D
class D { m() { g; } }
>D : D
>m : () => void
>g : () => void
|
