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
|
=== tests/cases/compiler/targetTypeBaseCalls.ts ===
function foo(x: (s: string) => void) { }
>foo : (x: (s: string) => void) => void
>x : (s: string) => void
>s : string
class Foo { constructor(x: (s: string) => void){} }
>Foo : Foo
>x : (s: string) => void
>s : string
foo(function(s) { s = 5 }); // Error, can’t assign number to string
>foo(function(s) { s = 5 }) : void
>foo : (x: (s: string) => void) => void
>function(s) { s = 5 } : (s: string) => void
>s : string
>s = 5 : 5
>s : string
>5 : 5
new Foo(function(s) { s = 5 }); // error, if types are applied correctly
>new Foo(function(s) { s = 5 }) : Foo
>Foo : typeof Foo
>function(s) { s = 5 } : (s: string) => void
>s : string
>s = 5 : 5
>s : string
>5 : 5
class Bar extends Foo { constructor() { super(function(s) { s = 5 }) } } // error, if types are applied correctly
>Bar : Bar
>Foo : Foo
>super(function(s) { s = 5 }) : void
>super : typeof Foo
>function(s) { s = 5 } : (s: string) => void
>s : string
>s = 5 : 5
>s : string
>5 : 5
|
