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
|
=== tests/cases/conformance/types/never/neverUnionIntersection.ts ===
type T01 = string | never;
>T01 : Symbol(T01, Decl(neverUnionIntersection.ts, 0, 0))
type T02 = string & never;
>T02 : Symbol(T02, Decl(neverUnionIntersection.ts, 0, 26))
type T03 = string | number | never;
>T03 : Symbol(T03, Decl(neverUnionIntersection.ts, 1, 26))
type T04 = string & number & never;
>T04 : Symbol(T04, Decl(neverUnionIntersection.ts, 2, 35))
type T05 = any | never;
>T05 : Symbol(T05, Decl(neverUnionIntersection.ts, 3, 35))
type T06 = any & never;
>T06 : Symbol(T06, Decl(neverUnionIntersection.ts, 4, 23))
type T07 = undefined | never;
>T07 : Symbol(T07, Decl(neverUnionIntersection.ts, 5, 23))
type T08 = undefined & never;
>T08 : Symbol(T08, Decl(neverUnionIntersection.ts, 6, 29))
type T09 = null | never;
>T09 : Symbol(T09, Decl(neverUnionIntersection.ts, 7, 29))
type T10 = null & never;
>T10 : Symbol(T10, Decl(neverUnionIntersection.ts, 8, 24))
type T11 = { a: string } | never;
>T11 : Symbol(T11, Decl(neverUnionIntersection.ts, 9, 24))
>a : Symbol(a, Decl(neverUnionIntersection.ts, 10, 12))
type T12 = { a: string } & never;
>T12 : Symbol(T12, Decl(neverUnionIntersection.ts, 10, 33))
>a : Symbol(a, Decl(neverUnionIntersection.ts, 11, 12))
|
