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
|
=== tests/cases/conformance/types/typeParameters/typeArgumentLists/wrappedAndRecursiveConstraints4.ts ===
class C<T extends { length: number }> {
>C : C<T>
>length : number
constructor(x: T) { }
>x : T
foo<U extends T>(x: U) {
>foo : <U extends T>(x: U) => <V extends U>(x: V) => V
>x : U
function bar<V extends U>(x: V) {
>bar : <V extends U>(x: V) => V
>x : V
return x;
>x : V
}
return bar;
>bar : <V extends U>(x: V) => V
}
}
var c = new C({ length: 2 });
>c : C<{ length: number; }>
>new C({ length: 2 }) : C<{ length: number; }>
>C : typeof C
>{ length: 2 } : { length: number; }
>length : number
>2 : 2
var r = c.foo('');
>r : <V extends string>(x: V) => V
>c.foo('') : <V extends string>(x: V) => V
>c.foo : <U extends { length: number; }>(x: U) => <V extends U>(x: V) => V
>c : C<{ length: number; }>
>foo : <U extends { length: number; }>(x: U) => <V extends U>(x: V) => V
>'' : ""
var r2 = r({ length: 3, charAt: (x: number) => { '' } }); // error
>r2 : string
>r({ length: 3, charAt: (x: number) => { '' } }) : string
>r : <V extends string>(x: V) => V
>{ length: 3, charAt: (x: number) => { '' } } : { length: number; charAt: (x: number) => void; }
>length : number
>3 : 3
>charAt : (x: number) => void
>(x: number) => { '' } : (x: number) => void
>x : number
>'' : ""
|
