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
|
tests/cases/compiler/derivedTypeIncompatibleSignatures.ts(21,11): error TS2430: Interface 'F' incorrectly extends interface 'E'.
'string' index signatures are incompatible.
Type 'number' is not assignable to type 'string'.
tests/cases/compiler/derivedTypeIncompatibleSignatures.ts(29,11): error TS2430: Interface 'H' incorrectly extends interface 'G'.
'number' index signatures are incompatible.
Type 'number' is not assignable to type 'string'.
==== tests/cases/compiler/derivedTypeIncompatibleSignatures.ts (2 errors) ====
interface A {
(a: string): string;
}
interface B extends A {
(a: string): number; // Number is not a subtype of string. Should error.
}
interface C {
new (a: string): string;
}
interface D extends C {
new (a: string): number; // Number is not a subtype of string. Should error.
}
interface E {
[a: string]: string;
}
interface F extends E {
~
!!! error TS2430: Interface 'F' incorrectly extends interface 'E'.
!!! error TS2430: 'string' index signatures are incompatible.
!!! error TS2430: Type 'number' is not assignable to type 'string'.
[a: string]: number; // Number is not a subtype of string. Should error.
}
interface G {
[a: number]: string;
}
interface H extends G {
~
!!! error TS2430: Interface 'H' incorrectly extends interface 'G'.
!!! error TS2430: 'number' index signatures are incompatible.
!!! error TS2430: Type 'number' is not assignable to type 'string'.
[a: number]: number; // Should error for the same reason
}
|
