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
|
=== tests/cases/compiler/overloadOnConstConstraintChecks1.ts ===
class Base { foo() { } }
>Base : Base
>foo : () => void
class Derived1 extends Base { bar() { } }
>Derived1 : Derived1
>Base : Base
>bar : () => void
class Derived2 extends Base { baz() { } }
>Derived2 : Derived2
>Base : Base
>baz : () => void
class Derived3 extends Base { biz() { } }
>Derived3 : Derived3
>Base : Base
>biz : () => void
interface MyDoc { // Document
>MyDoc : MyDoc
createElement(tagName: string): Base;
>createElement : { (tagName: string): Base; (tagName: "canvas"): Derived1; (tagName: "div"): Derived2; (tagName: "span"): Derived3; }
>tagName : string
>Base : Base
createElement(tagName: 'canvas'): Derived1;
>createElement : { (tagName: string): Base; (tagName: "canvas"): Derived1; (tagName: "div"): Derived2; (tagName: "span"): Derived3; }
>tagName : "canvas"
>Derived1 : Derived1
createElement(tagName: 'div'): Derived2;
>createElement : { (tagName: string): Base; (tagName: "canvas"): Derived1; (tagName: "div"): Derived2; (tagName: "span"): Derived3; }
>tagName : "div"
>Derived2 : Derived2
createElement(tagName: 'span'): Derived3;
>createElement : { (tagName: string): Base; (tagName: "canvas"): Derived1; (tagName: "div"): Derived2; (tagName: "span"): Derived3; }
>tagName : "span"
>Derived3 : Derived3
// + 100 more
}
class D implements MyDoc {
>D : D
>MyDoc : MyDoc
createElement(tagName:string): Base;
>createElement : { (tagName: string): Base; (tagName: "canvas"): Derived1; (tagName: "div"): Derived2; (tagName: "span"): Derived3; }
>tagName : string
>Base : Base
createElement(tagName: 'canvas'): Derived1;
>createElement : { (tagName: string): Base; (tagName: "canvas"): Derived1; (tagName: "div"): Derived2; (tagName: "span"): Derived3; }
>tagName : "canvas"
>Derived1 : Derived1
createElement(tagName: 'div'): Derived2;
>createElement : { (tagName: string): Base; (tagName: "canvas"): Derived1; (tagName: "div"): Derived2; (tagName: "span"): Derived3; }
>tagName : "div"
>Derived2 : Derived2
createElement(tagName: 'span'): Derived3;
>createElement : { (tagName: string): Base; (tagName: "canvas"): Derived1; (tagName: "div"): Derived2; (tagName: "span"): Derived3; }
>tagName : "span"
>Derived3 : Derived3
createElement(tagName:any): Base {
>createElement : { (tagName: string): Base; (tagName: "canvas"): Derived1; (tagName: "div"): Derived2; (tagName: "span"): Derived3; }
>tagName : any
>Base : Base
return null;
>null : null
}
}
|
