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
|
=== tests/cases/conformance/types/objectTypeLiteral/callSignatures/typeParameterAsTypeArgument.ts ===
// These are all errors because type parameters cannot reference other type parameters from the same list
function foo<T, U>(x: T, y: U) {
>foo : Symbol(foo, Decl(typeParameterAsTypeArgument.ts, 0, 0))
>T : Symbol(T, Decl(typeParameterAsTypeArgument.ts, 2, 13))
>U : Symbol(U, Decl(typeParameterAsTypeArgument.ts, 2, 15))
>x : Symbol(x, Decl(typeParameterAsTypeArgument.ts, 2, 19))
>T : Symbol(T, Decl(typeParameterAsTypeArgument.ts, 2, 13))
>y : Symbol(y, Decl(typeParameterAsTypeArgument.ts, 2, 24))
>U : Symbol(U, Decl(typeParameterAsTypeArgument.ts, 2, 15))
foo<U, U>(y, y);
>foo : Symbol(foo, Decl(typeParameterAsTypeArgument.ts, 0, 0))
>U : Symbol(U, Decl(typeParameterAsTypeArgument.ts, 2, 15))
>U : Symbol(U, Decl(typeParameterAsTypeArgument.ts, 2, 15))
>y : Symbol(y, Decl(typeParameterAsTypeArgument.ts, 2, 24))
>y : Symbol(y, Decl(typeParameterAsTypeArgument.ts, 2, 24))
return new C<U,T>();
>C : Symbol(C, Decl(typeParameterAsTypeArgument.ts, 5, 1))
>U : Symbol(U, Decl(typeParameterAsTypeArgument.ts, 2, 15))
>T : Symbol(T, Decl(typeParameterAsTypeArgument.ts, 2, 13))
}
class C<T, U> {
>C : Symbol(C, Decl(typeParameterAsTypeArgument.ts, 5, 1))
>T : Symbol(T, Decl(typeParameterAsTypeArgument.ts, 7, 8))
>U : Symbol(U, Decl(typeParameterAsTypeArgument.ts, 7, 10))
x: T;
>x : Symbol(C.x, Decl(typeParameterAsTypeArgument.ts, 7, 15))
>T : Symbol(T, Decl(typeParameterAsTypeArgument.ts, 7, 8))
}
interface I<T, U> {
>I : Symbol(I, Decl(typeParameterAsTypeArgument.ts, 9, 1))
>T : Symbol(T, Decl(typeParameterAsTypeArgument.ts, 11, 12))
>U : Symbol(U, Decl(typeParameterAsTypeArgument.ts, 11, 14))
x: C<U, T>;
>x : Symbol(I.x, Decl(typeParameterAsTypeArgument.ts, 11, 19))
>C : Symbol(C, Decl(typeParameterAsTypeArgument.ts, 5, 1))
>U : Symbol(U, Decl(typeParameterAsTypeArgument.ts, 11, 14))
>T : Symbol(T, Decl(typeParameterAsTypeArgument.ts, 11, 12))
}
//function foo<T, U extends T>(x: T, y: U) {
// foo<U, U>(y, y);
// return new C<U, T>();
//}
//class C<T extends U, U> {
// x: T;
//}
//interface I<T, U extends T> {
// x: C<U, T>;
//}
|
