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
|
=== tests/cases/conformance/classes/constructorDeclarations/automaticConstructors/derivedClassWithoutExplicitConstructor2.ts ===
class Base {
>Base : Base
a = 1;
>a : number
>1 : 1
constructor(x: number, y?: number, z?: number);
>x : number
>y : number
>z : number
constructor(x: number, y?: number);
>x : number
>y : number
constructor(x: number) { this.a = x; }
>x : number
>this.a = x : number
>this.a : number
>this : this
>a : number
>x : number
}
class Derived extends Base {
>Derived : Derived
>Base : Base
x = 1
>x : number
>1 : 1
y = 'hello';
>y : string
>'hello' : "hello"
}
var r = new Derived(); // error
>r : Derived
>new Derived() : Derived
>Derived : typeof Derived
var r2 = new Derived(1);
>r2 : Derived
>new Derived(1) : Derived
>Derived : typeof Derived
>1 : 1
var r3 = new Derived(1, 2);
>r3 : Derived
>new Derived(1, 2) : Derived
>Derived : typeof Derived
>1 : 1
>2 : 2
var r4 = new Derived(1, 2, 3);
>r4 : Derived
>new Derived(1, 2, 3) : Derived
>Derived : typeof Derived
>1 : 1
>2 : 2
>3 : 3
class Base2<T> {
>Base2 : Base2<T>
a: T;
>a : T
constructor(x: T, y?: T, z?: T);
>x : T
>y : T
>z : T
constructor(x: T, y?: T);
>x : T
>y : T
constructor(x: T) { this.a = x; }
>x : T
>this.a = x : T
>this.a : T
>this : this
>a : T
>x : T
}
class D<T extends Date> extends Base2<T> {
>D : D<T>
>Base2 : Base2<T>
x = 2
>x : number
>2 : 2
y: T = null;
>y : T
>null : null
}
var d = new D(); // error
>d : D<Date>
>new D() : D<Date>
>D : typeof D
var d2 = new D(new Date()); // ok
>d2 : D<Date>
>new D(new Date()) : D<Date>
>D : typeof D
>new Date() : Date
>Date : DateConstructor
var d3 = new D(new Date(), new Date());
>d3 : D<Date>
>new D(new Date(), new Date()) : D<Date>
>D : typeof D
>new Date() : Date
>Date : DateConstructor
>new Date() : Date
>Date : DateConstructor
var d4 = new D(new Date(), new Date(), new Date());
>d4 : D<Date>
>new D(new Date(), new Date(), new Date()) : D<Date>
>D : typeof D
>new Date() : Date
>Date : DateConstructor
>new Date() : Date
>Date : DateConstructor
>new Date() : Date
>Date : DateConstructor
|
