TypeScript/tests/baselines/reference/numericIndexingResults.types
Anders Hejlsberg 0e905be42b
Index signatures for symbols and template literal strings (#44512)
* 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
2021-06-21 11:25:42 -07:00

247 lines
3.7 KiB
Plaintext

=== tests/cases/conformance/types/objectTypeLiteral/indexSignatures/numericIndexingResults.ts ===
class C {
>C : C
[x: number]: string;
>x : number
1 = '';
>1 : string
>'' : ""
"2" = ''
>"2" : string
>'' : ""
}
var c: C;
>c : C
var r1 = c['1'];
>r1 : string
>c['1'] : string
>c : C
>'1' : "1"
var r2 = c['2'];
>r2 : string
>c['2'] : string
>c : C
>'2' : "2"
var r3 = c['3'];
>r3 : string
>c['3'] : string
>c : C
>'3' : "3"
var r4 = c[1];
>r4 : string
>c[1] : string
>c : C
>1 : 1
var r5 = c[2];
>r5 : string
>c[2] : string
>c : C
>2 : 2
var r6 = c[3];
>r6 : string
>c[3] : string
>c : C
>3 : 3
interface I {
[x: number]: string;
>x : number
1: string;
>1 : string
"2": string;
>"2" : string
}
var i: I
>i : I
var r1 = i['1'];
>r1 : string
>i['1'] : string
>i : I
>'1' : "1"
var r2 = i['2'];
>r2 : string
>i['2'] : string
>i : I
>'2' : "2"
var r3 = i['3'];
>r3 : string
>i['3'] : string
>i : I
>'3' : "3"
var r4 = i[1];
>r4 : string
>i[1] : string
>i : I
>1 : 1
var r5 = i[2];
>r5 : string
>i[2] : string
>i : I
>2 : 2
var r6 = i[3];
>r6 : string
>i[3] : string
>i : I
>3 : 3
var a: {
>a : { [x: number]: string; 1: string; "2": string; }
[x: number]: string;
>x : number
1: string;
>1 : string
"2": string;
>"2" : string
}
var r1 = a['1'];
>r1 : string
>a['1'] : string
>a : { [x: number]: string; 1: string; "2": string; }
>'1' : "1"
var r2 = a['2'];
>r2 : string
>a['2'] : string
>a : { [x: number]: string; 1: string; "2": string; }
>'2' : "2"
var r3 = a['3'];
>r3 : string
>a['3'] : string
>a : { [x: number]: string; 1: string; "2": string; }
>'3' : "3"
var r4 = a[1];
>r4 : string
>a[1] : string
>a : { [x: number]: string; 1: string; "2": string; }
>1 : 1
var r5 = a[2];
>r5 : string
>a[2] : string
>a : { [x: number]: string; 1: string; "2": string; }
>2 : 2
var r6 = a[3];
>r6 : string
>a[3] : string
>a : { [x: number]: string; 1: string; "2": string; }
>3 : 3
var b: { [x: number]: string } = { 1: '', "2": '' }
>b : { [x: number]: string; }
>x : number
>{ 1: '', "2": '' } : { 1: string; "2": string; }
>1 : string
>'' : ""
>"2" : string
>'' : ""
var r1a = b['1'];
>r1a : string
>b['1'] : string
>b : { [x: number]: string; }
>'1' : "1"
var r2a = b['2'];
>r2a : string
>b['2'] : string
>b : { [x: number]: string; }
>'2' : "2"
var r3 = b['3'];
>r3 : string
>b['3'] : string
>b : { [x: number]: string; }
>'3' : "3"
var r4 = b[1];
>r4 : string
>b[1] : string
>b : { [x: number]: string; }
>1 : 1
var r5 = b[2];
>r5 : string
>b[2] : string
>b : { [x: number]: string; }
>2 : 2
var r6 = b[3];
>r6 : string
>b[3] : string
>b : { [x: number]: string; }
>3 : 3
var b2: { [x: number]: string; 1: string; "2": string; } = { 1: '', "2": '' }
>b2 : { [x: number]: string; 1: string; "2": string; }
>x : number
>1 : string
>"2" : string
>{ 1: '', "2": '' } : { 1: string; "2": string; }
>1 : string
>'' : ""
>"2" : string
>'' : ""
var r1b = b2['1'];
>r1b : string
>b2['1'] : string
>b2 : { [x: number]: string; 1: string; "2": string; }
>'1' : "1"
var r2b = b2['2'];
>r2b : string
>b2['2'] : string
>b2 : { [x: number]: string; 1: string; "2": string; }
>'2' : "2"
var r3 = b2['3'];
>r3 : string
>b2['3'] : string
>b2 : { [x: number]: string; 1: string; "2": string; }
>'3' : "3"
var r4 = b2[1];
>r4 : string
>b2[1] : string
>b2 : { [x: number]: string; 1: string; "2": string; }
>1 : 1
var r5 = b2[2];
>r5 : string
>b2[2] : string
>b2 : { [x: number]: string; 1: string; "2": string; }
>2 : 2
var r6 = b2[3];
>r6 : string
>b2[3] : string
>b2 : { [x: number]: string; 1: string; "2": string; }
>3 : 3