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/typeParameterCompatibilityAccrossDeclarations.ts ===
var a = {
>a : { x: <T>(y: T) => T; }
>{ x: function <T>(y: T): T { return null; }} : { x: <T>(y: T) => T; }
x: function <T>(y: T): T { return null; }
>x : <T>(y: T) => T
>function <T>(y: T): T { return null; } : <T>(y: T) => T
>T : T
>y : T
>T : T
>T : T
>null : null
}
var a2 = {
>a2 : { x: (y: any) => any; }
>{ x: function (y: any): any { return null; }} : { x: (y: any) => any; }
x: function (y: any): any { return null; }
>x : (y: any) => any
>function (y: any): any { return null; } : (y: any) => any
>y : any
>null : null
}
export interface I {
>I : I
x<T>(y: T): T;
>x : <T>(y: T) => T
>T : T
>y : T
>T : T
>T : T
}
export interface I2 {
>I2 : I2
x(y: any): any;
>x : (y: any) => any
>y : any
}
var i: I;
>i : I
>I : I
var i2: I2;
>i2 : I2
>I2 : I2
a = i; // error
>a = i : I
>a : { x: <T>(y: T) => T; }
>i : I
i = a; // error
>i = a : { x: <T>(y: T) => T; }
>i : I
>a : { x: <T>(y: T) => T; }
a2 = i2; // no error
>a2 = i2 : I2
>a2 : { x: (y: any) => any; }
>i2 : I2
i2 = a2; // no error
>i2 = a2 : { x: (y: any) => any; }
>i2 : I2
>a2 : { x: (y: any) => any; }
|
