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
|
//// [infinitelyExpandingTypes4.ts]
interface Query<T> {
// ...
groupBy<K>(keySelector: (item: T) => K): Query<Grouping<K, T>>;
// ...
}
interface QueryEnumerator<T> {
// ...
groupBy<K>(keySelector: (item: T) => K): QueryEnumerator<Grouping<K, T>>;
// ...
}
interface Grouping<K, T> extends Query<T> {
key(): K;
}
var q1: Query<number>;
var q2: QueryEnumerator<number>;
var q3: Query<number>;
q1 = q2; // should error
q1 = q3; // should not error
//// [infinitelyExpandingTypes4.js]
var q1;
var q2;
var q3;
q1 = q2; // should error
q1 = q3; // should not error
|
