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
|
=== tests/cases/compiler/thisInTypeQuery.ts ===
// Repros from #52672
function assert(condition: unknown): asserts condition {
>assert : (condition: unknown) => asserts condition
>condition : unknown
if (!condition) {
>!condition : boolean
>condition : unknown
throw new Error();
>new Error() : Error
>Error : ErrorConstructor
}
}
class MyClass {
>MyClass : MyClass
private map = {
>map : { my_key: string; }
>{ my_key: 'example_value' } : { my_key: string; }
my_key: 'example_value'
>my_key : string
>'example_value' : "example_value"
};
runTypeFails() {
>runTypeFails : () => void
const params = null as any as { a: { key: string } } | null;
>params : { a: { key: string;}; } | null
>null as any as { a: { key: string } } | null : { a: { key: string;}; } | null
>null as any : any
>null : null
>a : { key: string; }
>key : string
>null : null
assert(params);
>assert(params) : void
>assert : (condition: unknown) => asserts condition
>params : { a: { key: string; }; } | null
type Key = keyof typeof this.map;
>Key : "my_key"
>this.map : { my_key: string; }
>this : this
>map : { my_key: string; }
this.map[params.a.key as Key];
>this.map[params.a.key as Key] : string
>this.map : { my_key: string; }
>this : this
>map : { my_key: string; }
>params.a.key as Key : "my_key"
>params.a.key : string
>params.a : { key: string; }
>params : { a: { key: string; }; }
>a : { key: string; }
>key : string
}
}
class C {
>C : C
foo() {
>foo : () => void
const x = !!true;
>x : true
>!!true : true
>!true : false
>true : true
if (x) {
>x : true
type T0 = typeof this;
>T0 : this
>this : this
}
}
}
|
