1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
=== tests/cases/compiler/typeParameterArgumentEquivalence5.ts ===
function foo<T,U>() {
>foo : <T, U>() => void
var x: () => (item) => U;
>x : () => (item: any) => U
>item : any
var y: () => (item) => T;
>y : () => (item: any) => T
>item : any
x = y; // Should be an error
>x = y : () => (item: any) => T
>x : () => (item: any) => U
>y : () => (item: any) => T
y = x; // Shound be an error
>y = x : () => (item: any) => U
>y : () => (item: any) => T
>x : () => (item: any) => U
}
|
