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
|
tests/cases/compiler/narrowingOfDottedNames.ts(45,5): error TS2564: Property 'x' has no initializer and is not definitely assigned in the constructor.
tests/cases/compiler/narrowingOfDottedNames.ts(54,5): error TS2564: Property 'x' has no initializer and is not definitely assigned in the constructor.
==== tests/cases/compiler/narrowingOfDottedNames.ts (2 errors) ====
// Repro from #8383
class A {
prop!: { a: string; };
}
class B {
prop!: { b: string; }
}
function isA(x: any): x is A {
return x instanceof A;
}
function isB(x: any): x is B {
return x instanceof B;
}
function f1(x: A | B) {
while (true) {
if (x instanceof A) {
x.prop.a;
}
else if (x instanceof B) {
x.prop.b;
}
}
}
function f2(x: A | B) {
while (true) {
if (isA(x)) {
x.prop.a;
}
else if (isB(x)) {
x.prop.b;
}
}
}
// Repro from #28100
class Foo1
{
x: number; // Error
~
!!! error TS2564: Property 'x' has no initializer and is not definitely assigned in the constructor.
constructor() {
if (this instanceof Boolean) {
}
}
}
class Foo2
{
x: number; // Error
~
!!! error TS2564: Property 'x' has no initializer and is not definitely assigned in the constructor.
constructor() {
}
}
// Repro from #29513
class AInfo {
a_count: number = 1;
}
class BInfo {
b_count: number = 1;
}
class Base {
id: number = 0;
}
class A2 extends Base {
info!: AInfo;
}
class B2 extends Base {
info!: BInfo;
}
let target: Base = null as any;
while (target) {
if (target instanceof A2) {
target.info.a_count = 3;
}
else if (target instanceof B2) {
const j: BInfo = target.info;
}
}
|
