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
69 lines
4.7 KiB
Plaintext
69 lines
4.7 KiB
Plaintext
tests/cases/compiler/propertiesAndIndexersForNumericNames.ts(6,12): error TS2411: Property '"1"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
tests/cases/compiler/propertiesAndIndexersForNumericNames.ts(7,12): error TS2411: Property '"-1"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
tests/cases/compiler/propertiesAndIndexersForNumericNames.ts(8,12): error TS2411: Property '"-2.5"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
tests/cases/compiler/propertiesAndIndexersForNumericNames.ts(9,12): error TS2411: Property '"3.141592"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
tests/cases/compiler/propertiesAndIndexersForNumericNames.ts(10,12): error TS2411: Property '"1.2e-20"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
tests/cases/compiler/propertiesAndIndexersForNumericNames.ts(11,12): error TS2411: Property '"Infinity"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
tests/cases/compiler/propertiesAndIndexersForNumericNames.ts(12,12): error TS2411: Property '"-Infinity"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
tests/cases/compiler/propertiesAndIndexersForNumericNames.ts(13,12): error TS2411: Property '"NaN"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
|
|
|
|
==== tests/cases/compiler/propertiesAndIndexersForNumericNames.ts (8 errors) ====
|
|
class C {
|
|
[i: number]: number;
|
|
|
|
// These all have numeric names; they should error
|
|
// because their types are not compatible with the numeric indexer.
|
|
public "1": string = "number"; // Error
|
|
~~~
|
|
!!! error TS2411: Property '"1"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
public "-1": string = "negative number"; // Error
|
|
~~~~
|
|
!!! error TS2411: Property '"-1"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
public "-2.5": string = "negative number"; // Error
|
|
~~~~~~
|
|
!!! error TS2411: Property '"-2.5"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
public "3.141592": string = "pi-sitive number"; // Error
|
|
~~~~~~~~~~
|
|
!!! error TS2411: Property '"3.141592"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
public "1.2e-20": string = "really small number"; // Error
|
|
~~~~~~~~~
|
|
!!! error TS2411: Property '"1.2e-20"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
public "Infinity": string = "A gillion"; // Error
|
|
~~~~~~~~~~
|
|
!!! error TS2411: Property '"Infinity"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
public "-Infinity": string = "Negative-a-gillion"; // Error
|
|
~~~~~~~~~~~
|
|
!!! error TS2411: Property '"-Infinity"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
public "NaN": string = "not a number"; // Error
|
|
~~~~~
|
|
!!! error TS2411: Property '"NaN"' of type 'string' is not assignable to 'number' index type 'number'.
|
|
|
|
// These all have *partially* numeric names,
|
|
// but should really be treated as plain string literals.
|
|
public " 1": string = "leading space"; // No error
|
|
public "1 ": string = "trailing space"; // No error
|
|
public "": string = "no nothing"; // No error
|
|
public " ": string = "just space"; // No error
|
|
public "1 0 1": string = "several numbers and spaces"; // No error
|
|
public "hunter2": string = "not a password"; // No error
|
|
public "+Infinity": string = "A gillion"; // No error
|
|
public "+NaN": string = "not a positive number"; // No error
|
|
public "-NaN": string = "not a negative number"; // No error
|
|
|
|
|
|
// These fall into the above category, however, they are "trickier";
|
|
// these all are *scanned* as numeric literals, but they are not written in
|
|
// "canonical" numeric representations.
|
|
public "+1": string = "positive number (for the paranoid)"; // No error
|
|
public "1e0": string = "just one"; // No error
|
|
public "-0": string = "just zero"; // No error
|
|
public "-0e0": string = "just zero"; // No error
|
|
public "0xF00D": string = "hex food"; // No error
|
|
public "0xBEEF": string = "hex beef"; // No error
|
|
public "0123": string = "oct 83"; // No error
|
|
public "0o123": string = "explicit oct 83"; // No error
|
|
public "0b101101001010": string = "explicit binary"; // No error
|
|
public "0.000000000000000000012": string = "should've been in exponential form"; // No error
|
|
}
|
|
|