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
|
//// [tests/cases/compiler/typeParametersShouldNotBeEqual3.ts] ////
=== typeParametersShouldNotBeEqual3.ts ===
function ff<T extends Object, U extends Object>(x: T, y: U) {
>ff : <T extends Object, U extends Object>(x: T, y: U) => void
>x : T
>y : U
var z: Object;
>z : Object
x = x; // Ok
>x = x : T
>x : T
>x : T
x = y; // Ok
>x = y : U
>x : T
>y : U
x = z; // Ok
>x = z : Object
>x : T
>z : Object
z = x; // Ok
>z = x : T
>z : Object
>x : T
}
|