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
111 lines
4 KiB
Plaintext
111 lines
4 KiB
Plaintext
tests/cases/compiler/indexerConstraints2.ts(9,5): error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
|
|
tests/cases/compiler/indexerConstraints2.ts(17,5): error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
|
|
tests/cases/compiler/indexerConstraints2.ts(26,5): error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
|
|
tests/cases/compiler/indexerConstraints2.ts(46,6): error TS1268: An index signature parameter type must be 'string', 'number', 'symbol', or a template literal type.
|
|
tests/cases/compiler/indexerConstraints2.ts(52,6): error TS1337: An index signature parameter type cannot be a literal type or generic type. Consider using a mapped object type instead.
|
|
tests/cases/compiler/indexerConstraints2.ts(58,6): error TS1268: An index signature parameter type must be 'string', 'number', 'symbol', or a template literal type.
|
|
tests/cases/compiler/indexerConstraints2.ts(70,6): error TS1337: An index signature parameter type cannot be a literal type or generic type. Consider using a mapped object type instead.
|
|
tests/cases/compiler/indexerConstraints2.ts(74,6): error TS1337: An index signature parameter type cannot be a literal type or generic type. Consider using a mapped object type instead.
|
|
tests/cases/compiler/indexerConstraints2.ts(79,5): error TS1021: An index signature must have a type annotation.
|
|
|
|
|
|
==== tests/cases/compiler/indexerConstraints2.ts (9 errors) ====
|
|
class A { a: number; }
|
|
class B extends A { b: number; }
|
|
|
|
// Inheritance
|
|
class F {
|
|
[s: string]: B
|
|
}
|
|
class G extends F {
|
|
[n: number]: A
|
|
~~~~~~~~~~~~~~
|
|
!!! error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
|
|
}
|
|
|
|
// Other way
|
|
class H {
|
|
[n: number]: A
|
|
}
|
|
class I extends H {
|
|
[s: string]: B
|
|
~~~~~~~~~~~~~~
|
|
!!! error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
|
|
}
|
|
|
|
// With hidden indexer
|
|
class J {
|
|
[n: number]: {}
|
|
}
|
|
|
|
class K extends J {
|
|
[n: number]: A;
|
|
~~~~~~~~~~~~~~~
|
|
!!! error TS2413: 'number' index type 'A' is not assignable to 'string' index type 'B'.
|
|
[s: string]: B;
|
|
}
|
|
|
|
|
|
type AliasedNumber = number;
|
|
|
|
interface L {
|
|
[n: AliasedNumber]: A;
|
|
}
|
|
|
|
type AliasedString = string;
|
|
|
|
interface M {
|
|
[s: AliasedString]: A;
|
|
}
|
|
|
|
type AliasedBoolean = boolean;
|
|
|
|
interface N {
|
|
[b: AliasedBoolean]: A;
|
|
~
|
|
!!! error TS1268: An index signature parameter type must be 'string', 'number', 'symbol', or a template literal type.
|
|
}
|
|
|
|
type IndexableUnion = "foo" | "bar";
|
|
|
|
interface O {
|
|
[u: IndexableUnion]: A;
|
|
~
|
|
!!! error TS1337: An index signature parameter type cannot be a literal type or generic type. Consider using a mapped object type instead.
|
|
}
|
|
|
|
type NonIndexableUnion = boolean | {};
|
|
|
|
interface P {
|
|
[u: NonIndexableUnion]: A;
|
|
~
|
|
!!! error TS1268: An index signature parameter type must be 'string', 'number', 'symbol', or a template literal type.
|
|
}
|
|
|
|
type NonIndexableUnion2 = string | number;
|
|
|
|
interface Q {
|
|
[u: NonIndexableUnion2]: A;
|
|
}
|
|
|
|
type NonIndexableUnion3 = "foo" | 42;
|
|
|
|
interface R {
|
|
[u: NonIndexableUnion3]: A;
|
|
~
|
|
!!! error TS1337: An index signature parameter type cannot be a literal type or generic type. Consider using a mapped object type instead.
|
|
}
|
|
|
|
interface S {
|
|
[u: "foo" | "bar"]: A;
|
|
~
|
|
!!! error TS1337: An index signature parameter type cannot be a literal type or generic type. Consider using a mapped object type instead.
|
|
}
|
|
|
|
type Key = string;
|
|
interface T {
|
|
[key: Key]
|
|
~~~~~~~~~~
|
|
!!! error TS1021: An index signature must have a type annotation.
|
|
}
|
|
|