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
|
//// [typeParameterExtendingUnion1.ts]
class Animal { run() { } }
class Cat extends Animal { meow }
class Dog extends Animal { woof }
function run(a: Animal) {
a.run();
}
function f<T extends Cat | Dog>(a: T) {
a.run();
run(a);
}
//// [typeParameterExtendingUnion1.js]
var __extends = (this && this.__extends) || function (d, b) {
for (var p in b) if (b.hasOwnProperty(p)) d[p] = b[p];
function __() { this.constructor = d; }
d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
};
var Animal = (function () {
function Animal() {
}
Animal.prototype.run = function () { };
return Animal;
}());
var Cat = (function (_super) {
__extends(Cat, _super);
function Cat() {
return _super !== null && _super.apply(this, arguments) || this;
}
return Cat;
}(Animal));
var Dog = (function (_super) {
__extends(Dog, _super);
function Dog() {
return _super !== null && _super.apply(this, arguments) || this;
}
return Dog;
}(Animal));
function run(a) {
a.run();
}
function f(a) {
a.run();
run(a);
}
|
