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
129 lines
6.8 KiB
Plaintext
129 lines
6.8 KiB
Plaintext
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(47,5): error TS2411: Property 'foo' of type 'V' is not assignable to 'string' index type 'Foo'.
|
|
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(47,5): error TS2416: Property 'foo' in type 'D3<T, U, V>' is not assignable to the same property in base type 'B1<Foo>'.
|
|
Type 'V' is not assignable to type 'Foo'.
|
|
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(57,5): error TS2411: Property 'foo' of type 'U' is not assignable to 'string' index type 'T'.
|
|
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(57,5): error TS2416: Property 'foo' in type 'D5<T, U, V>' is not assignable to the same property in base type 'B1<T>'.
|
|
Type 'U' is not assignable to type 'T'.
|
|
'U' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'Foo'.
|
|
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(62,5): error TS2411: Property 'foo' of type 'V' is not assignable to 'string' index type 'T'.
|
|
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(62,5): error TS2416: Property 'foo' in type 'D6<T, U, V>' is not assignable to the same property in base type 'B1<T>'.
|
|
Type 'V' is not assignable to type 'T'.
|
|
'T' could be instantiated with an arbitrary type which could be unrelated to 'V'.
|
|
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(67,5): error TS2411: Property 'foo' of type 'T' is not assignable to 'string' index type 'U'.
|
|
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(67,5): error TS2416: Property 'foo' in type 'D7<T, U, V>' is not assignable to the same property in base type 'B1<U>'.
|
|
Type 'T' is not assignable to type 'U'.
|
|
'T' is assignable to the constraint of type 'U', but 'U' could be instantiated with a different subtype of constraint 'Foo'.
|
|
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(77,5): error TS2411: Property 'foo' of type 'V' is not assignable to 'string' index type 'U'.
|
|
tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts(77,5): error TS2416: Property 'foo' in type 'D9<T, U, V>' is not assignable to the same property in base type 'B1<U>'.
|
|
Type 'V' is not assignable to type 'U'.
|
|
'U' could be instantiated with an arbitrary type which could be unrelated to 'V'.
|
|
|
|
|
|
==== tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameterWithConstraints4.ts (10 errors) ====
|
|
// checking whether other types are subtypes of type parameters with constraints
|
|
|
|
class Foo { foo: number; }
|
|
function f<T extends Foo, U extends Foo, V>(t: T, u: U, v: V) {
|
|
// ok
|
|
var r = true ? t : u;
|
|
var r = true ? u : t;
|
|
|
|
// ok
|
|
var r2 = true ? t : v;
|
|
var r2 = true ? v : t;
|
|
|
|
// ok
|
|
var r3 = true ? v : u;
|
|
var r3 = true ? u : v;
|
|
|
|
// ok
|
|
var r4 = true ? t : new Foo();
|
|
var r4 = true ? new Foo() : t;
|
|
|
|
// ok
|
|
var r5 = true ? u : new Foo();
|
|
var r5 = true ? new Foo() : u;
|
|
|
|
// ok
|
|
var r6 = true ? v : new Foo();
|
|
var r6 = true ? new Foo() : v;
|
|
|
|
}
|
|
|
|
class B1<T> {
|
|
foo: T;
|
|
}
|
|
|
|
class D1<T extends Foo, U extends Foo, V> extends B1<Foo> {
|
|
[x: string]: Foo;
|
|
foo: T; // ok
|
|
}
|
|
|
|
class D2<T extends Foo, U extends Foo, V> extends B1<Foo> {
|
|
[x: string]: Foo;
|
|
foo: U; // ok
|
|
}
|
|
|
|
class D3<T extends Foo, U extends Foo, V> extends B1<Foo> {
|
|
[x: string]: Foo;
|
|
foo: V; // error
|
|
~~~
|
|
!!! error TS2411: Property 'foo' of type 'V' is not assignable to 'string' index type 'Foo'.
|
|
~~~
|
|
!!! error TS2416: Property 'foo' in type 'D3<T, U, V>' is not assignable to the same property in base type 'B1<Foo>'.
|
|
!!! error TS2416: Type 'V' is not assignable to type 'Foo'.
|
|
}
|
|
|
|
class D4<T extends Foo, U extends Foo, V> extends B1<T> {
|
|
[x: string]: T;
|
|
foo: T; // ok
|
|
}
|
|
|
|
class D5<T extends Foo, U extends Foo, V> extends B1<T> {
|
|
[x: string]: T;
|
|
foo: U; // error
|
|
~~~
|
|
!!! error TS2411: Property 'foo' of type 'U' is not assignable to 'string' index type 'T'.
|
|
~~~
|
|
!!! error TS2416: Property 'foo' in type 'D5<T, U, V>' is not assignable to the same property in base type 'B1<T>'.
|
|
!!! error TS2416: Type 'U' is not assignable to type 'T'.
|
|
!!! error TS2416: 'U' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'Foo'.
|
|
}
|
|
|
|
class D6<T extends Foo, U extends Foo, V> extends B1<T> {
|
|
[x: string]: T;
|
|
foo: V; // error
|
|
~~~
|
|
!!! error TS2411: Property 'foo' of type 'V' is not assignable to 'string' index type 'T'.
|
|
~~~
|
|
!!! error TS2416: Property 'foo' in type 'D6<T, U, V>' is not assignable to the same property in base type 'B1<T>'.
|
|
!!! error TS2416: Type 'V' is not assignable to type 'T'.
|
|
!!! error TS2416: 'T' could be instantiated with an arbitrary type which could be unrelated to 'V'.
|
|
}
|
|
|
|
class D7<T extends Foo, U extends Foo, V> extends B1<U> {
|
|
[x: string]: U;
|
|
foo: T; // error
|
|
~~~
|
|
!!! error TS2411: Property 'foo' of type 'T' is not assignable to 'string' index type 'U'.
|
|
~~~
|
|
!!! error TS2416: Property 'foo' in type 'D7<T, U, V>' is not assignable to the same property in base type 'B1<U>'.
|
|
!!! error TS2416: Type 'T' is not assignable to type 'U'.
|
|
!!! error TS2416: 'T' is assignable to the constraint of type 'U', but 'U' could be instantiated with a different subtype of constraint 'Foo'.
|
|
}
|
|
|
|
class D8<T extends Foo, U extends Foo, V> extends B1<U> {
|
|
[x: string]: U;
|
|
foo: U; // ok
|
|
}
|
|
|
|
class D9<T extends Foo, U extends Foo, V> extends B1<U> {
|
|
[x: string]: U;
|
|
foo: V; // error
|
|
~~~
|
|
!!! error TS2411: Property 'foo' of type 'V' is not assignable to 'string' index type 'U'.
|
|
~~~
|
|
!!! error TS2416: Property 'foo' in type 'D9<T, U, V>' is not assignable to the same property in base type 'B1<U>'.
|
|
!!! error TS2416: Type 'V' is not assignable to type 'U'.
|
|
!!! error TS2416: 'U' could be instantiated with an arbitrary type which could be unrelated to 'V'.
|
|
} |