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
|
=== tests/cases/conformance/expressions/typeGuards/typeGuardsInProperties.ts ===
// Note that type guards affect types of variables and parameters only and
// have no effect on members of objects such as properties.
var num: number;
>num : Symbol(num, Decl(typeGuardsInProperties.ts, 3, 3))
var strOrNum: string | number;
>strOrNum : Symbol(strOrNum, Decl(typeGuardsInProperties.ts, 4, 3))
class C1 {
>C1 : Symbol(C1, Decl(typeGuardsInProperties.ts, 4, 30))
private pp1: string | number;
>pp1 : Symbol(C1.pp1, Decl(typeGuardsInProperties.ts, 5, 10))
pp2: string | number;
>pp2 : Symbol(C1.pp2, Decl(typeGuardsInProperties.ts, 6, 33))
// Inside public accessor getter
get pp3() {
>pp3 : Symbol(C1.pp3, Decl(typeGuardsInProperties.ts, 7, 25))
return strOrNum;
>strOrNum : Symbol(strOrNum, Decl(typeGuardsInProperties.ts, 4, 3))
}
method() {
>method : Symbol(C1.method, Decl(typeGuardsInProperties.ts, 11, 5))
strOrNum = typeof this.pp1 === "string" && this.pp1; // string | number
>strOrNum : Symbol(strOrNum, Decl(typeGuardsInProperties.ts, 4, 3))
>this.pp1 : Symbol(C1.pp1, Decl(typeGuardsInProperties.ts, 5, 10))
>this : Symbol(C1, Decl(typeGuardsInProperties.ts, 4, 30))
>pp1 : Symbol(C1.pp1, Decl(typeGuardsInProperties.ts, 5, 10))
>this.pp1 : Symbol(C1.pp1, Decl(typeGuardsInProperties.ts, 5, 10))
>this : Symbol(C1, Decl(typeGuardsInProperties.ts, 4, 30))
>pp1 : Symbol(C1.pp1, Decl(typeGuardsInProperties.ts, 5, 10))
strOrNum = typeof this.pp2 === "string" && this.pp2; // string | number
>strOrNum : Symbol(strOrNum, Decl(typeGuardsInProperties.ts, 4, 3))
>this.pp2 : Symbol(C1.pp2, Decl(typeGuardsInProperties.ts, 6, 33))
>this : Symbol(C1, Decl(typeGuardsInProperties.ts, 4, 30))
>pp2 : Symbol(C1.pp2, Decl(typeGuardsInProperties.ts, 6, 33))
>this.pp2 : Symbol(C1.pp2, Decl(typeGuardsInProperties.ts, 6, 33))
>this : Symbol(C1, Decl(typeGuardsInProperties.ts, 4, 30))
>pp2 : Symbol(C1.pp2, Decl(typeGuardsInProperties.ts, 6, 33))
strOrNum = typeof this.pp3 === "string" && this.pp3; // string | number
>strOrNum : Symbol(strOrNum, Decl(typeGuardsInProperties.ts, 4, 3))
>this.pp3 : Symbol(C1.pp3, Decl(typeGuardsInProperties.ts, 7, 25))
>this : Symbol(C1, Decl(typeGuardsInProperties.ts, 4, 30))
>pp3 : Symbol(C1.pp3, Decl(typeGuardsInProperties.ts, 7, 25))
>this.pp3 : Symbol(C1.pp3, Decl(typeGuardsInProperties.ts, 7, 25))
>this : Symbol(C1, Decl(typeGuardsInProperties.ts, 4, 30))
>pp3 : Symbol(C1.pp3, Decl(typeGuardsInProperties.ts, 7, 25))
}
}
var c1: C1;
>c1 : Symbol(c1, Decl(typeGuardsInProperties.ts, 18, 3))
>C1 : Symbol(C1, Decl(typeGuardsInProperties.ts, 4, 30))
strOrNum = typeof c1.pp2 === "string" && c1.pp2; // string | number
>strOrNum : Symbol(strOrNum, Decl(typeGuardsInProperties.ts, 4, 3))
>c1.pp2 : Symbol(C1.pp2, Decl(typeGuardsInProperties.ts, 6, 33))
>c1 : Symbol(c1, Decl(typeGuardsInProperties.ts, 18, 3))
>pp2 : Symbol(C1.pp2, Decl(typeGuardsInProperties.ts, 6, 33))
>c1.pp2 : Symbol(C1.pp2, Decl(typeGuardsInProperties.ts, 6, 33))
>c1 : Symbol(c1, Decl(typeGuardsInProperties.ts, 18, 3))
>pp2 : Symbol(C1.pp2, Decl(typeGuardsInProperties.ts, 6, 33))
strOrNum = typeof c1.pp3 === "string" && c1.pp3; // string | number
>strOrNum : Symbol(strOrNum, Decl(typeGuardsInProperties.ts, 4, 3))
>c1.pp3 : Symbol(C1.pp3, Decl(typeGuardsInProperties.ts, 7, 25))
>c1 : Symbol(c1, Decl(typeGuardsInProperties.ts, 18, 3))
>pp3 : Symbol(C1.pp3, Decl(typeGuardsInProperties.ts, 7, 25))
>c1.pp3 : Symbol(C1.pp3, Decl(typeGuardsInProperties.ts, 7, 25))
>c1 : Symbol(c1, Decl(typeGuardsInProperties.ts, 18, 3))
>pp3 : Symbol(C1.pp3, Decl(typeGuardsInProperties.ts, 7, 25))
var obj1: {
>obj1 : Symbol(obj1, Decl(typeGuardsInProperties.ts, 21, 3))
x: string | number;
>x : Symbol(x, Decl(typeGuardsInProperties.ts, 21, 11))
};
strOrNum = typeof obj1.x === "string" && obj1.x; // string | number
>strOrNum : Symbol(strOrNum, Decl(typeGuardsInProperties.ts, 4, 3))
>obj1.x : Symbol(x, Decl(typeGuardsInProperties.ts, 21, 11))
>obj1 : Symbol(obj1, Decl(typeGuardsInProperties.ts, 21, 3))
>x : Symbol(x, Decl(typeGuardsInProperties.ts, 21, 11))
>obj1.x : Symbol(x, Decl(typeGuardsInProperties.ts, 21, 11))
>obj1 : Symbol(obj1, Decl(typeGuardsInProperties.ts, 21, 3))
>x : Symbol(x, Decl(typeGuardsInProperties.ts, 21, 11))
|
