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))
|