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/typeParameterArgumentEquivalence2.ts ===
function foo<T,U>() {
>foo : <T, U>() => void
var x: (item: U) => boolean;
>x : (item: U) => boolean
>item : U
var y: (item: T) => boolean;
>y : (item: T) => boolean
>item : T
x = y; // Should be an error
>x = y : (item: T) => boolean
>x : (item: U) => boolean
>y : (item: T) => boolean
y = x; // Shound be an error
>y = x : (item: U) => boolean
>y : (item: T) => boolean
>x : (item: U) => boolean
}
|
