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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
=== tests/cases/compiler/voidFunctionAssignmentCompat.ts ===
var fa = function(): any { return 3; }
>fa : () => any
>function(): any { return 3; } : () => any
>3 : 3
fa = function() { } // should not work
>fa = function() { } : () => void
>fa : () => any
>function() { } : () => void
var fv = function(): void {}
>fv : () => void
>function(): void {} : () => void
fv = function() { return 0; } // should work
>fv = function() { return 0; } : () => number
>fv : () => void
>function() { return 0; } : () => number
>0 : 0
function execAny(callback:(val:any)=>any) { return callback(0) }
>execAny : (callback: (val: any) => any) => any
>callback : (val: any) => any
>val : any
>callback(0) : any
>callback : (val: any) => any
>0 : 0
execAny(function () {}); // should work
>execAny(function () {}) : any
>execAny : (callback: (val: any) => any) => any
>function () {} : () => void
function execVoid(callback:(val:any)=>void) { callback(0); }
>execVoid : (callback: (val: any) => void) => void
>callback : (val: any) => void
>val : any
>callback(0) : void
>callback : (val: any) => void
>0 : 0
execVoid(function () {return 0;}); // should work
>execVoid(function () {return 0;}) : void
>execVoid : (callback: (val: any) => void) => void
>function () {return 0;} : () => number
>0 : 0
var fra: (v:any)=>any = function() { return function () {}; } // should work
>fra : (v: any) => any
>v : any
>function() { return function () {}; } : () => () => void
>function () {} : () => void
var frv: (v:any)=>void = function() { return function () { return 0; } } // should work
>frv : (v: any) => void
>v : any
>function() { return function () { return 0; } } : () => () => number
>function () { return 0; } : () => number
>0 : 0
var fra3: (v:any)=>string = (function() { return function (v:string) {return v;}; })() // should work
>fra3 : (v: any) => string
>v : any
>(function() { return function (v:string) {return v;}; })() : (v: string) => string
>(function() { return function (v:string) {return v;}; }) : () => (v: string) => string
>function() { return function (v:string) {return v;}; } : () => (v: string) => string
>function (v:string) {return v;} : (v: string) => string
>v : string
>v : string
var frv3: (v:any)=>number = (function() { return function () { return 0; } })() // should work
>frv3 : (v: any) => number
>v : any
>(function() { return function () { return 0; } })() : () => number
>(function() { return function () { return 0; } }) : () => () => number
>function() { return function () { return 0; } } : () => () => number
>function () { return 0; } : () => number
>0 : 0
|
