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
|
=== tests/cases/compiler/assignmentToObjectAndFunction.ts ===
var errObj: Object = { toString: 0 }; // Error, incompatible toString
>errObj : Object
>{ toString: 0 } : { toString: number; }
>toString : number
>0 : 0
var goodObj: Object = {
>goodObj : Object
>{ toString(x?) { return ""; }} : { toString(x?: any): string; }
toString(x?) {
>toString : (x?: any) => string
>x : any
return "";
>"" : ""
}
}; // Ok, because toString is a subtype of Object's toString
var errFun: Function = {}; // Error for no call signature
>errFun : Function
>{} : {}
function foo() { }
>foo : typeof foo
module foo {
>foo : typeof foo
export var boom = 0;
>boom : number
>0 : 0
}
var goodFundule: Function = foo; // ok
>goodFundule : Function
>foo : typeof foo
function bar() { }
>bar : typeof bar
module bar {
>bar : typeof bar
export function apply(thisArg: string, argArray?: string) { }
>apply : (thisArg: string, argArray?: string) => void
>thisArg : string
>argArray : string
}
var goodFundule2: Function = bar; // ok
>goodFundule2 : Function
>bar : typeof bar
function bad() { }
>bad : typeof bad
module bad {
>bad : typeof bad
export var apply = 0;
>apply : number
>0 : 0
}
var badFundule: Function = bad; // error
>badFundule : Function
>bad : typeof bad
|
