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
|
//// [deeplyNestedConstraints.ts]
// Repro from #41931
type Enum = Record<string, string | number>;
type TypeMap<E extends Enum> = { [key in E[keyof E]]: number | boolean | string | number[] };
class BufferPool<E extends Enum, M extends TypeMap<E>> {
setArray2<K extends E[keyof E]>(_: K, array: Extract<M[K], ArrayLike<any>>) {
array.length; // Requires exploration of >5 levels of constraints
}
}
//// [deeplyNestedConstraints.js]
"use strict";
// Repro from #41931
var BufferPool = /** @class */ (function () {
function BufferPool() {
}
BufferPool.prototype.setArray2 = function (_, array) {
array.length; // Requires exploration of >5 levels of constraints
};
return BufferPool;
}());
//// [deeplyNestedConstraints.d.ts]
type Enum = Record<string, string | number>;
type TypeMap<E extends Enum> = {
[key in E[keyof E]]: number | boolean | string | number[];
};
declare class BufferPool<E extends Enum, M extends TypeMap<E>> {
setArray2<K extends E[keyof E]>(_: K, array: Extract<M[K], ArrayLike<any>>): void;
}
|
