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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
|
=== tests/cases/compiler/a.d.ts ===
type O = { a: string; b: number; c: number; };
>O : Symbol(O, Decl(a.d.ts, 0, 0))
>a : Symbol(a, Decl(a.d.ts, 0, 10))
>b : Symbol(b, Decl(a.d.ts, 0, 21))
>c : Symbol(c, Decl(a.d.ts, 0, 32))
type F1 = (arg: number) => any;
>F1 : Symbol(F1, Decl(a.d.ts, 0, 46))
>arg : Symbol(arg, Decl(a.d.ts, 1, 11))
type F2 = ({ a: string }: O) => any;
>F2 : Symbol(F2, Decl(a.d.ts, 1, 31))
>a : Symbol(a, Decl(a.d.ts, 0, 10))
>string : Symbol(string, Decl(a.d.ts, 2, 12))
>O : Symbol(O, Decl(a.d.ts, 0, 0))
type F3 = ({ a: string, b, c }: O) => any;
>F3 : Symbol(F3, Decl(a.d.ts, 2, 36))
>a : Symbol(a, Decl(a.d.ts, 0, 10))
>string : Symbol(string, Decl(a.d.ts, 3, 12))
>b : Symbol(b, Decl(a.d.ts, 3, 23))
>c : Symbol(c, Decl(a.d.ts, 3, 26))
>O : Symbol(O, Decl(a.d.ts, 0, 0))
type F4 = ({ a: string }: O) => any;
>F4 : Symbol(F4, Decl(a.d.ts, 3, 42))
>a : Symbol(a, Decl(a.d.ts, 0, 10))
>string : Symbol(string, Decl(a.d.ts, 4, 12))
>O : Symbol(O, Decl(a.d.ts, 0, 0))
type F5 = ({ a: string, b, c }: O) => any;
>F5 : Symbol(F5, Decl(a.d.ts, 4, 36))
>a : Symbol(a, Decl(a.d.ts, 0, 10))
>string : Symbol(string, Decl(a.d.ts, 5, 12))
>b : Symbol(b, Decl(a.d.ts, 5, 23))
>c : Symbol(c, Decl(a.d.ts, 5, 26))
>O : Symbol(O, Decl(a.d.ts, 0, 0))
type F6 = ({ a: string }) => typeof string;
>F6 : Symbol(F6, Decl(a.d.ts, 5, 42))
>a : Symbol(a)
>string : Symbol(string, Decl(a.d.ts, 6, 12))
>string : Symbol(string, Decl(a.d.ts, 6, 12))
type F7 = ({ a: string, b: number }) => typeof number;
>F7 : Symbol(F7, Decl(a.d.ts, 6, 43))
>a : Symbol(a)
>string : Symbol(string, Decl(a.d.ts, 7, 12))
>b : Symbol(b)
>number : Symbol(number, Decl(a.d.ts, 7, 23))
>number : Symbol(number, Decl(a.d.ts, 7, 23))
type F8 = ({ a, b: number }) => typeof number;
>F8 : Symbol(F8, Decl(a.d.ts, 7, 54))
>a : Symbol(a, Decl(a.d.ts, 8, 12))
>b : Symbol(b)
>number : Symbol(number, Decl(a.d.ts, 8, 15))
>number : Symbol(number, Decl(a.d.ts, 8, 15))
type F9 = ([a, b, c]) => void;
>F9 : Symbol(F9, Decl(a.d.ts, 8, 46))
>a : Symbol(a, Decl(a.d.ts, 9, 12))
>b : Symbol(b, Decl(a.d.ts, 9, 14))
>c : Symbol(c, Decl(a.d.ts, 9, 17))
type G1 = (arg: number) => any;
>G1 : Symbol(G1, Decl(a.d.ts, 9, 30))
>arg : Symbol(arg, Decl(a.d.ts, 11, 11))
type G2 = ({ a: string }: O) => any;
>G2 : Symbol(G2, Decl(a.d.ts, 11, 31))
>a : Symbol(a, Decl(a.d.ts, 0, 10))
>string : Symbol(string, Decl(a.d.ts, 12, 12))
>O : Symbol(O, Decl(a.d.ts, 0, 0))
type G3 = ({ a: string, b, c }: O) => any;
>G3 : Symbol(G3, Decl(a.d.ts, 12, 36))
>a : Symbol(a, Decl(a.d.ts, 0, 10))
>string : Symbol(string, Decl(a.d.ts, 13, 12))
>b : Symbol(b, Decl(a.d.ts, 13, 23))
>c : Symbol(c, Decl(a.d.ts, 13, 26))
>O : Symbol(O, Decl(a.d.ts, 0, 0))
type G4 = ({ a: string }: O) => any;
>G4 : Symbol(G4, Decl(a.d.ts, 13, 42))
>a : Symbol(a, Decl(a.d.ts, 0, 10))
>string : Symbol(string, Decl(a.d.ts, 14, 12))
>O : Symbol(O, Decl(a.d.ts, 0, 0))
type G5 = ({ a: string, b, c }: O) => any;
>G5 : Symbol(G5, Decl(a.d.ts, 14, 36))
>a : Symbol(a, Decl(a.d.ts, 0, 10))
>string : Symbol(string, Decl(a.d.ts, 15, 12))
>b : Symbol(b, Decl(a.d.ts, 15, 23))
>c : Symbol(c, Decl(a.d.ts, 15, 26))
>O : Symbol(O, Decl(a.d.ts, 0, 0))
type G6 = ({ a: string }) => typeof string;
>G6 : Symbol(G6, Decl(a.d.ts, 15, 42))
>a : Symbol(a)
>string : Symbol(string, Decl(a.d.ts, 16, 12))
>string : Symbol(string, Decl(a.d.ts, 16, 12))
type G7 = ({ a: string, b: number }) => typeof number;
>G7 : Symbol(G7, Decl(a.d.ts, 16, 43))
>a : Symbol(a)
>string : Symbol(string, Decl(a.d.ts, 17, 12))
>b : Symbol(b)
>number : Symbol(number, Decl(a.d.ts, 17, 23))
>number : Symbol(number, Decl(a.d.ts, 17, 23))
type G8 = ({ a, b: number }) => typeof number;
>G8 : Symbol(G8, Decl(a.d.ts, 17, 54))
>a : Symbol(a, Decl(a.d.ts, 18, 12))
>b : Symbol(b)
>number : Symbol(number, Decl(a.d.ts, 18, 15))
>number : Symbol(number, Decl(a.d.ts, 18, 15))
type G9 = ([a, b, c]) => void;
>G9 : Symbol(G9, Decl(a.d.ts, 18, 46))
>a : Symbol(a, Decl(a.d.ts, 19, 12))
>b : Symbol(b, Decl(a.d.ts, 19, 14))
>c : Symbol(c, Decl(a.d.ts, 19, 17))
interface I {
>I : Symbol(I, Decl(a.d.ts, 19, 30))
method1(arg: number): any;
>method1 : Symbol(I.method1, Decl(a.d.ts, 21, 13))
>arg : Symbol(arg, Decl(a.d.ts, 22, 10))
method2({ a: string }): any;
>method2 : Symbol(I.method2, Decl(a.d.ts, 22, 28))
>a : Symbol(a)
>string : Symbol(string, Decl(a.d.ts, 23, 11))
(arg: number): any;
>arg : Symbol(arg, Decl(a.d.ts, 25, 3))
({ a: string }): any;
>a : Symbol(a)
>string : Symbol(string, Decl(a.d.ts, 26, 4))
new (arg: number): any;
>arg : Symbol(arg, Decl(a.d.ts, 28, 7))
new ({ a: string }): any;
>a : Symbol(a)
>string : Symbol(string, Decl(a.d.ts, 29, 8))
}
|
