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
71 lines
1.5 KiB
Plaintext
71 lines
1.5 KiB
Plaintext
=== tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithObjectTypeArgsAndIndexersErrors.ts ===
|
|
// Type inference infers from indexers in target type, error cases
|
|
|
|
function foo<T>(x: T) {
|
|
>foo : <T>(x: T) => T
|
|
>x : T
|
|
|
|
return x;
|
|
>x : T
|
|
}
|
|
|
|
function other<T>(arg: T) {
|
|
>other : <T>(arg: T) => void
|
|
>arg : T
|
|
|
|
var b: {
|
|
>b : { [x: string]: Object; [x: number]: T; }
|
|
|
|
[x: string]: Object;
|
|
>x : string
|
|
|
|
[x: number]: T; // ok, T is a subtype of Object because its apparent type is {}
|
|
>x : number
|
|
|
|
};
|
|
var r2 = foo(b); // T
|
|
>r2 : { [x: string]: Object; [x: number]: T; }
|
|
>foo(b) : { [x: string]: Object; [x: number]: T; }
|
|
>foo : <T>(x: T) => T
|
|
>b : { [x: string]: Object; [x: number]: T; }
|
|
}
|
|
|
|
function other3<T extends U, U extends Date>(arg: T) {
|
|
>other3 : <T extends U, U extends Date>(arg: T) => void
|
|
>arg : T
|
|
|
|
var b: {
|
|
>b : { [x: string]: Object; [x: number]: T; }
|
|
|
|
[x: string]: Object;
|
|
>x : string
|
|
|
|
[x: number]: T;
|
|
>x : number
|
|
|
|
};
|
|
var r2 = foo(b);
|
|
>r2 : { [x: string]: Object; [x: number]: T; }
|
|
>foo(b) : { [x: string]: Object; [x: number]: T; }
|
|
>foo : <T>(x: T) => T
|
|
>b : { [x: string]: Object; [x: number]: T; }
|
|
|
|
var d = r2[1];
|
|
>d : T
|
|
>r2[1] : T
|
|
>r2 : { [x: string]: Object; [x: number]: T; }
|
|
>1 : 1
|
|
|
|
var e = r2['1'];
|
|
>e : T
|
|
>r2['1'] : T
|
|
>r2 : { [x: string]: Object; [x: number]: T; }
|
|
>'1' : "1"
|
|
|
|
var u: U = r2[1]; // ok
|
|
>u : U
|
|
>r2[1] : T
|
|
>r2 : { [x: string]: Object; [x: number]: T; }
|
|
>1 : 1
|
|
}
|