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
121 lines
6.7 KiB
Plaintext
121 lines
6.7 KiB
Plaintext
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts(15,1): error TS2322: Type 'A' is not assignable to type '{ [x: string]: Derived; }'.
|
|
'string' index signatures are incompatible.
|
|
Property 'bar' is missing in type 'Base' but required in type 'Derived'.
|
|
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts(19,1): error TS2322: Type 'A' is not assignable to type '{ [x: string]: Derived2; }'.
|
|
'string' index signatures are incompatible.
|
|
Type 'Base' is missing the following properties from type 'Derived2': baz, bar
|
|
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts(33,5): error TS2322: Type 'A<Base>' is not assignable to type '{ [x: string]: Derived; }'.
|
|
'string' index signatures are incompatible.
|
|
Type 'Base' is not assignable to type 'Derived'.
|
|
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts(41,5): error TS2322: Type 'A<Base>' is not assignable to type '{ [x: string]: Derived2; }'.
|
|
'string' index signatures are incompatible.
|
|
Type 'Base' is not assignable to type 'Derived2'.
|
|
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts(46,9): error TS2322: Type '{ [x: string]: Derived; }' is not assignable to type 'A<T>'.
|
|
'string' index signatures are incompatible.
|
|
Type 'Derived' is not assignable to type 'T'.
|
|
'Derived' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'Base'.
|
|
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts(47,9): error TS2322: Type 'A<T>' is not assignable to type '{ [x: string]: Derived; }'.
|
|
'string' index signatures are incompatible.
|
|
Type 'T' is not assignable to type 'Derived'.
|
|
Type 'Base' is not assignable to type 'Derived'.
|
|
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts(50,9): error TS2322: Type '{ [x: string]: Derived2; }' is not assignable to type 'A<T>'.
|
|
'string' index signatures are incompatible.
|
|
Type 'Derived2' is not assignable to type 'T'.
|
|
'Derived2' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'Base'.
|
|
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts(51,9): error TS2322: Type 'A<T>' is not assignable to type '{ [x: string]: Derived2; }'.
|
|
'string' index signatures are incompatible.
|
|
Type 'T' is not assignable to type 'Derived2'.
|
|
Type 'Base' is not assignable to type 'Derived2'.
|
|
|
|
|
|
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts (8 errors) ====
|
|
// index signatures must be compatible in assignments
|
|
|
|
interface Base { foo: string; }
|
|
interface Derived extends Base { bar: string; }
|
|
interface Derived2 extends Derived { baz: string; }
|
|
|
|
class A {
|
|
[x: string]: Base;
|
|
}
|
|
|
|
var a: A;
|
|
|
|
var b: { [x: string]: Derived; }
|
|
a = b; // ok
|
|
b = a; // error
|
|
~
|
|
!!! error TS2322: Type 'A' is not assignable to type '{ [x: string]: Derived; }'.
|
|
!!! error TS2322: 'string' index signatures are incompatible.
|
|
!!! error TS2322: Property 'bar' is missing in type 'Base' but required in type 'Derived'.
|
|
!!! related TS2728 tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithStringIndexer.ts:4:34: 'bar' is declared here.
|
|
|
|
var b2: { [x: string]: Derived2; }
|
|
a = b2; // ok
|
|
b2 = a; // error
|
|
~~
|
|
!!! error TS2322: Type 'A' is not assignable to type '{ [x: string]: Derived2; }'.
|
|
!!! error TS2322: 'string' index signatures are incompatible.
|
|
!!! error TS2322: Type 'Base' is missing the following properties from type 'Derived2': baz, bar
|
|
|
|
module Generics {
|
|
class A<T extends Base> {
|
|
[x: string]: T;
|
|
}
|
|
|
|
class B extends A<Base> {
|
|
[x: string]: Derived; // ok
|
|
}
|
|
|
|
var b1: { [x: string]: Derived; };
|
|
var a1: A<Base>;
|
|
a1 = b1; // ok
|
|
b1 = a1; // error
|
|
~~
|
|
!!! error TS2322: Type 'A<Base>' is not assignable to type '{ [x: string]: Derived; }'.
|
|
!!! error TS2322: 'string' index signatures are incompatible.
|
|
!!! error TS2322: Type 'Base' is not assignable to type 'Derived'.
|
|
|
|
class B2 extends A<Base> {
|
|
[x: string]: Derived2; // ok
|
|
}
|
|
|
|
var b2: { [x: string]: Derived2; };
|
|
a1 = b2; // ok
|
|
b2 = a1; // error
|
|
~~
|
|
!!! error TS2322: Type 'A<Base>' is not assignable to type '{ [x: string]: Derived2; }'.
|
|
!!! error TS2322: 'string' index signatures are incompatible.
|
|
!!! error TS2322: Type 'Base' is not assignable to type 'Derived2'.
|
|
|
|
function foo<T extends Base>() {
|
|
var b3: { [x: string]: Derived; };
|
|
var a3: A<T>;
|
|
a3 = b3; // error
|
|
~~
|
|
!!! error TS2322: Type '{ [x: string]: Derived; }' is not assignable to type 'A<T>'.
|
|
!!! error TS2322: 'string' index signatures are incompatible.
|
|
!!! error TS2322: Type 'Derived' is not assignable to type 'T'.
|
|
!!! error TS2322: 'Derived' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'Base'.
|
|
b3 = a3; // error
|
|
~~
|
|
!!! error TS2322: Type 'A<T>' is not assignable to type '{ [x: string]: Derived; }'.
|
|
!!! error TS2322: 'string' index signatures are incompatible.
|
|
!!! error TS2322: Type 'T' is not assignable to type 'Derived'.
|
|
!!! error TS2322: Type 'Base' is not assignable to type 'Derived'.
|
|
|
|
var b4: { [x: string]: Derived2; };
|
|
a3 = b4; // error
|
|
~~
|
|
!!! error TS2322: Type '{ [x: string]: Derived2; }' is not assignable to type 'A<T>'.
|
|
!!! error TS2322: 'string' index signatures are incompatible.
|
|
!!! error TS2322: Type 'Derived2' is not assignable to type 'T'.
|
|
!!! error TS2322: 'Derived2' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'Base'.
|
|
b4 = a3; // error
|
|
~~
|
|
!!! error TS2322: Type 'A<T>' is not assignable to type '{ [x: string]: Derived2; }'.
|
|
!!! error TS2322: 'string' index signatures are incompatible.
|
|
!!! error TS2322: Type 'T' is not assignable to type 'Derived2'.
|
|
!!! error TS2322: Type 'Base' is not assignable to type 'Derived2'.
|
|
}
|
|
} |