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
|
=== tests/cases/conformance/types/typeParameters/typeArgumentLists/wrappedAndRecursiveConstraints.ts ===
// no errors expected
class C<T extends Date> {
>C : C<T>
>T : T
>Date : Date
constructor(public data: T) { }
>data : T
>T : T
foo<U extends T>(x: U) {
>foo : <U extends T>(x: U) => U
>U : U
>T : T
>x : U
>U : U
return x;
>x : U
}
}
interface Foo extends Date {
>Foo : Foo
>Date : Date
foo: string;
>foo : string
}
var y: Foo = null;
>y : Foo
>Foo : Foo
>null : null
var c = new C(y);
>c : C<Foo>
>new C(y) : C<Foo>
>C : typeof C
>y : Foo
var r = c.foo(y);
>r : Foo
>c.foo(y) : Foo
>c.foo : <U extends Foo>(x: U) => U
>c : C<Foo>
>foo : <U extends Foo>(x: U) => U
>y : Foo
|
