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
70
71
72
73
74
|
=== tests/cases/compiler/noUnusedLocals_selfReference.ts ===
export {}; // Make this a module scope, so these are local variables.
function f() {
>f : Symbol(f, Decl(noUnusedLocals_selfReference.ts, 0, 10))
f;
>f : Symbol(f, Decl(noUnusedLocals_selfReference.ts, 0, 10))
function g() {
>g : Symbol(g, Decl(noUnusedLocals_selfReference.ts, 3, 6))
g;
>g : Symbol(g, Decl(noUnusedLocals_selfReference.ts, 3, 6))
}
}
class C {
>C : Symbol(C, Decl(noUnusedLocals_selfReference.ts, 7, 1))
m() { C; }
>m : Symbol(C.m, Decl(noUnusedLocals_selfReference.ts, 8, 9))
>C : Symbol(C, Decl(noUnusedLocals_selfReference.ts, 7, 1))
}
enum E { A = 0, B = E.A }
>E : Symbol(E, Decl(noUnusedLocals_selfReference.ts, 10, 1))
>A : Symbol(E.A, Decl(noUnusedLocals_selfReference.ts, 11, 8))
>B : Symbol(E.B, Decl(noUnusedLocals_selfReference.ts, 11, 15))
>E.A : Symbol(E.A, Decl(noUnusedLocals_selfReference.ts, 11, 8))
>E : Symbol(E, Decl(noUnusedLocals_selfReference.ts, 10, 1))
>A : Symbol(E.A, Decl(noUnusedLocals_selfReference.ts, 11, 8))
interface I { x: I };
>I : Symbol(I, Decl(noUnusedLocals_selfReference.ts, 11, 25))
>x : Symbol(I.x, Decl(noUnusedLocals_selfReference.ts, 12, 13))
>I : Symbol(I, Decl(noUnusedLocals_selfReference.ts, 11, 25))
type T = { x: T };
>T : Symbol(T, Decl(noUnusedLocals_selfReference.ts, 12, 21))
>x : Symbol(x, Decl(noUnusedLocals_selfReference.ts, 13, 10))
>T : Symbol(T, Decl(noUnusedLocals_selfReference.ts, 12, 21))
namespace N { N; }
>N : Symbol(N, Decl(noUnusedLocals_selfReference.ts, 13, 18))
>N : Symbol(N, Decl(noUnusedLocals_selfReference.ts, 13, 18))
// 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 }
>A : Symbol(A, Decl(noUnusedLocals_selfReference.ts, 14, 18))
>T : Symbol(T, Decl(noUnusedLocals_selfReference.ts, 19, 19), Decl(noUnusedLocals_selfReference.ts, 19, 23))
>T : Symbol(T, Decl(noUnusedLocals_selfReference.ts, 19, 19), Decl(noUnusedLocals_selfReference.ts, 19, 23))
>T : Symbol(T, Decl(noUnusedLocals_selfReference.ts, 19, 19), Decl(noUnusedLocals_selfReference.ts, 19, 23))
class P { private m() { this.m; } }
>P : Symbol(P, Decl(noUnusedLocals_selfReference.ts, 19, 30))
>m : Symbol(P.m, Decl(noUnusedLocals_selfReference.ts, 21, 9))
>this.m : Symbol(P.m, Decl(noUnusedLocals_selfReference.ts, 21, 9))
>this : Symbol(P, Decl(noUnusedLocals_selfReference.ts, 19, 30))
>m : Symbol(P.m, Decl(noUnusedLocals_selfReference.ts, 21, 9))
P;
>P : Symbol(P, Decl(noUnusedLocals_selfReference.ts, 19, 30))
// Does not detect mutual recursion.
function g() { D; }
>g : Symbol(g, Decl(noUnusedLocals_selfReference.ts, 22, 2))
>D : Symbol(D, Decl(noUnusedLocals_selfReference.ts, 25, 19))
class D { m() { g; } }
>D : Symbol(D, Decl(noUnusedLocals_selfReference.ts, 25, 19))
>m : Symbol(D.m, Decl(noUnusedLocals_selfReference.ts, 26, 9))
>g : Symbol(g, Decl(noUnusedLocals_selfReference.ts, 22, 2))
|
