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
|
//// [recursiveTypeInGenericConstraint.ts]
class G<T> {
x: G<G<T>>; // infinitely expanding type reference
}
class Foo<T extends G<T>> { // error, constraint referencing itself
bar: T;
}
class D<T> {
x: G<G<T>>;
}
var c1 = new Foo<D<string>>(); // ok, circularity in assignment compat check causes success
//// [recursiveTypeInGenericConstraint.js]
var G = /** @class */ (function () {
function G() {
}
return G;
}());
var Foo = /** @class */ (function () {
function Foo() {
}
return Foo;
}());
var D = /** @class */ (function () {
function D() {
}
return D;
}());
var c1 = new Foo(); // ok, circularity in assignment compat check causes success
|
