typescript 5.4.0-dev.20240218 → 5.4.0-dev.20240220

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20240218`;
+var version = `${versionMajorMinor}.0-dev.20240220`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -55315,11 +55315,15 @@ function createTypeChecker(host) {
     return type.resolvedApparentType || (type.resolvedApparentType = getResolvedApparentTypeOfMappedType(type));
   }
   function getResolvedApparentTypeOfMappedType(type) {
-    const typeVariable = getHomomorphicTypeVariable(type);
-    if (typeVariable && !type.declaration.nameType) {
-      const constraint = getConstraintOfTypeParameter(typeVariable);
-      if (constraint && everyType(constraint, isArrayOrTupleType)) {
-        return instantiateType(type, prependTypeMapping(typeVariable, constraint, type.mapper));
+    const target = type.target ?? type;
+    const typeVariable = getHomomorphicTypeVariable(target);
+    if (typeVariable && !target.declaration.nameType) {
+      const constraint = getConstraintTypeFromMappedType(type);
+      if (constraint.flags & 4194304 /* Index */) {
+        const baseConstraint = getBaseConstraintOfType(constraint.type);
+        if (baseConstraint && everyType(baseConstraint, isArrayOrTupleType)) {
+          return instantiateType(target, prependTypeMapping(typeVariable, baseConstraint, type.mapper));
+        }
       }
     }
     return type;
@@ -60656,8 +60660,8 @@ function createTypeChecker(host) {
     const paramCount = sourceRestType || targetRestType ? Math.min(sourceCount, targetCount) : Math.max(sourceCount, targetCount);
     const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
     for (let i = 0; i < paramCount; i++) {
-      const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-      const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+      const sourceType = i === restIndex ? getRestOrAnyTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
+      const targetType = i === restIndex ? getRestOrAnyTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
       if (sourceType && targetType) {
         const sourceSig = checkMode & 3 /* Callback */ || isInstantiatedGenericParameter(source, i) ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
         const targetSig = checkMode & 3 /* Callback */ || isInstantiatedGenericParameter(target, i) ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -73660,6 +73664,11 @@ function createTypeChecker(host) {
     }
     return createTupleType(types, flags, readonly, names);
   }
+  function getRestOrAnyTypeAtPosition(source, pos) {
+    const restType = getRestTypeAtPosition(source, pos);
+    const elementType = restType && getElementTypeOfArrayType(restType);
+    return elementType && isTypeAny(elementType) ? anyType : restType;
+  }
   function getParameterCount(signature) {
     const length2 = signature.parameters.length;
     if (signatureHasRestParameter(signature)) {
@@ -73716,7 +73725,7 @@ function createTypeChecker(host) {
     if (signatureHasRestParameter(signature)) {
       const restType = getTypeOfSymbol(signature.parameters[signature.parameters.length - 1]);
       if (!isTupleType(restType)) {
-        return restType;
+        return isTypeAny(restType) ? anyArrayType : restType;
       }
       if (restType.target.hasRestElement) {
         return sliceTupleType(restType, restType.target.fixedLength);
@@ -77020,20 +77029,17 @@ function createTypeChecker(host) {
     const objectType = type.objectType;
     const indexType = type.indexType;
     const objectIndexType = isGenericMappedType(objectType) && getMappedTypeNameTypeKind(objectType) === 2 /* Remapping */ ? getIndexTypeForMappedType(objectType, 0 /* None */) : getIndexType(objectType, 0 /* None */);
-    if (isTypeAssignableTo(indexType, objectIndexType)) {
+    const hasNumberIndexInfo = !!getIndexInfoOfType(objectType, numberType);
+    if (everyType(indexType, (t) => isTypeAssignableTo(t, objectIndexType) || hasNumberIndexInfo && isApplicableIndexType(t, numberType))) {
       if (accessNode.kind === 212 /* ElementAccessExpression */ && isAssignmentTarget(accessNode) && getObjectFlags(objectType) & 32 /* Mapped */ && getMappedTypeModifiers(objectType) & 1 /* IncludeReadonly */) {
         error(accessNode, Diagnostics.Index_signature_in_type_0_only_permits_reading, typeToString(objectType));
       }
       return type;
     }
-    const apparentObjectType = getApparentType(objectType);
-    if (getIndexInfoOfType(apparentObjectType, numberType) && isTypeAssignableToKind(indexType, 296 /* NumberLike */)) {
-      return type;
-    }
     if (isGenericObjectType(objectType)) {
       const propertyName = getPropertyNameFromIndex(indexType, accessNode);
       if (propertyName) {
-        const propertySymbol = forEachType(apparentObjectType, (t) => getPropertyOfType(t, propertyName));
+        const propertySymbol = forEachType(getApparentType(objectType), (t) => getPropertyOfType(t, propertyName));
         if (propertySymbol && getDeclarationModifierFlagsFromSymbol(propertySymbol) & 6 /* NonPublicAccessibilityModifier */) {
           error(accessNode, Diagnostics.Private_or_protected_member_0_cannot_be_accessed_on_a_type_parameter, unescapeLeadingUnderscores(propertyName));
           return errorType;

package/lib/tsserver.js

@@ -2340,7 +2340,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20240218`;
+var version = `${versionMajorMinor}.0-dev.20240220`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -60059,11 +60059,15 @@ function createTypeChecker(host) {
     return type.resolvedApparentType || (type.resolvedApparentType = getResolvedApparentTypeOfMappedType(type));
   }
   function getResolvedApparentTypeOfMappedType(type) {
-    const typeVariable = getHomomorphicTypeVariable(type);
-    if (typeVariable && !type.declaration.nameType) {
-      const constraint = getConstraintOfTypeParameter(typeVariable);
-      if (constraint && everyType(constraint, isArrayOrTupleType)) {
-        return instantiateType(type, prependTypeMapping(typeVariable, constraint, type.mapper));
+    const target = type.target ?? type;
+    const typeVariable = getHomomorphicTypeVariable(target);
+    if (typeVariable && !target.declaration.nameType) {
+      const constraint = getConstraintTypeFromMappedType(type);
+      if (constraint.flags & 4194304 /* Index */) {
+        const baseConstraint = getBaseConstraintOfType(constraint.type);
+        if (baseConstraint && everyType(baseConstraint, isArrayOrTupleType)) {
+          return instantiateType(target, prependTypeMapping(typeVariable, baseConstraint, type.mapper));
+        }
       }
     }
     return type;
@@ -65400,8 +65404,8 @@ function createTypeChecker(host) {
     const paramCount = sourceRestType || targetRestType ? Math.min(sourceCount, targetCount) : Math.max(sourceCount, targetCount);
     const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
     for (let i = 0; i < paramCount; i++) {
-      const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-      const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+      const sourceType = i === restIndex ? getRestOrAnyTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
+      const targetType = i === restIndex ? getRestOrAnyTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
       if (sourceType && targetType) {
         const sourceSig = checkMode & 3 /* Callback */ || isInstantiatedGenericParameter(source, i) ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
         const targetSig = checkMode & 3 /* Callback */ || isInstantiatedGenericParameter(target, i) ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -78404,6 +78408,11 @@ function createTypeChecker(host) {
     }
     return createTupleType(types, flags, readonly, names);
   }
+  function getRestOrAnyTypeAtPosition(source, pos) {
+    const restType = getRestTypeAtPosition(source, pos);
+    const elementType = restType && getElementTypeOfArrayType(restType);
+    return elementType && isTypeAny(elementType) ? anyType : restType;
+  }
   function getParameterCount(signature) {
     const length2 = signature.parameters.length;
     if (signatureHasRestParameter(signature)) {
@@ -78460,7 +78469,7 @@ function createTypeChecker(host) {
     if (signatureHasRestParameter(signature)) {
       const restType = getTypeOfSymbol(signature.parameters[signature.parameters.length - 1]);
       if (!isTupleType(restType)) {
-        return restType;
+        return isTypeAny(restType) ? anyArrayType : restType;
       }
       if (restType.target.hasRestElement) {
         return sliceTupleType(restType, restType.target.fixedLength);
@@ -81764,20 +81773,17 @@ function createTypeChecker(host) {
     const objectType = type.objectType;
     const indexType = type.indexType;
     const objectIndexType = isGenericMappedType(objectType) && getMappedTypeNameTypeKind(objectType) === 2 /* Remapping */ ? getIndexTypeForMappedType(objectType, 0 /* None */) : getIndexType(objectType, 0 /* None */);
-    if (isTypeAssignableTo(indexType, objectIndexType)) {
+    const hasNumberIndexInfo = !!getIndexInfoOfType(objectType, numberType);
+    if (everyType(indexType, (t) => isTypeAssignableTo(t, objectIndexType) || hasNumberIndexInfo && isApplicableIndexType(t, numberType))) {
       if (accessNode.kind === 212 /* ElementAccessExpression */ && isAssignmentTarget(accessNode) && getObjectFlags(objectType) & 32 /* Mapped */ && getMappedTypeModifiers(objectType) & 1 /* IncludeReadonly */) {
         error2(accessNode, Diagnostics.Index_signature_in_type_0_only_permits_reading, typeToString(objectType));
       }
       return type;
     }
-    const apparentObjectType = getApparentType(objectType);
-    if (getIndexInfoOfType(apparentObjectType, numberType) && isTypeAssignableToKind(indexType, 296 /* NumberLike */)) {
-      return type;
-    }
     if (isGenericObjectType(objectType)) {
       const propertyName = getPropertyNameFromIndex(indexType, accessNode);
       if (propertyName) {
-        const propertySymbol = forEachType(apparentObjectType, (t) => getPropertyOfType(t, propertyName));
+        const propertySymbol = forEachType(getApparentType(objectType), (t) => getPropertyOfType(t, propertyName));
         if (propertySymbol && getDeclarationModifierFlagsFromSymbol(propertySymbol) & 6 /* NonPublicAccessibilityModifier */) {
           error2(accessNode, Diagnostics.Private_or_protected_member_0_cannot_be_accessed_on_a_type_parameter, unescapeLeadingUnderscores(propertyName));
           return errorType;

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.4";
-      version = `${versionMajorMinor}.0-dev.20240218`;
+      version = `${versionMajorMinor}.0-dev.20240220`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -57814,11 +57814,15 @@ ${lanes.join("\n")}
       return type.resolvedApparentType || (type.resolvedApparentType = getResolvedApparentTypeOfMappedType(type));
     }
     function getResolvedApparentTypeOfMappedType(type) {
-      const typeVariable = getHomomorphicTypeVariable(type);
-      if (typeVariable && !type.declaration.nameType) {
-        const constraint = getConstraintOfTypeParameter(typeVariable);
-        if (constraint && everyType(constraint, isArrayOrTupleType)) {
-          return instantiateType(type, prependTypeMapping(typeVariable, constraint, type.mapper));
+      const target = type.target ?? type;
+      const typeVariable = getHomomorphicTypeVariable(target);
+      if (typeVariable && !target.declaration.nameType) {
+        const constraint = getConstraintTypeFromMappedType(type);
+        if (constraint.flags & 4194304 /* Index */) {
+          const baseConstraint = getBaseConstraintOfType(constraint.type);
+          if (baseConstraint && everyType(baseConstraint, isArrayOrTupleType)) {
+            return instantiateType(target, prependTypeMapping(typeVariable, baseConstraint, type.mapper));
+          }
         }
       }
       return type;
@@ -63155,8 +63159,8 @@ ${lanes.join("\n")}
       const paramCount = sourceRestType || targetRestType ? Math.min(sourceCount, targetCount) : Math.max(sourceCount, targetCount);
       const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
       for (let i = 0; i < paramCount; i++) {
-        const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-        const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+        const sourceType = i === restIndex ? getRestOrAnyTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
+        const targetType = i === restIndex ? getRestOrAnyTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
         if (sourceType && targetType) {
           const sourceSig = checkMode & 3 /* Callback */ || isInstantiatedGenericParameter(source, i) ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
           const targetSig = checkMode & 3 /* Callback */ || isInstantiatedGenericParameter(target, i) ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -76159,6 +76163,11 @@ ${lanes.join("\n")}
       }
       return createTupleType(types, flags, readonly, names);
     }
+    function getRestOrAnyTypeAtPosition(source, pos) {
+      const restType = getRestTypeAtPosition(source, pos);
+      const elementType = restType && getElementTypeOfArrayType(restType);
+      return elementType && isTypeAny(elementType) ? anyType : restType;
+    }
     function getParameterCount(signature) {
       const length2 = signature.parameters.length;
       if (signatureHasRestParameter(signature)) {
@@ -76215,7 +76224,7 @@ ${lanes.join("\n")}
       if (signatureHasRestParameter(signature)) {
         const restType = getTypeOfSymbol(signature.parameters[signature.parameters.length - 1]);
         if (!isTupleType(restType)) {
-          return restType;
+          return isTypeAny(restType) ? anyArrayType : restType;
         }
         if (restType.target.hasRestElement) {
           return sliceTupleType(restType, restType.target.fixedLength);
@@ -79519,20 +79528,17 @@ ${lanes.join("\n")}
       const objectType = type.objectType;
       const indexType = type.indexType;
       const objectIndexType = isGenericMappedType(objectType) && getMappedTypeNameTypeKind(objectType) === 2 /* Remapping */ ? getIndexTypeForMappedType(objectType, 0 /* None */) : getIndexType(objectType, 0 /* None */);
-      if (isTypeAssignableTo(indexType, objectIndexType)) {
+      const hasNumberIndexInfo = !!getIndexInfoOfType(objectType, numberType);
+      if (everyType(indexType, (t) => isTypeAssignableTo(t, objectIndexType) || hasNumberIndexInfo && isApplicableIndexType(t, numberType))) {
         if (accessNode.kind === 212 /* ElementAccessExpression */ && isAssignmentTarget(accessNode) && getObjectFlags(objectType) & 32 /* Mapped */ && getMappedTypeModifiers(objectType) & 1 /* IncludeReadonly */) {
           error2(accessNode, Diagnostics.Index_signature_in_type_0_only_permits_reading, typeToString(objectType));
         }
         return type;
       }
-      const apparentObjectType = getApparentType(objectType);
-      if (getIndexInfoOfType(apparentObjectType, numberType) && isTypeAssignableToKind(indexType, 296 /* NumberLike */)) {
-        return type;
-      }
       if (isGenericObjectType(objectType)) {
         const propertyName = getPropertyNameFromIndex(indexType, accessNode);
         if (propertyName) {
-          const propertySymbol = forEachType(apparentObjectType, (t) => getPropertyOfType(t, propertyName));
+          const propertySymbol = forEachType(getApparentType(objectType), (t) => getPropertyOfType(t, propertyName));
           if (propertySymbol && getDeclarationModifierFlagsFromSymbol(propertySymbol) & 6 /* NonPublicAccessibilityModifier */) {
             error2(accessNode, Diagnostics.Private_or_protected_member_0_cannot_be_accessed_on_a_type_parameter, unescapeLeadingUnderscores(propertyName));
             return errorType;

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20240218`;
+var version = `${versionMajorMinor}.0-dev.20240220`;
 
 // src/compiler/core.ts
 var emptyArray = [];

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.4.0-dev.20240218",
+    "version": "5.4.0-dev.20240220",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -113,5 +113,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "86a16636cac9599c8752f8588f4b9518860b47ff"
+    "gitHead": "363abe8408ed2de0f3d7625c165e854e8284d18c"
 }