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
|
tests/cases/compiler/indexerConstraints.ts(17,5): error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
tests/cases/compiler/indexerConstraints.ts(25,5): error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
tests/cases/compiler/indexerConstraints.ts(33,5): error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
tests/cases/compiler/indexerConstraints.ts(41,5): error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
==== tests/cases/compiler/indexerConstraints.ts (4 errors) ====
interface A { a: number; }
interface B extends A { b: number; }
// Good case
interface D {
[s: string]: A;
}
interface D {
[n: number]: B;
}
// Bad case
interface E {
[s: string]: B;
}
interface E {
[n: number]: A;
~~~~~~~~~~~~~~~
!!! error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
}
// Inheritance
interface F {
[s: string]: B;
}
interface G extends F {
[n: number]: A;
~~~~~~~~~~~~~~~
!!! error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
}
// Other way
interface H {
[n: number]: A;
}
interface I extends H {
[s: string]: B;
~~~~~~~~~~~~~~~
!!! error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
}
// With hidden indexer
interface J {
[n: number]: {};
}
interface K extends J {
[n: number]: A;
~~~~~~~~~~~~~~~
!!! error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
[s: string]: B;
}
|
