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
|
=== tests/cases/compiler/errorMessageOnIntersectionsWithDiscriminants01.ts ===
export type Common = { test: true } | { test: false };
>Common : { test: true; } | { test: false; }
>test : true
>true : true
>test : false
>false : false
export type A = Common & { foo: 1 };
>A : Common & { foo: 1; }
>foo : 1
export type B = Common & { bar: 1 };
>B : Common & { bar: 1; }
>bar : 1
declare const a: A;
>a : A
declare let b: B;
>b : B
b = a;
>b = a : A
>b : B
>a : A
|
