typescript 5.7.0-dev.20240922 → 5.7.0-dev.20240924

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-dev.20240922`;
+var version = `${versionMajorMinor}.0-dev.20240924`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -56412,11 +56412,20 @@ function createTypeChecker(host) {
     return type;
   }
   function isLateBindableName(node) {
+    return isLateBindableAST(node) && isTypeUsableAsPropertyName(isComputedPropertyName(node) ? checkComputedPropertyName(node) : checkExpressionCached(node.argumentExpression));
+  }
+  function isLateBindableIndexSignature(node) {
+    return isLateBindableAST(node) && isTypeUsableAsIndexSignature(isComputedPropertyName(node) ? checkComputedPropertyName(node) : checkExpressionCached(node.argumentExpression));
+  }
+  function isLateBindableAST(node) {
     if (!isComputedPropertyName(node) && !isElementAccessExpression(node)) {
       return false;
     }
     const expr = isComputedPropertyName(node) ? node.expression : node.argumentExpression;
-    return isEntityNameExpression(expr) && isTypeUsableAsPropertyName(isComputedPropertyName(node) ? checkComputedPropertyName(node) : checkExpressionCached(expr));
+    return isEntityNameExpression(expr);
+  }
+  function isTypeUsableAsIndexSignature(type) {
+    return isTypeAssignableTo(type, stringNumberSymbolType);
   }
   function isLateBoundName(name) {
     return name.charCodeAt(0) === 95 /* _ */ && name.charCodeAt(1) === 95 /* _ */ && name.charCodeAt(2) === 64 /* at */;
@@ -56425,6 +56434,10 @@ function createTypeChecker(host) {
     const name = getNameOfDeclaration(node);
     return !!name && isLateBindableName(name);
   }
+  function hasLateBindableIndexSignature(node) {
+    const name = getNameOfDeclaration(node);
+    return !!name && isLateBindableIndexSignature(name);
+  }
   function hasBindableName(node) {
     return !hasDynamicName(node) || hasLateBindableName(node);
   }
@@ -56478,6 +56491,24 @@ function createTypeChecker(host) {
     }
     return links.resolvedSymbol;
   }
+  function lateBindIndexSignature(parent, earlySymbols, lateSymbols, decl) {
+    let indexSymbol = lateSymbols.get("__index" /* Index */);
+    if (!indexSymbol) {
+      const early = earlySymbols == null ? void 0 : earlySymbols.get("__index" /* Index */);
+      if (!early) {
+        indexSymbol = createSymbol(0 /* None */, "__index" /* Index */, 4096 /* Late */);
+      } else {
+        indexSymbol = cloneSymbol(early);
+        indexSymbol.links.checkFlags |= 4096 /* Late */;
+      }
+      lateSymbols.set("__index" /* Index */, indexSymbol);
+    }
+    if (!indexSymbol.declarations) {
+      indexSymbol.declarations = [decl];
+    } else if (!decl.symbol.isReplaceableByMethod) {
+      indexSymbol.declarations.push(decl);
+    }
+  }
   function getResolvedMembersOrExportsOfSymbol(symbol, resolutionKind) {
     const links = getSymbolLinks(symbol);
     if (!links[resolutionKind]) {
@@ -56492,6 +56523,8 @@ function createTypeChecker(host) {
             if (isStatic2 === hasStaticModifier(member)) {
               if (hasLateBindableName(member)) {
                 lateBindMember(symbol, earlySymbols, lateSymbols, member);
+              } else if (hasLateBindableIndexSignature(member)) {
+                lateBindIndexSignature(symbol, earlySymbols, lateSymbols, member);
               }
             }
           }
@@ -57136,7 +57169,7 @@ function createTypeChecker(host) {
     }
     const indexSymbol = getIndexSymbolFromSymbolTable(members);
     if (indexSymbol) {
-      indexInfos = getIndexInfosOfIndexSymbol(indexSymbol);
+      indexInfos = getIndexInfosOfIndexSymbol(indexSymbol, arrayFrom(members.values()));
     } else {
       if (baseConstructorIndexInfo) {
         indexInfos = append(indexInfos, baseConstructorIndexInfo);
@@ -58755,7 +58788,7 @@ function createTypeChecker(host) {
     return signature.isolatedSignatureType;
   }
   function getIndexSymbol(symbol) {
-    return symbol.members ? getIndexSymbolFromSymbolTable(symbol.members) : void 0;
+    return symbol.members ? getIndexSymbolFromSymbolTable(getMembersOfSymbol(symbol)) : void 0;
   }
   function getIndexSymbolFromSymbolTable(symbolTable) {
     return symbolTable.get("__index" /* Index */);
@@ -58765,23 +58798,61 @@ function createTypeChecker(host) {
   }
   function getIndexInfosOfSymbol(symbol) {
     const indexSymbol = getIndexSymbol(symbol);
-    return indexSymbol ? getIndexInfosOfIndexSymbol(indexSymbol) : emptyArray;
+    return indexSymbol ? getIndexInfosOfIndexSymbol(indexSymbol, arrayFrom(getMembersOfSymbol(symbol).values())) : emptyArray;
   }
-  function getIndexInfosOfIndexSymbol(indexSymbol) {
+  function getIndexInfosOfIndexSymbol(indexSymbol, siblingSymbols = indexSymbol.parent ? arrayFrom(getMembersOfSymbol(indexSymbol.parent).values()) : void 0) {
     if (indexSymbol.declarations) {
       const indexInfos = [];
+      let hasComputedNumberProperty = false;
+      let readonlyComputedNumberProperty = true;
+      let hasComputedSymbolProperty = false;
+      let readonlyComputedSymbolProperty = true;
+      let hasComputedStringProperty = false;
+      let readonlyComputedStringProperty = true;
+      const computedPropertySymbols = [];
       for (const declaration of indexSymbol.declarations) {
-        if (declaration.parameters.length === 1) {
-          const parameter = declaration.parameters[0];
-          if (parameter.type) {
-            forEachType(getTypeFromTypeNode(parameter.type), (keyType) => {
-              if (isValidIndexKeyType(keyType) && !findIndexInfo(indexInfos, keyType)) {
-                indexInfos.push(createIndexInfo(keyType, declaration.type ? getTypeFromTypeNode(declaration.type) : anyType, hasEffectiveModifier(declaration, 8 /* Readonly */), declaration));
+        if (isIndexSignatureDeclaration(declaration)) {
+          if (declaration.parameters.length === 1) {
+            const parameter = declaration.parameters[0];
+            if (parameter.type) {
+              forEachType(getTypeFromTypeNode(parameter.type), (keyType) => {
+                if (isValidIndexKeyType(keyType) && !findIndexInfo(indexInfos, keyType)) {
+                  indexInfos.push(createIndexInfo(keyType, declaration.type ? getTypeFromTypeNode(declaration.type) : anyType, hasEffectiveModifier(declaration, 8 /* Readonly */), declaration));
+                }
+              });
+            }
+          }
+        } else if (hasLateBindableIndexSignature(declaration)) {
+          const declName = isBinaryExpression(declaration) ? declaration.left : declaration.name;
+          const keyType = isElementAccessExpression(declName) ? checkExpressionCached(declName.argumentExpression) : checkComputedPropertyName(declName);
+          if (findIndexInfo(indexInfos, keyType)) {
+            continue;
+          }
+          if (isTypeAssignableTo(keyType, stringNumberSymbolType)) {
+            if (isTypeAssignableTo(keyType, numberType)) {
+              hasComputedNumberProperty = true;
+              if (!hasEffectiveReadonlyModifier(declaration)) {
+                readonlyComputedNumberProperty = false;
               }
-            });
+            } else if (isTypeAssignableTo(keyType, esSymbolType)) {
+              hasComputedSymbolProperty = true;
+              if (!hasEffectiveReadonlyModifier(declaration)) {
+                readonlyComputedSymbolProperty = false;
+              }
+            } else {
+              hasComputedStringProperty = true;
+              if (!hasEffectiveReadonlyModifier(declaration)) {
+                readonlyComputedStringProperty = false;
+              }
+            }
+            computedPropertySymbols.push(declaration.symbol);
           }
         }
       }
+      const allPropertySymbols = concatenate(computedPropertySymbols, filter(siblingSymbols, (s) => s !== indexSymbol));
+      if (hasComputedStringProperty && !findIndexInfo(indexInfos, stringType)) indexInfos.push(getObjectLiteralIndexInfo(readonlyComputedStringProperty, 0, allPropertySymbols, stringType));
+      if (hasComputedNumberProperty && !findIndexInfo(indexInfos, numberType)) indexInfos.push(getObjectLiteralIndexInfo(readonlyComputedNumberProperty, 0, allPropertySymbols, numberType));
+      if (hasComputedSymbolProperty && !findIndexInfo(indexInfos, esSymbolType)) indexInfos.push(getObjectLiteralIndexInfo(readonlyComputedSymbolProperty, 0, allPropertySymbols, esSymbolType));
       return indexInfos;
     }
     return emptyArray;
@@ -72665,7 +72736,7 @@ function createTypeChecker(host) {
     const firstDecl = (_a = symbol.declarations) == null ? void 0 : _a[0];
     return isKnownSymbol(symbol) || firstDecl && isNamedDeclaration(firstDecl) && isComputedPropertyName(firstDecl.name) && isTypeAssignableToKind(checkComputedPropertyName(firstDecl.name), 4096 /* ESSymbol */);
   }
-  function getObjectLiteralIndexInfo(node, offset, properties, keyType) {
+  function getObjectLiteralIndexInfo(isReadonly, offset, properties, keyType) {
     const propTypes = [];
     for (let i = offset; i < properties.length; i++) {
       const prop = properties[i];
@@ -72674,7 +72745,7 @@ function createTypeChecker(host) {
       }
     }
     const unionType = propTypes.length ? getUnionType(propTypes, 2 /* Subtype */) : undefinedType;
-    return createIndexInfo(keyType, unionType, isConstContext(node));
+    return createIndexInfo(keyType, unionType, isReadonly);
   }
   function getImmediateAliasedSymbol(symbol) {
     Debug.assert((symbol.flags & 2097152 /* Alias */) !== 0, "Should only get Alias here.");
@@ -72837,9 +72908,10 @@ function createTypeChecker(host) {
     return createObjectLiteralType();
     function createObjectLiteralType() {
       const indexInfos = [];
-      if (hasComputedStringProperty) indexInfos.push(getObjectLiteralIndexInfo(node, offset, propertiesArray, stringType));
-      if (hasComputedNumberProperty) indexInfos.push(getObjectLiteralIndexInfo(node, offset, propertiesArray, numberType));
-      if (hasComputedSymbolProperty) indexInfos.push(getObjectLiteralIndexInfo(node, offset, propertiesArray, esSymbolType));
+      const isReadonly = isConstContext(node);
+      if (hasComputedStringProperty) indexInfos.push(getObjectLiteralIndexInfo(isReadonly, offset, propertiesArray, stringType));
+      if (hasComputedNumberProperty) indexInfos.push(getObjectLiteralIndexInfo(isReadonly, offset, propertiesArray, numberType));
+      if (hasComputedSymbolProperty) indexInfos.push(getObjectLiteralIndexInfo(isReadonly, offset, propertiesArray, esSymbolType));
       const result = createAnonymousType(node.symbol, propertiesTable, emptyArray, emptyArray, indexInfos);
       result.objectFlags |= objectFlags | 128 /* ObjectLiteral */ | 131072 /* ContainsObjectOrArrayLiteral */;
       if (isJSObjectLiteral) {
@@ -76484,9 +76556,17 @@ function createTypeChecker(host) {
     if (exprType === silentNeverType || isErrorType(exprType) || !some(typeArguments)) {
       return exprType;
     }
+    const links = getNodeLinks(node);
+    if (!links.instantiationExpressionTypes) {
+      links.instantiationExpressionTypes = /* @__PURE__ */ new Map();
+    }
+    if (links.instantiationExpressionTypes.has(exprType.id)) {
+      return links.instantiationExpressionTypes.get(exprType.id);
+    }
     let hasSomeApplicableSignature = false;
     let nonApplicableType;
     const result = getInstantiatedType(exprType);
+    links.instantiationExpressionTypes.set(exprType.id, result);
     const errorType2 = hasSomeApplicableSignature ? nonApplicableType : exprType;
     if (errorType2) {
       diagnostics.add(createDiagnosticForNodeArray(getSourceFileOfNode(node), typeArguments, Diagnostics.Type_0_has_no_signatures_for_which_the_type_argument_list_is_applicable, typeToString(errorType2)));
@@ -79955,15 +80035,17 @@ function createTypeChecker(host) {
     if (indexSymbol == null ? void 0 : indexSymbol.declarations) {
       const indexSignatureMap = /* @__PURE__ */ new Map();
       for (const declaration of indexSymbol.declarations) {
-        if (declaration.parameters.length === 1 && declaration.parameters[0].type) {
-          forEachType(getTypeFromTypeNode(declaration.parameters[0].type), (type) => {
-            const entry = indexSignatureMap.get(getTypeId(type));
-            if (entry) {
-              entry.declarations.push(declaration);
-            } else {
-              indexSignatureMap.set(getTypeId(type), { type, declarations: [declaration] });
-            }
-          });
+        if (isIndexSignatureDeclaration(declaration)) {
+          if (declaration.parameters.length === 1 && declaration.parameters[0].type) {
+            forEachType(getTypeFromTypeNode(declaration.parameters[0].type), (type) => {
+              const entry = indexSignatureMap.get(getTypeId(type));
+              if (entry) {
+                entry.declarations.push(declaration);
+              } else {
+                indexSignatureMap.set(getTypeId(type), { type, declarations: [declaration] });
+              }
+            });
+          }
         }
       }
       indexSignatureMap.forEach((entry) => {
@@ -86871,7 +86953,29 @@ function createTypeChecker(host) {
         return !sym.exports ? [] : nodeBuilder.symbolTableToDeclarationStatements(sym.exports, node, flags, internalFlags, tracker);
       },
       isImportRequiredByAugmentation,
-      isDefinitelyReferenceToGlobalSymbolObject
+      isDefinitelyReferenceToGlobalSymbolObject,
+      createLateBoundIndexSignatures: (cls, enclosing, flags, internalFlags, tracker) => {
+        const sym = cls.symbol;
+        const staticInfos = getIndexInfosOfType(getTypeOfSymbol(sym));
+        const instanceIndexSymbol = getIndexSymbol(sym);
+        const instanceInfos = instanceIndexSymbol && getIndexInfosOfIndexSymbol(instanceIndexSymbol, arrayFrom(getMembersOfSymbol(sym).values()));
+        let result;
+        for (const infoList of [staticInfos, instanceInfos]) {
+          if (!length(infoList)) continue;
+          result || (result = []);
+          for (const info of infoList) {
+            if (info.declaration) continue;
+            const node = nodeBuilder.indexInfoToIndexSignatureDeclaration(info, enclosing, flags, internalFlags, tracker);
+            if (node && infoList === staticInfos) {
+              (node.modifiers || (node.modifiers = factory.createNodeArray())).unshift(factory.createModifier(126 /* StaticKeyword */));
+            }
+            if (node) {
+              result.push(node);
+            }
+          }
+        }
+        return result;
+      }
     };
     function isImportRequiredByAugmentation(node) {
       const file = getSourceFileOfNode(node);
@@ -113356,7 +113460,8 @@ function transformDeclarations(context) {
             void 0
           )
         ] : void 0;
-        const memberNodes = concatenate(concatenate(privateIdentifier, parameterProperties), visitNodes2(input.members, visitDeclarationSubtree, isClassElement));
+        const lateIndexes = resolver.createLateBoundIndexSignatures(input, enclosingDeclaration, declarationEmitNodeBuilderFlags, declarationEmitInternalNodeBuilderFlags, symbolTracker);
+        const memberNodes = concatenate(concatenate(concatenate(privateIdentifier, lateIndexes), parameterProperties), visitNodes2(input.members, visitDeclarationSubtree, isClassElement));
         const members = factory2.createNodeArray(memberNodes);
         const extendsClause = getEffectiveBaseTypeNode(input);
         if (extendsClause && !isEntityNameExpression(extendsClause.expression) && extendsClause.expression.kind !== 106 /* NullKeyword */) {
@@ -114661,7 +114766,8 @@ var notImplementedResolver = {
   isBindingCapturedByNode: notImplemented,
   getDeclarationStatementsForSourceFile: notImplemented,
   isImportRequiredByAugmentation: notImplemented,
-  isDefinitelyReferenceToGlobalSymbolObject: notImplemented
+  isDefinitelyReferenceToGlobalSymbolObject: notImplemented,
+  createLateBoundIndexSignatures: notImplemented
 };
 var createPrinterWithDefaults = /* @__PURE__ */ memoize(() => createPrinter({}));
 var createPrinterWithRemoveComments = /* @__PURE__ */ memoize(() => createPrinter({ removeComments: true }));

package/lib/typescript.d.ts

@@ -6140,7 +6140,7 @@ declare namespace ts {
         getPrivateIdentifierPropertyOfType(leftType: Type, name: string, location: Node): Symbol | undefined;
         getIndexInfoOfType(type: Type, kind: IndexKind): IndexInfo | undefined;
         getIndexInfosOfType(type: Type): readonly IndexInfo[];
-        getIndexInfosOfIndexSymbol: (indexSymbol: Symbol) => IndexInfo[];
+        getIndexInfosOfIndexSymbol: (indexSymbol: Symbol, siblingSymbols?: Symbol[] | undefined) => IndexInfo[];
         getSignaturesOfType(type: Type, kind: SignatureKind): readonly Signature[];
         getIndexTypeOfType(type: Type, kind: IndexKind): Type | undefined;
         getBaseTypes(type: InterfaceType): BaseType[];

package/lib/typescript.js

@@ -2270,7 +2270,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-dev.20240922`;
+var version = `${versionMajorMinor}.0-dev.20240924`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -61008,11 +61008,20 @@ function createTypeChecker(host) {
     return type;
   }
   function isLateBindableName(node) {
+    return isLateBindableAST(node) && isTypeUsableAsPropertyName(isComputedPropertyName(node) ? checkComputedPropertyName(node) : checkExpressionCached(node.argumentExpression));
+  }
+  function isLateBindableIndexSignature(node) {
+    return isLateBindableAST(node) && isTypeUsableAsIndexSignature(isComputedPropertyName(node) ? checkComputedPropertyName(node) : checkExpressionCached(node.argumentExpression));
+  }
+  function isLateBindableAST(node) {
     if (!isComputedPropertyName(node) && !isElementAccessExpression(node)) {
       return false;
     }
     const expr = isComputedPropertyName(node) ? node.expression : node.argumentExpression;
-    return isEntityNameExpression(expr) && isTypeUsableAsPropertyName(isComputedPropertyName(node) ? checkComputedPropertyName(node) : checkExpressionCached(expr));
+    return isEntityNameExpression(expr);
+  }
+  function isTypeUsableAsIndexSignature(type) {
+    return isTypeAssignableTo(type, stringNumberSymbolType);
   }
   function isLateBoundName(name) {
     return name.charCodeAt(0) === 95 /* _ */ && name.charCodeAt(1) === 95 /* _ */ && name.charCodeAt(2) === 64 /* at */;
@@ -61021,6 +61030,10 @@ function createTypeChecker(host) {
     const name = getNameOfDeclaration(node);
     return !!name && isLateBindableName(name);
   }
+  function hasLateBindableIndexSignature(node) {
+    const name = getNameOfDeclaration(node);
+    return !!name && isLateBindableIndexSignature(name);
+  }
   function hasBindableName(node) {
     return !hasDynamicName(node) || hasLateBindableName(node);
   }
@@ -61074,6 +61087,24 @@ function createTypeChecker(host) {
     }
     return links.resolvedSymbol;
   }
+  function lateBindIndexSignature(parent2, earlySymbols, lateSymbols, decl) {
+    let indexSymbol = lateSymbols.get("__index" /* Index */);
+    if (!indexSymbol) {
+      const early = earlySymbols == null ? void 0 : earlySymbols.get("__index" /* Index */);
+      if (!early) {
+        indexSymbol = createSymbol(0 /* None */, "__index" /* Index */, 4096 /* Late */);
+      } else {
+        indexSymbol = cloneSymbol(early);
+        indexSymbol.links.checkFlags |= 4096 /* Late */;
+      }
+      lateSymbols.set("__index" /* Index */, indexSymbol);
+    }
+    if (!indexSymbol.declarations) {
+      indexSymbol.declarations = [decl];
+    } else if (!decl.symbol.isReplaceableByMethod) {
+      indexSymbol.declarations.push(decl);
+    }
+  }
   function getResolvedMembersOrExportsOfSymbol(symbol, resolutionKind) {
     const links = getSymbolLinks(symbol);
     if (!links[resolutionKind]) {
@@ -61088,6 +61119,8 @@ function createTypeChecker(host) {
             if (isStatic2 === hasStaticModifier(member)) {
               if (hasLateBindableName(member)) {
                 lateBindMember(symbol, earlySymbols, lateSymbols, member);
+              } else if (hasLateBindableIndexSignature(member)) {
+                lateBindIndexSignature(symbol, earlySymbols, lateSymbols, member);
               }
             }
           }
@@ -61732,7 +61765,7 @@ function createTypeChecker(host) {
     }
     const indexSymbol = getIndexSymbolFromSymbolTable(members);
     if (indexSymbol) {
-      indexInfos = getIndexInfosOfIndexSymbol(indexSymbol);
+      indexInfos = getIndexInfosOfIndexSymbol(indexSymbol, arrayFrom(members.values()));
     } else {
       if (baseConstructorIndexInfo) {
         indexInfos = append(indexInfos, baseConstructorIndexInfo);
@@ -63351,7 +63384,7 @@ function createTypeChecker(host) {
     return signature.isolatedSignatureType;
   }
   function getIndexSymbol(symbol) {
-    return symbol.members ? getIndexSymbolFromSymbolTable(symbol.members) : void 0;
+    return symbol.members ? getIndexSymbolFromSymbolTable(getMembersOfSymbol(symbol)) : void 0;
   }
   function getIndexSymbolFromSymbolTable(symbolTable) {
     return symbolTable.get("__index" /* Index */);
@@ -63361,23 +63394,61 @@ function createTypeChecker(host) {
   }
   function getIndexInfosOfSymbol(symbol) {
     const indexSymbol = getIndexSymbol(symbol);
-    return indexSymbol ? getIndexInfosOfIndexSymbol(indexSymbol) : emptyArray;
+    return indexSymbol ? getIndexInfosOfIndexSymbol(indexSymbol, arrayFrom(getMembersOfSymbol(symbol).values())) : emptyArray;
   }
-  function getIndexInfosOfIndexSymbol(indexSymbol) {
+  function getIndexInfosOfIndexSymbol(indexSymbol, siblingSymbols = indexSymbol.parent ? arrayFrom(getMembersOfSymbol(indexSymbol.parent).values()) : void 0) {
     if (indexSymbol.declarations) {
       const indexInfos = [];
+      let hasComputedNumberProperty = false;
+      let readonlyComputedNumberProperty = true;
+      let hasComputedSymbolProperty = false;
+      let readonlyComputedSymbolProperty = true;
+      let hasComputedStringProperty = false;
+      let readonlyComputedStringProperty = true;
+      const computedPropertySymbols = [];
       for (const declaration of indexSymbol.declarations) {
-        if (declaration.parameters.length === 1) {
-          const parameter = declaration.parameters[0];
-          if (parameter.type) {
-            forEachType(getTypeFromTypeNode(parameter.type), (keyType) => {
-              if (isValidIndexKeyType(keyType) && !findIndexInfo(indexInfos, keyType)) {
-                indexInfos.push(createIndexInfo(keyType, declaration.type ? getTypeFromTypeNode(declaration.type) : anyType, hasEffectiveModifier(declaration, 8 /* Readonly */), declaration));
+        if (isIndexSignatureDeclaration(declaration)) {
+          if (declaration.parameters.length === 1) {
+            const parameter = declaration.parameters[0];
+            if (parameter.type) {
+              forEachType(getTypeFromTypeNode(parameter.type), (keyType) => {
+                if (isValidIndexKeyType(keyType) && !findIndexInfo(indexInfos, keyType)) {
+                  indexInfos.push(createIndexInfo(keyType, declaration.type ? getTypeFromTypeNode(declaration.type) : anyType, hasEffectiveModifier(declaration, 8 /* Readonly */), declaration));
+                }
+              });
+            }
+          }
+        } else if (hasLateBindableIndexSignature(declaration)) {
+          const declName = isBinaryExpression(declaration) ? declaration.left : declaration.name;
+          const keyType = isElementAccessExpression(declName) ? checkExpressionCached(declName.argumentExpression) : checkComputedPropertyName(declName);
+          if (findIndexInfo(indexInfos, keyType)) {
+            continue;
+          }
+          if (isTypeAssignableTo(keyType, stringNumberSymbolType)) {
+            if (isTypeAssignableTo(keyType, numberType)) {
+              hasComputedNumberProperty = true;
+              if (!hasEffectiveReadonlyModifier(declaration)) {
+                readonlyComputedNumberProperty = false;
               }
-            });
+            } else if (isTypeAssignableTo(keyType, esSymbolType)) {
+              hasComputedSymbolProperty = true;
+              if (!hasEffectiveReadonlyModifier(declaration)) {
+                readonlyComputedSymbolProperty = false;
+              }
+            } else {
+              hasComputedStringProperty = true;
+              if (!hasEffectiveReadonlyModifier(declaration)) {
+                readonlyComputedStringProperty = false;
+              }
+            }
+            computedPropertySymbols.push(declaration.symbol);
           }
         }
       }
+      const allPropertySymbols = concatenate(computedPropertySymbols, filter(siblingSymbols, (s) => s !== indexSymbol));
+      if (hasComputedStringProperty && !findIndexInfo(indexInfos, stringType)) indexInfos.push(getObjectLiteralIndexInfo(readonlyComputedStringProperty, 0, allPropertySymbols, stringType));
+      if (hasComputedNumberProperty && !findIndexInfo(indexInfos, numberType)) indexInfos.push(getObjectLiteralIndexInfo(readonlyComputedNumberProperty, 0, allPropertySymbols, numberType));
+      if (hasComputedSymbolProperty && !findIndexInfo(indexInfos, esSymbolType)) indexInfos.push(getObjectLiteralIndexInfo(readonlyComputedSymbolProperty, 0, allPropertySymbols, esSymbolType));
       return indexInfos;
     }
     return emptyArray;
@@ -77261,7 +77332,7 @@ function createTypeChecker(host) {
     const firstDecl = (_a = symbol.declarations) == null ? void 0 : _a[0];
     return isKnownSymbol(symbol) || firstDecl && isNamedDeclaration(firstDecl) && isComputedPropertyName(firstDecl.name) && isTypeAssignableToKind(checkComputedPropertyName(firstDecl.name), 4096 /* ESSymbol */);
   }
-  function getObjectLiteralIndexInfo(node, offset, properties, keyType) {
+  function getObjectLiteralIndexInfo(isReadonly, offset, properties, keyType) {
     const propTypes = [];
     for (let i = offset; i < properties.length; i++) {
       const prop = properties[i];
@@ -77270,7 +77341,7 @@ function createTypeChecker(host) {
       }
     }
     const unionType = propTypes.length ? getUnionType(propTypes, 2 /* Subtype */) : undefinedType;
-    return createIndexInfo(keyType, unionType, isConstContext(node));
+    return createIndexInfo(keyType, unionType, isReadonly);
   }
   function getImmediateAliasedSymbol(symbol) {
     Debug.assert((symbol.flags & 2097152 /* Alias */) !== 0, "Should only get Alias here.");
@@ -77433,9 +77504,10 @@ function createTypeChecker(host) {
     return createObjectLiteralType();
     function createObjectLiteralType() {
       const indexInfos = [];
-      if (hasComputedStringProperty) indexInfos.push(getObjectLiteralIndexInfo(node, offset, propertiesArray, stringType));
-      if (hasComputedNumberProperty) indexInfos.push(getObjectLiteralIndexInfo(node, offset, propertiesArray, numberType));
-      if (hasComputedSymbolProperty) indexInfos.push(getObjectLiteralIndexInfo(node, offset, propertiesArray, esSymbolType));
+      const isReadonly = isConstContext(node);
+      if (hasComputedStringProperty) indexInfos.push(getObjectLiteralIndexInfo(isReadonly, offset, propertiesArray, stringType));
+      if (hasComputedNumberProperty) indexInfos.push(getObjectLiteralIndexInfo(isReadonly, offset, propertiesArray, numberType));
+      if (hasComputedSymbolProperty) indexInfos.push(getObjectLiteralIndexInfo(isReadonly, offset, propertiesArray, esSymbolType));
       const result = createAnonymousType(node.symbol, propertiesTable, emptyArray, emptyArray, indexInfos);
       result.objectFlags |= objectFlags | 128 /* ObjectLiteral */ | 131072 /* ContainsObjectOrArrayLiteral */;
       if (isJSObjectLiteral) {
@@ -81080,9 +81152,17 @@ function createTypeChecker(host) {
     if (exprType === silentNeverType || isErrorType(exprType) || !some(typeArguments)) {
       return exprType;
     }
+    const links = getNodeLinks(node);
+    if (!links.instantiationExpressionTypes) {
+      links.instantiationExpressionTypes = /* @__PURE__ */ new Map();
+    }
+    if (links.instantiationExpressionTypes.has(exprType.id)) {
+      return links.instantiationExpressionTypes.get(exprType.id);
+    }
     let hasSomeApplicableSignature = false;
     let nonApplicableType;
     const result = getInstantiatedType(exprType);
+    links.instantiationExpressionTypes.set(exprType.id, result);
     const errorType2 = hasSomeApplicableSignature ? nonApplicableType : exprType;
     if (errorType2) {
       diagnostics.add(createDiagnosticForNodeArray(getSourceFileOfNode(node), typeArguments, Diagnostics.Type_0_has_no_signatures_for_which_the_type_argument_list_is_applicable, typeToString(errorType2)));
@@ -84551,15 +84631,17 @@ function createTypeChecker(host) {
     if (indexSymbol == null ? void 0 : indexSymbol.declarations) {
       const indexSignatureMap = /* @__PURE__ */ new Map();
       for (const declaration of indexSymbol.declarations) {
-        if (declaration.parameters.length === 1 && declaration.parameters[0].type) {
-          forEachType(getTypeFromTypeNode(declaration.parameters[0].type), (type) => {
-            const entry = indexSignatureMap.get(getTypeId(type));
-            if (entry) {
-              entry.declarations.push(declaration);
-            } else {
-              indexSignatureMap.set(getTypeId(type), { type, declarations: [declaration] });
-            }
-          });
+        if (isIndexSignatureDeclaration(declaration)) {
+          if (declaration.parameters.length === 1 && declaration.parameters[0].type) {
+            forEachType(getTypeFromTypeNode(declaration.parameters[0].type), (type) => {
+              const entry = indexSignatureMap.get(getTypeId(type));
+              if (entry) {
+                entry.declarations.push(declaration);
+              } else {
+                indexSignatureMap.set(getTypeId(type), { type, declarations: [declaration] });
+              }
+            });
+          }
         }
       }
       indexSignatureMap.forEach((entry) => {
@@ -91467,7 +91549,29 @@ function createTypeChecker(host) {
         return !sym.exports ? [] : nodeBuilder.symbolTableToDeclarationStatements(sym.exports, node, flags, internalFlags, tracker);
       },
       isImportRequiredByAugmentation,
-      isDefinitelyReferenceToGlobalSymbolObject
+      isDefinitelyReferenceToGlobalSymbolObject,
+      createLateBoundIndexSignatures: (cls, enclosing, flags, internalFlags, tracker) => {
+        const sym = cls.symbol;
+        const staticInfos = getIndexInfosOfType(getTypeOfSymbol(sym));
+        const instanceIndexSymbol = getIndexSymbol(sym);
+        const instanceInfos = instanceIndexSymbol && getIndexInfosOfIndexSymbol(instanceIndexSymbol, arrayFrom(getMembersOfSymbol(sym).values()));
+        let result;
+        for (const infoList of [staticInfos, instanceInfos]) {
+          if (!length(infoList)) continue;
+          result || (result = []);
+          for (const info of infoList) {
+            if (info.declaration) continue;
+            const node = nodeBuilder.indexInfoToIndexSignatureDeclaration(info, enclosing, flags, internalFlags, tracker);
+            if (node && infoList === staticInfos) {
+              (node.modifiers || (node.modifiers = factory.createNodeArray())).unshift(factory.createModifier(126 /* StaticKeyword */));
+            }
+            if (node) {
+              result.push(node);
+            }
+          }
+        }
+        return result;
+      }
     };
     function isImportRequiredByAugmentation(node) {
       const file = getSourceFileOfNode(node);
@@ -118134,7 +118238,8 @@ function transformDeclarations(context) {
             void 0
           )
         ] : void 0;
-        const memberNodes = concatenate(concatenate(privateIdentifier, parameterProperties), visitNodes2(input.members, visitDeclarationSubtree, isClassElement));
+        const lateIndexes = resolver.createLateBoundIndexSignatures(input, enclosingDeclaration, declarationEmitNodeBuilderFlags, declarationEmitInternalNodeBuilderFlags, symbolTracker);
+        const memberNodes = concatenate(concatenate(concatenate(privateIdentifier, lateIndexes), parameterProperties), visitNodes2(input.members, visitDeclarationSubtree, isClassElement));
         const members = factory2.createNodeArray(memberNodes);
         const extendsClause = getEffectiveBaseTypeNode(input);
         if (extendsClause && !isEntityNameExpression(extendsClause.expression) && extendsClause.expression.kind !== 106 /* NullKeyword */) {
@@ -119450,7 +119555,8 @@ var notImplementedResolver = {
   isBindingCapturedByNode: notImplemented,
   getDeclarationStatementsForSourceFile: notImplemented,
   isImportRequiredByAugmentation: notImplemented,
-  isDefinitelyReferenceToGlobalSymbolObject: notImplemented
+  isDefinitelyReferenceToGlobalSymbolObject: notImplemented,
+  createLateBoundIndexSignatures: notImplemented
 };
 var createPrinterWithDefaults = /* @__PURE__ */ memoize(() => createPrinter({}));
 var createPrinterWithRemoveComments = /* @__PURE__ */ memoize(() => createPrinter({ removeComments: true }));

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.7.0-dev.20240922",
+    "version": "5.7.0-dev.20240924",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -116,5 +116,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "88809467e8761e71483e2f4948ef411d8e447188"
+    "gitHead": "fa0080f4802fd78fb0f01cd0160f299794d7843d"
 }