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 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91
|
=== tests/cases/conformance/types/objectTypeLiteral/callSignatures/typeParameterUsedAsTypeParameterConstraint3.ts ===
// Type parameters are in scope in their own and other type parameter lists
// Object types
//class C<T, U extends T, V extends U> {
// x: T;
// y: U;
// z: V;
// foo<W extends V>(x: W): T {
// var r: T;
// return x;
// }
//}
//class C2<V extends U, T, U extends T> {
// x: T;
// y: U;
// z: V;
// foo<W extends V>(x: W): T {
// var r: T;
// return x;
// }
//}
interface I<T, U, V> {
>I : Symbol(I, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 0, 0))
>T : Symbol(T, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 23, 12))
>U : Symbol(U, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 23, 14))
>V : Symbol(V, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 23, 17))
x: T;
>x : Symbol(I.x, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 23, 22))
>T : Symbol(T, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 23, 12))
y: U;
>y : Symbol(I.y, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 24, 9))
>U : Symbol(U, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 23, 14))
z: V;
>z : Symbol(I.z, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 25, 9))
>V : Symbol(V, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 23, 17))
foo<W extends V>(x: W): T;
>foo : Symbol(I.foo, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 26, 9))
>W : Symbol(W, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 27, 8))
>V : Symbol(V, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 23, 17))
>x : Symbol(x, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 27, 21))
>W : Symbol(W, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 27, 8))
>T : Symbol(T, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 23, 12))
}
interface I2<V, T, U> {
>I2 : Symbol(I2, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 28, 1))
>V : Symbol(V, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 30, 13))
>T : Symbol(T, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 30, 15))
>U : Symbol(U, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 30, 18))
x: T;
>x : Symbol(I2.x, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 30, 23))
>T : Symbol(T, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 30, 15))
y: U;
>y : Symbol(I2.y, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 31, 9))
>U : Symbol(U, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 30, 18))
z: V;
>z : Symbol(I2.z, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 32, 9))
>V : Symbol(V, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 30, 13))
foo<W extends V>(x: W): T;
>foo : Symbol(I2.foo, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 33, 9))
>W : Symbol(W, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 34, 8))
>V : Symbol(V, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 30, 13))
>x : Symbol(x, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 34, 21))
>W : Symbol(W, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 34, 8))
>T : Symbol(T, Decl(typeParameterUsedAsTypeParameterConstraint3.ts, 30, 15))
}
//interface I < T, U extends T, V extends U > {
// x: T;
// y: U;
// z: V;
// foo<W extends V>(x: W): T;
//}
//interface I2<V extends U, T, U extends T> {
// x: T;
// y: U;
// z: V;
// foo<W extends V>(x: W): T;
//}
|