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
|
=== tests/cases/conformance/types/thisType/thisTypeInClasses.ts ===
class C1 {
>C1 : C1
x: this;
>x : this
f(x: this): this { return undefined; }
>f : (x: this) => this
>x : this
>undefined : undefined
}
class C2 {
>C2 : C2
[x: string]: this;
>x : string
}
interface Foo<T> {
x: T;
>x : T
y: this;
>y : this
}
class C3 {
>C3 : C3
a: this[];
>a : this[]
b: [this, this];
>b : [this, this]
c: this | Date;
>c : this | Date
d: this & Date;
>d : this & Date
e: (((this)));
>e : this
f: (x: this) => this;
>f : (x: this) => this
>x : this
g: new (x: this) => this;
>g : new (x: this) => this
>x : this
h: Foo<this>;
>h : Foo<this>
i: Foo<this | (() => this)>;
>i : Foo<this | (() => this)>
j: (x: any) => x is this;
>j : (x: any) => x is this
>x : any
}
declare class C4 {
>C4 : C4
x: this;
>x : this
f(x: this): this;
>f : (x: this) => this
>x : this
}
class C5 {
>C5 : C5
foo() {
>foo : () => void
let f1 = (x: this): this => this;
>f1 : (x: this) => this
>(x: this): this => this : (x: this) => this
>x : this
>this : this
let f2 = (x: this) => this;
>f2 : (x: this) => this
>(x: this) => this : (x: this) => this
>x : this
>this : this
let f3 = (x: this) => (y: this) => this;
>f3 : (x: this) => (y: this) => this
>(x: this) => (y: this) => this : (x: this) => (y: this) => this
>x : this
>(y: this) => this : (y: this) => this
>y : this
>this : this
let f4 = (x: this) => {
>f4 : (x: this) => () => this
>(x: this) => { let g = (y: this) => { return () => this; } return g(this); } : (x: this) => () => this
>x : this
let g = (y: this) => {
>g : (y: this) => () => this
>(y: this) => { return () => this; } : (y: this) => () => this
>y : this
return () => this;
>() => this : () => this
>this : this
}
return g(this);
>g(this) : () => this
>g : (y: this) => () => this
>this : this
}
}
bar() {
>bar : () => void
let x1 = <this>undefined;
>x1 : this
><this>undefined : this
>undefined : undefined
let x2 = undefined as this;
>x2 : this
>undefined as this : this
>undefined : undefined
}
}
|
