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
|
//// [inKeywordAndIntersection.ts]
class A { a = 0 }
class B { b = 0 }
function f10(obj: A & { x: string } | B) {
if (obj instanceof Object) {
obj; // A & { x: string } | B
}
else {
obj; // Error
}
}
// Repro from #50844
interface InstanceOne {
one(): void
}
interface InstanceTwo {
two(): void
}
const instance = {} as InstanceOne | InstanceTwo
const ClassOne = {} as { new(): InstanceOne } & { foo: true };
if (instance instanceof ClassOne) {
instance.one();
}
//// [inKeywordAndIntersection.js]
"use strict";
var A = /** @class */ (function () {
function A() {
this.a = 0;
}
return A;
}());
var B = /** @class */ (function () {
function B() {
this.b = 0;
}
return B;
}());
function f10(obj) {
if (obj instanceof Object) {
obj; // A & { x: string } | B
}
else {
obj; // Error
}
}
var instance = {};
var ClassOne = {};
if (instance instanceof ClassOne) {
instance.one();
}
|
