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
|
//// [genericClassWithObjectTypeArgsAndConstraints.ts]
// Generic call with constraints infering type parameter from object member properties
// No errors expected
class C {
x: string;
}
class D {
x: string;
y: string;
}
class X<T> {
x: T;
}
module Class {
class G<T extends { x: string }> {
foo<T extends { x: string }>(t: X<T>, t2: X<T>) {
var x: T;
return x;
}
}
var c1 = new X<C>();
var d1 = new X<D>();
var g: G<{ x: string; y: string }>;
var r = g.foo(c1, d1);
var r2 = g.foo(c1, c1);
class G2<T extends C> {
foo2<T extends C>(t: X<T>, t2: X<T>) {
var x: T;
return x;
}
}
var g2: G2<D>;
var r = g2.foo2(c1, d1);
var r2 = g2.foo2(c1, c1);
}
module Interface {
interface G<T extends { x: string }> {
foo<T extends { x: string }>(t: X<T>, t2: X<T>): T;
}
var c1 = new X<C>();
var d1 = new X<D>();
var g: G<{ x: string; y: string }>;
var r = g.foo(c1, d1);
var r2 = g.foo(c1, c1);
interface G2<T extends C> {
foo2<T extends C>(t: X<T>, t2: X<T>): T;
}
var g2: G2<D>;
var r = g2.foo2(c1, d1);
var r2 = g2.foo2(c1, c1);
}
//// [genericClassWithObjectTypeArgsAndConstraints.js]
// Generic call with constraints infering type parameter from object member properties
// No errors expected
var C = /** @class */ (function () {
function C() {
}
return C;
}());
var D = /** @class */ (function () {
function D() {
}
return D;
}());
var X = /** @class */ (function () {
function X() {
}
return X;
}());
var Class;
(function (Class) {
var G = /** @class */ (function () {
function G() {
}
G.prototype.foo = function (t, t2) {
var x;
return x;
};
return G;
}());
var c1 = new X();
var d1 = new X();
var g;
var r = g.foo(c1, d1);
var r2 = g.foo(c1, c1);
var G2 = /** @class */ (function () {
function G2() {
}
G2.prototype.foo2 = function (t, t2) {
var x;
return x;
};
return G2;
}());
var g2;
var r = g2.foo2(c1, d1);
var r2 = g2.foo2(c1, c1);
})(Class || (Class = {}));
var Interface;
(function (Interface) {
var c1 = new X();
var d1 = new X();
var g;
var r = g.foo(c1, d1);
var r2 = g.foo(c1, c1);
var g2;
var r = g2.foo2(c1, d1);
var r2 = g2.foo2(c1, c1);
})(Interface || (Interface = {}));
|
