0e905be42b
* Switch index signature storage to 'indexInfos: IndexInfo[]' property * Accept new baselines * Remove another usage of IndexKind enum * Update getIndexedAccessType and resolveMappedTypeMembers * Accept new baselines * Update grammar checking for index signatures * Accept new baselines * Consider all index signatures in mapped types and union types * Accept new baselines * Update getIndexType * Accept new baselines * Intersect multiple applicable index signatures * Use getApplicableIndexInfo instead of hardwired string/number handling * Update index signature relationship checking * Report type for which index signature is missing * Report type for which index signature is missing * Accept new baselines * Make 'number' index signatures consistently apply to numeric strings * Accept new baselines * Update fourslash test * Revise index constraint checking * Accept new baselines * Update error messages * Accept new baselines * Update type inference from index signatures * Update isKnownProperty * Update contextual typing based on index signatures * Accept new baselines * Support union types in index signature declarations * Accept new baselines * Check duplicate index signatures / remove redundant template literals from unions with string * Accept new baselines * Include key type in diagnostic / check symbol-named properties * Accept new baselines * Minor fix * Add tests * Accept new baselines * Add optimized findApplicableIndexInfoForName * Accept new baselines * Another place we don't need to obtain literal type for property name * Accept new baselines * Don't create literal types that are going to be discarded * Individual maps for string, number, bigint, and enum literal types * Remove ineffective optimizations * Accept new baselines * Permit intersections as key types in index signatures * Index expression in element access is template literal context * Add tests * Accept new baselines * Symbol index signatures from object literals with computed symbol properties * Accept new baselines * Add more tests * Accept new baselines * Implement Go To Definition for all applicable index signatures * Add fourslash test * Accept new API baselines
64 lines
2.4 KiB
Plaintext
64 lines
2.4 KiB
Plaintext
tests/cases/compiler/interfacedeclWithIndexerErrors.ts(12,5): error TS2411: Property 'p2' of type 'string' is not assignable to 'string' index type '() => string'.
|
|
tests/cases/compiler/interfacedeclWithIndexerErrors.ts(14,5): error TS2411: Property 'p4' of type 'number' is not assignable to 'string' index type '() => string'.
|
|
tests/cases/compiler/interfacedeclWithIndexerErrors.ts(15,5): error TS2411: Property 'p5' of type '(s: number) => string' is not assignable to 'string' index type '() => string'.
|
|
tests/cases/compiler/interfacedeclWithIndexerErrors.ts(19,5): error TS2411: Property 'f3' of type '(a: string) => number' is not assignable to 'string' index type '() => string'.
|
|
tests/cases/compiler/interfacedeclWithIndexerErrors.ts(20,5): error TS2411: Property 'f4' of type '(s: number) => string' is not assignable to 'string' index type '() => string'.
|
|
|
|
|
|
==== tests/cases/compiler/interfacedeclWithIndexerErrors.ts (5 errors) ====
|
|
interface a0 {
|
|
(): string;
|
|
(a, b, c?: string): number;
|
|
|
|
new (): string;
|
|
new (s: string);
|
|
|
|
[n: number]: ()=>string;
|
|
[s: string]: ()=>string;
|
|
|
|
p1;
|
|
p2: string;
|
|
~~
|
|
!!! error TS2411: Property 'p2' of type 'string' is not assignable to 'string' index type '() => string'.
|
|
p3?;
|
|
p4?: number;
|
|
~~
|
|
!!! error TS2411: Property 'p4' of type 'number' is not assignable to 'string' index type '() => string'.
|
|
p5: (s: number) =>string;
|
|
~~
|
|
!!! error TS2411: Property 'p5' of type '(s: number) => string' is not assignable to 'string' index type '() => string'.
|
|
|
|
f1();
|
|
f2? ();
|
|
f3(a: string): number;
|
|
~~~~~~~~~~~~~~~~~~~~~~
|
|
!!! error TS2411: Property 'f3' of type '(a: string) => number' is not assignable to 'string' index type '() => string'.
|
|
f4? (s: number): string;
|
|
~~~~~~~~~~~~~~~~~~~~~~~~
|
|
!!! error TS2411: Property 'f4' of type '(s: number) => string' is not assignable to 'string' index type '() => string'.
|
|
}
|
|
|
|
|
|
interface a1 {
|
|
[n: number]: number;
|
|
}
|
|
|
|
interface a2 {
|
|
[s: string]: number;
|
|
}
|
|
|
|
interface a {
|
|
}
|
|
|
|
interface b extends a {
|
|
}
|
|
|
|
interface c extends a, b {
|
|
}
|
|
|
|
interface d extends a {
|
|
}
|
|
|
|
class c1 implements a {
|
|
}
|
|
var instance2 = new c1(); |