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
|
=== tests/cases/compiler/overloadingOnConstants2.ts ===
class C {
>C : C
private x = 1;
>x : number
>1 : 1
}
class D extends C {}
>D : D
>C : C
class E {
>E : E
private y = 1;
>y : number
>1 : 1
}
function foo(x: "hi", items: string[]): D;
>foo : { (x: "hi", items: string[]): D; (x: "bye", items: string[]): E; }
>x : "hi"
>items : string[]
function foo(x: "bye", items: string[]): E;
>foo : { (x: "hi", items: string[]): D; (x: "bye", items: string[]): E; }
>x : "bye"
>items : string[]
function foo(x: string, items: string[]): C {
>foo : { (x: "hi", items: string[]): D; (x: "bye", items: string[]): E; }
>x : string
>items : string[]
return null;
>null : null
}
var a: D = foo("hi", []); // D
>a : D
>foo("hi", []) : D
>foo : { (x: "hi", items: string[]): D; (x: "bye", items: string[]): E; }
>"hi" : "hi"
>[] : undefined[]
var b: E = foo("bye", []); // E
>b : E
>foo("bye", []) : E
>foo : { (x: "hi", items: string[]): D; (x: "bye", items: string[]): E; }
>"bye" : "bye"
>[] : undefined[]
var c = foo("um", []); // error
>c : D & E
>foo("um", []) : D & E
>foo : { (x: "hi", items: string[]): D; (x: "bye", items: string[]): E; }
>"um" : "um"
>[] : undefined[]
//function bar(x: "hi", items: string[]): D;
function bar(x: "bye", items: string[]): E;
>bar : { (x: "bye", items: string[]): E; (x: string, items: string[]): C; }
>x : "bye"
>items : string[]
function bar(x: string, items: string[]): C;
>bar : { (x: "bye", items: string[]): E; (x: string, items: string[]): C; }
>x : string
>items : string[]
function bar(x: string, items: string[]): C {
>bar : { (x: "bye", items: string[]): E; (x: string, items: string[]): C; }
>x : string
>items : string[]
return null;
>null : null
}
var d: D = bar("hi", []); // D
>d : D
>bar("hi", []) : C
>bar : { (x: "bye", items: string[]): E; (x: string, items: string[]): C; }
>"hi" : "hi"
>[] : undefined[]
var e: E = bar("bye", []); // E
>e : E
>bar("bye", []) : E
>bar : { (x: "bye", items: string[]): E; (x: string, items: string[]): C; }
>"bye" : "bye"
>[] : undefined[]
var f: C = bar("um", []); // C
>f : C
>bar("um", []) : C
>bar : { (x: "bye", items: string[]): E; (x: string, items: string[]): C; }
>"um" : "um"
>[] : undefined[]
|
