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
73 lines
1.2 KiB
Plaintext
73 lines
1.2 KiB
Plaintext
=== tests/cases/compiler/declFileTypeAnnotationTypeLiteral.ts ===
|
|
class c {
|
|
>c : c
|
|
}
|
|
class g<T> {
|
|
>g : g<T>
|
|
}
|
|
module m {
|
|
>m : typeof m
|
|
|
|
export class c {
|
|
>c : c
|
|
}
|
|
}
|
|
|
|
// Object literal with everything
|
|
var x: {
|
|
>x : { (a: number): c; (a: string): g<string>; new (a: number): c; new (a: string): m.c; [n: number]: c; [n: string]: c; a: c; b: g<string>; m1(): g<number>; m2(a: string, b?: number, ...c: c[]): string; }
|
|
|
|
// Call signatures
|
|
(a: number): c;
|
|
>a : number
|
|
|
|
(a: string): g<string>;
|
|
>a : string
|
|
|
|
// Construct signatures
|
|
new (a: number): c;
|
|
>a : number
|
|
|
|
new (a: string): m.c;
|
|
>a : string
|
|
>m : any
|
|
|
|
// Indexers
|
|
[n: number]: c;
|
|
>n : number
|
|
|
|
[n: string]: c;
|
|
>n : string
|
|
|
|
// Properties
|
|
a: c;
|
|
>a : c
|
|
|
|
b: g<string>;
|
|
>b : g<string>
|
|
|
|
// methods
|
|
m1(): g<number>;
|
|
>m1 : () => g<number>
|
|
|
|
m2(a: string, b?: number, ...c: c[]): string;
|
|
>m2 : (a: string, b?: number, ...c: c[]) => string
|
|
>a : string
|
|
>b : number
|
|
>c : c[]
|
|
|
|
};
|
|
|
|
|
|
// Function type
|
|
var y: (a: string) => string;
|
|
>y : (a: string) => string
|
|
>a : string
|
|
|
|
// constructor type
|
|
var z: new (a: string) => m.c;
|
|
>z : new (a: string) => m.c
|
|
>a : string
|
|
>m : any
|
|
|