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
|
=== 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 : <T, U>(x: T, y: U) => C<U, T>
>T : T
>U : U
>x : T
>T : T
>y : U
>U : U
foo<U, U>(y, y);
>foo<U, U>(y, y) : C<U, U>
>foo : <T, U>(x: T, y: U) => C<U, T>
>U : U
>U : U
>y : U
>y : U
return new C<U,T>();
>new C<U,T>() : C<U, T>
>C : typeof C
>U : U
>T : T
}
class C<T, U> {
>C : C<T, U>
>T : T
>U : U
x: T;
>x : T
>T : T
}
interface I<T, U> {
>I : I<T, U>
>T : T
>U : U
x: C<U, T>;
>x : C<U, T>
>C : C<T, U>
>U : U
>T : T
}
//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>;
//}
|
