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
|
=== tests/cases/compiler/typeParametersShouldNotBeEqual3.ts ===
function ff<T extends Object, U extends Object>(x: T, y: U) {
>ff : Symbol(ff, Decl(typeParametersShouldNotBeEqual3.ts, 0, 0))
>T : Symbol(T, Decl(typeParametersShouldNotBeEqual3.ts, 0, 12))
>Object : Symbol(Object, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
>U : Symbol(U, Decl(typeParametersShouldNotBeEqual3.ts, 0, 29))
>Object : Symbol(Object, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
>x : Symbol(x, Decl(typeParametersShouldNotBeEqual3.ts, 0, 48))
>T : Symbol(T, Decl(typeParametersShouldNotBeEqual3.ts, 0, 12))
>y : Symbol(y, Decl(typeParametersShouldNotBeEqual3.ts, 0, 53))
>U : Symbol(U, Decl(typeParametersShouldNotBeEqual3.ts, 0, 29))
var z: Object;
>z : Symbol(z, Decl(typeParametersShouldNotBeEqual3.ts, 1, 7))
>Object : Symbol(Object, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
x = x; // Ok
>x : Symbol(x, Decl(typeParametersShouldNotBeEqual3.ts, 0, 48))
>x : Symbol(x, Decl(typeParametersShouldNotBeEqual3.ts, 0, 48))
x = y; // Ok
>x : Symbol(x, Decl(typeParametersShouldNotBeEqual3.ts, 0, 48))
>y : Symbol(y, Decl(typeParametersShouldNotBeEqual3.ts, 0, 53))
x = z; // Ok
>x : Symbol(x, Decl(typeParametersShouldNotBeEqual3.ts, 0, 48))
>z : Symbol(z, Decl(typeParametersShouldNotBeEqual3.ts, 1, 7))
z = x; // Ok
>z : Symbol(z, Decl(typeParametersShouldNotBeEqual3.ts, 1, 7))
>x : Symbol(x, Decl(typeParametersShouldNotBeEqual3.ts, 0, 48))
}
|