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/primitiveConstraints2.ts ===
class C<T> {
>C : Symbol(C, Decl(primitiveConstraints2.ts, 0, 0))
>T : Symbol(T, Decl(primitiveConstraints2.ts, 0, 8))
public bar2<U extends T>(x: T, y: U): T {
>bar2 : Symbol(C.bar2, Decl(primitiveConstraints2.ts, 0, 12))
>U : Symbol(U, Decl(primitiveConstraints2.ts, 1, 15))
>T : Symbol(T, Decl(primitiveConstraints2.ts, 0, 8))
>x : Symbol(x, Decl(primitiveConstraints2.ts, 1, 28))
>T : Symbol(T, Decl(primitiveConstraints2.ts, 0, 8))
>y : Symbol(y, Decl(primitiveConstraints2.ts, 1, 33))
>U : Symbol(U, Decl(primitiveConstraints2.ts, 1, 15))
>T : Symbol(T, Decl(primitiveConstraints2.ts, 0, 8))
return null;
}
}
var x = new C<number>();
>x : Symbol(x, Decl(primitiveConstraints2.ts, 6, 3))
>C : Symbol(C, Decl(primitiveConstraints2.ts, 0, 0))
x.bar2(2, ""); // should error
>x.bar2 : Symbol(C.bar2, Decl(primitiveConstraints2.ts, 0, 12))
>x : Symbol(x, Decl(primitiveConstraints2.ts, 6, 3))
>bar2 : Symbol(C.bar2, Decl(primitiveConstraints2.ts, 0, 12))
x.bar2<string>(2, ""); // should error
>x.bar2 : Symbol(C.bar2, Decl(primitiveConstraints2.ts, 0, 12))
>x : Symbol(x, Decl(primitiveConstraints2.ts, 6, 3))
>bar2 : Symbol(C.bar2, Decl(primitiveConstraints2.ts, 0, 12))
|