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
|
=== tests/cases/conformance/expressions/thisKeyword/thisInInvalidContextsExternalModule.ts ===
class BaseErrClass {
>BaseErrClass : BaseErrClass
constructor(t: any) { }
>t : any
}
class ClassWithNoInitializer extends BaseErrClass {
>ClassWithNoInitializer : ClassWithNoInitializer
>BaseErrClass : BaseErrClass
t;
>t : any
//'this' in optional super call
constructor() {
super(this); // error: "super" has to be called before "this" accessing
>super(this) : void
>super : typeof BaseErrClass
>this : this
}
}
class ClassWithInitializer extends BaseErrClass {
>ClassWithInitializer : ClassWithInitializer
>BaseErrClass : BaseErrClass
t = 4;
>t : number
>4 : 4
//'this' in required super call
constructor() {
super(this); // Error
>super(this) : void
>super : typeof BaseErrClass
>this : this
}
}
module M {
>M : typeof M
//'this' in module variable
var x = this; // Error
>x : any
>this : any
}
//'this' as type parameter constraint
// function fn<T extends this >() { } // Error
//'this' as a type argument
function genericFunc<T>(x: T) { }
>genericFunc : <T>(x: T) => void
>x : T
genericFunc<this>(undefined); // Should be an error
>genericFunc<this>(undefined) : void
>genericFunc : <T>(x: T) => void
>undefined : undefined
class ErrClass3 extends this {
>ErrClass3 : ErrClass3
>this : undefined
}
//'this' as a computed enum value
enum SomeEnum {
>SomeEnum : SomeEnum
A = this, // Should not be allowed
>A : SomeEnum.A
>this : any
B = this.spaaaace // Also should not be allowed
>B : SomeEnum.B
>this.spaaaace : any
>this : any
>spaaaace : any
}
export = this; // Should be an error
|
