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
|
=== tests/cases/compiler/subtypeRelationForNever.ts ===
function fail(message: string) : never { throw new Error(message); }
>fail : (message: string) => never
>message : string
>new Error(message) : Error
>Error : ErrorConstructor
>message : string
function withFew<a, r>(values: a[], haveFew: (values: a[]) => r, haveNone: (reason: string) => r): r {
>withFew : <a, r>(values: a[], haveFew: (values: a[]) => r, haveNone: (reason: string) => r) => r
>a : a
>r : r
>values : a[]
>a : a
>haveFew : (values: a[]) => r
>values : a[]
>a : a
>r : r
>haveNone : (reason: string) => r
>reason : string
>r : r
>r : r
return values.length > 0 ? haveFew(values) : haveNone('No values.');
>values.length > 0 ? haveFew(values) : haveNone('No values.') : r
>values.length > 0 : boolean
>values.length : number
>values : a[]
>length : number
>0 : 0
>haveFew(values) : r
>haveFew : (values: a[]) => r
>values : a[]
>haveNone('No values.') : r
>haveNone : (reason: string) => r
>'No values.' : "No values."
}
function id<a>(value: a) : a { return value; }
>id : <a>(value: a) => a
>a : a
>value : a
>a : a
>a : a
>value : a
const result = withFew([1, 2, 3], id, fail); // expected result is number[]
>result : number[]
>withFew([1, 2, 3], id, fail) : number[]
>withFew : <a, r>(values: a[], haveFew: (values: a[]) => r, haveNone: (reason: string) => r) => r
>[1, 2, 3] : number[]
>1 : 1
>2 : 2
>3 : 3
>id : <a>(value: a) => a
>fail : (message: string) => never
|
