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
|
//// [tests/cases/compiler/typeParameterArgumentEquivalence4.ts] ////
=== typeParameterArgumentEquivalence4.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
}
|