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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
=== tests/cases/conformance/types/typeParameters/typeParameterLists/propertyAccessOnTypeParameterWithConstraints.ts ===
// generic types should behave as if they have properties of their constraint type
// no errors expected
class C<T extends Date> {
>C : C<T>
>T : T
>Date : Date
f() {
>f : () => number
var x: T;
>x : T
>T : T
var a = x['getDate'](); // number
>a : number
>x['getDate']() : number
>x['getDate'] : () => number
>x : T
>'getDate' : "getDate"
return a + x.getDate();
>a + x.getDate() : number
>a : number
>x.getDate() : number
>x.getDate : () => number
>x : T
>getDate : () => number
}
}
var r = (new C<Date>()).f();
>r : number
>(new C<Date>()).f() : number
>(new C<Date>()).f : () => number
>(new C<Date>()) : C<Date>
>new C<Date>() : C<Date>
>C : typeof C
>Date : Date
>f : () => number
interface I<T extends Date> {
>I : I<T>
>T : T
>Date : Date
foo: T;
>foo : T
>T : T
}
var i: I<Date>;
>i : I<Date>
>I : I<T>
>Date : Date
var r2 = i.foo.getDate();
>r2 : number
>i.foo.getDate() : number
>i.foo.getDate : () => number
>i.foo : Date
>i : I<Date>
>foo : Date
>getDate : () => number
var r2b = i.foo['getDate']();
>r2b : number
>i.foo['getDate']() : number
>i.foo['getDate'] : () => number
>i.foo : Date
>i : I<Date>
>foo : Date
>'getDate' : "getDate"
var a: {
>a : <T extends Date>() => T
<T extends Date>(): T;
>T : T
>Date : Date
>T : T
}
var r3 = a<Date>().getDate();
>r3 : number
>a<Date>().getDate() : number
>a<Date>().getDate : () => number
>a<Date>() : Date
>a : <T extends Date>() => T
>Date : Date
>getDate : () => number
var r3b = a()['getDate']();
>r3b : number
>a()['getDate']() : number
>a()['getDate'] : () => number
>a() : Date
>a : <T extends Date>() => T
>'getDate' : "getDate"
var b = {
>b : { foo: <T extends Date>(x: T) => number; }
>{ foo: <T extends Date>(x: T) => { var a = x['getDate'](); // number return a + x.getDate(); }} : { foo: <T extends Date>(x: T) => number; }
foo: <T extends Date>(x: T) => {
>foo : <T extends Date>(x: T) => number
><T extends Date>(x: T) => { var a = x['getDate'](); // number return a + x.getDate(); } : <T extends Date>(x: T) => number
>T : T
>Date : Date
>x : T
>T : T
var a = x['getDate'](); // number
>a : number
>x['getDate']() : number
>x['getDate'] : () => number
>x : T
>'getDate' : "getDate"
return a + x.getDate();
>a + x.getDate() : number
>a : number
>x.getDate() : number
>x.getDate : () => number
>x : T
>getDate : () => number
}
}
var r4 = b.foo(new Date());
>r4 : number
>b.foo(new Date()) : number
>b.foo : <T extends Date>(x: T) => number
>b : { foo: <T extends Date>(x: T) => number; }
>foo : <T extends Date>(x: T) => number
>new Date() : Date
>Date : DateConstructor
|
