@typescript-deploys/pr-build 5.0.0-pr-52282-27 → 5.0.0-pr-52632-9

package/lib/tsc.js

@@ -42122,7 +42122,6 @@ var SignatureCheckMode = /* @__PURE__ */ ((SignatureCheckMode3) => {
   SignatureCheckMode3[SignatureCheckMode3["StrictCallback"] = 2] = "StrictCallback";
   SignatureCheckMode3[SignatureCheckMode3["IgnoreReturnTypes"] = 4] = "IgnoreReturnTypes";
   SignatureCheckMode3[SignatureCheckMode3["StrictArity"] = 8] = "StrictArity";
-  SignatureCheckMode3[SignatureCheckMode3["StrictTopSignature"] = 16] = "StrictTopSignature";
   SignatureCheckMode3[SignatureCheckMode3["Callback"] = 3] = "Callback";
   return SignatureCheckMode3;
 })(SignatureCheckMode || {});
@@ -58230,24 +58229,16 @@ function createTypeChecker(host) {
       void 0
     ) !== 0 /* False */;
   }
-  function isTopSignature(s) {
-    if (!s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s)) {
-      const paramType = getTypeOfParameter(s.parameters[0]);
-      const restType = isArrayType(paramType) ? getTypeArguments(paramType)[0] : paramType;
-      return !!(restType.flags & (1 /* Any */ | 131072 /* Never */) && getReturnTypeOfSignature(s).flags & 3 /* AnyOrUnknown */);
-    }
-    return false;
+  function isAnySignature(s) {
+    return !s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s) && (getTypeOfParameter(s.parameters[0]) === anyArrayType || isTypeAny(getTypeOfParameter(s.parameters[0]))) && isTypeAny(getReturnTypeOfSignature(s));
   }
   function compareSignaturesRelated(source, target, checkMode, reportErrors2, errorReporter, incompatibleErrorReporter, compareTypes, reportUnreliableMarkers) {
     if (source === target) {
       return -1 /* True */;
     }
-    if (!(checkMode & 16 /* StrictTopSignature */ && isTopSignature(source)) && isTopSignature(target)) {
+    if (isAnySignature(target)) {
       return -1 /* True */;
     }
-    if (checkMode & 16 /* StrictTopSignature */ && isTopSignature(source) && !isTopSignature(target)) {
-      return 0 /* False */;
-    }
     const targetCount = getParameterCount(target);
     const sourceHasMoreParameters = !hasEffectiveRestParameter(target) && (checkMode & 8 /* StrictArity */ ? hasEffectiveRestParameter(source) || getParameterCount(source) > targetCount : getMinArgumentCount(source) > targetCount);
     if (sourceHasMoreParameters) {
@@ -58465,9 +58456,7 @@ function createTypeChecker(host) {
   function isSimpleTypeRelatedTo(source, target, relation, errorReporter) {
     const s = source.flags;
     const t = target.flags;
-    if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType)
-      return true;
-    if (t & 2 /* Unknown */ && !(relation === strictSubtypeRelation && s & 1 /* Any */))
+    if (t & 3 /* AnyOrUnknown */ || s & 131072 /* Never */ || source === wildcardType)
       return true;
     if (t & 131072 /* Never */)
       return false;
@@ -60707,11 +60696,10 @@ function createTypeChecker(host) {
       return (source2, target2) => reportIncompatibleError(Diagnostics.Construct_signature_return_types_0_and_1_are_incompatible, typeToString(source2), typeToString(target2));
     }
     function signatureRelatedTo(source2, target2, erase, reportErrors2, intersectionState, incompatibleReporter) {
-      const checkMode = relation === subtypeRelation ? 16 /* StrictTopSignature */ : relation === strictSubtypeRelation ? 16 /* StrictTopSignature */ | 8 /* StrictArity */ : 0 /* None */;
       return compareSignaturesRelated(
         erase ? getErasedSignature(source2) : source2,
         erase ? getErasedSignature(target2) : target2,
-        checkMode,
+        relation === strictSubtypeRelation ? 8 /* StrictArity */ : 0,
         reportErrors2,
         reportError,
         incompatibleReporter,
@@ -60836,7 +60824,7 @@ function createTypeChecker(host) {
       if (sourceInfo) {
         return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState);
       }
-      if (!(intersectionState & 1 /* Source */) && (relation !== strictSubtypeRelation || getObjectFlags(source2) & 8192 /* FreshLiteral */) && isObjectTypeWithInferableIndex(source2)) {
+      if (!(intersectionState & 1 /* Source */) && isObjectTypeWithInferableIndex(source2)) {
         return membersRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
       }
       if (reportErrors2) {
@@ -61366,7 +61354,17 @@ function createTypeChecker(host) {
       return propType;
     }
     if (everyType(type, isTupleType)) {
-      return mapType(type, (t) => getRestTypeOfTupleType(t) || undefinedType);
+      return mapType(type, (t) => {
+        const tupleType = t;
+        const restType = getRestTypeOfTupleType(tupleType);
+        if (!restType) {
+          return undefinedType;
+        }
+        if (compilerOptions.noUncheckedIndexedAccess && index >= tupleType.target.fixedLength + getEndElementCount(tupleType.target, 3 /* Fixed */)) {
+          return getUnionType([restType, undefinedType]);
+        }
+        return restType;
+      });
     }
     return void 0;
   }
@@ -62541,7 +62539,13 @@ function createTypeChecker(host) {
         return true;
       }
       if (constraintType.flags & 262144 /* TypeParameter */) {
-        inferWithPriority(getIndexType(source), constraintType, 32 /* MappedTypeConstraint */);
+        inferWithPriority(getIndexType(
+          source,
+          /*stringsOnly*/
+          void 0,
+          /*noIndexSignatures*/
+          !!source.pattern
+        ), constraintType, 32 /* MappedTypeConstraint */);
         const extendedConstraint = getConstraintOfType(constraintType);
         if (extendedConstraint && inferToMappedType(source, target, extendedConstraint)) {
           return true;
@@ -64008,7 +64012,7 @@ function createTypeChecker(host) {
         }
         return declaredType;
       }
-      if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
+      if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && (isMatchingReference(reference, node.parent.parent.expression) || optionalChainContainsReference(node.parent.parent.expression, reference))) {
         return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
       }
       return void 0;
@@ -64723,29 +64727,18 @@ function createTypeChecker(host) {
       return (_a3 = getCachedType(key2)) != null ? _a3 : setCachedType(key2, getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived));
     }
     function getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived) {
+      const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
       if (!assumeTrue) {
-        if (checkDerived) {
-          return filterType(type, (t) => !isTypeDerivedFrom(t, candidate));
-        }
-        const trueType2 = getNarrowedType(
-          type,
-          candidate,
-          /*assumeTrue*/
-          true,
-          /*checkDerived*/
-          false
-        );
-        return filterType(type, (t) => !isTypeSubsetOf(t, trueType2));
+        return filterType(type, (t) => !isRelated(t, candidate));
       }
       if (type.flags & 3 /* AnyOrUnknown */) {
         return candidate;
       }
-      const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
       const keyPropertyName = type.flags & 1048576 /* Union */ ? getKeyPropertyName(type) : void 0;
       const narrowedType = mapType(candidate, (c) => {
         const discriminant = keyPropertyName && getTypeOfPropertyOfType(c, keyPropertyName);
         const matching = discriminant && getConstituentTypeForKeyType(type, discriminant);
-        const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) && !isTypeIdenticalTo(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
+        const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
         return directlyRelated.flags & 131072 /* Never */ ? mapType(type, (t) => maybeTypeOfKind(t, 465829888 /* Instantiable */) && isRelated(c, getBaseConstraintOfType(t) || unknownType) ? getIntersectionType([t, c]) : neverType) : directlyRelated;
       });
       return !(narrowedType.flags & 131072 /* Never */) ? narrowedType : isTypeSubtypeOf(candidate, type) ? candidate : isTypeAssignableTo(type, candidate) ? type : isTypeAssignableTo(candidate, type) ? candidate : getIntersectionType([type, candidate]);
@@ -72501,7 +72494,7 @@ function createTypeChecker(host) {
           return leftType;
         } else {
           checkAssignmentOperator(rightType);
-          return rightType;
+          return getRegularTypeOfObjectLiteral(rightType);
         }
       case 27 /* CommaToken */:
         if (!compilerOptions.allowUnreachableCode && isSideEffectFree(left) && !isIndirectCall(left.parent)) {
@@ -100449,6 +100442,9 @@ function transformModule(context) {
     return visitEachChild(node, visitor, context);
   }
   function visitImportCallExpression(node) {
+    if (moduleKind === 0 /* None */ && languageVersion >= 7 /* ES2020 */) {
+      return visitEachChild(node, visitor, context);
+    }
     const externalModuleName = getExternalModuleNameLiteral(factory2, node, currentSourceFile, host, resolver, compilerOptions);
     const firstArgument = visitNode(firstOrUndefined(node.arguments), visitor, isExpression);
     const argument = externalModuleName && (!firstArgument || !isStringLiteral(firstArgument) || firstArgument.text !== externalModuleName.text) ? externalModuleName : firstArgument;

package/lib/tsserver.js

@@ -46686,7 +46686,6 @@ var SignatureCheckMode = /* @__PURE__ */ ((SignatureCheckMode3) => {
   SignatureCheckMode3[SignatureCheckMode3["StrictCallback"] = 2] = "StrictCallback";
   SignatureCheckMode3[SignatureCheckMode3["IgnoreReturnTypes"] = 4] = "IgnoreReturnTypes";
   SignatureCheckMode3[SignatureCheckMode3["StrictArity"] = 8] = "StrictArity";
-  SignatureCheckMode3[SignatureCheckMode3["StrictTopSignature"] = 16] = "StrictTopSignature";
   SignatureCheckMode3[SignatureCheckMode3["Callback"] = 3] = "Callback";
   return SignatureCheckMode3;
 })(SignatureCheckMode || {});
@@ -62794,24 +62793,16 @@ function createTypeChecker(host) {
       void 0
     ) !== 0 /* False */;
   }
-  function isTopSignature(s) {
-    if (!s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s)) {
-      const paramType = getTypeOfParameter(s.parameters[0]);
-      const restType = isArrayType(paramType) ? getTypeArguments(paramType)[0] : paramType;
-      return !!(restType.flags & (1 /* Any */ | 131072 /* Never */) && getReturnTypeOfSignature(s).flags & 3 /* AnyOrUnknown */);
-    }
-    return false;
+  function isAnySignature(s) {
+    return !s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s) && (getTypeOfParameter(s.parameters[0]) === anyArrayType || isTypeAny(getTypeOfParameter(s.parameters[0]))) && isTypeAny(getReturnTypeOfSignature(s));
   }
   function compareSignaturesRelated(source, target, checkMode, reportErrors2, errorReporter, incompatibleErrorReporter, compareTypes, reportUnreliableMarkers) {
     if (source === target) {
       return -1 /* True */;
     }
-    if (!(checkMode & 16 /* StrictTopSignature */ && isTopSignature(source)) && isTopSignature(target)) {
+    if (isAnySignature(target)) {
       return -1 /* True */;
     }
-    if (checkMode & 16 /* StrictTopSignature */ && isTopSignature(source) && !isTopSignature(target)) {
-      return 0 /* False */;
-    }
     const targetCount = getParameterCount(target);
     const sourceHasMoreParameters = !hasEffectiveRestParameter(target) && (checkMode & 8 /* StrictArity */ ? hasEffectiveRestParameter(source) || getParameterCount(source) > targetCount : getMinArgumentCount(source) > targetCount);
     if (sourceHasMoreParameters) {
@@ -63029,9 +63020,7 @@ function createTypeChecker(host) {
   function isSimpleTypeRelatedTo(source, target, relation, errorReporter) {
     const s = source.flags;
     const t = target.flags;
-    if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType)
-      return true;
-    if (t & 2 /* Unknown */ && !(relation === strictSubtypeRelation && s & 1 /* Any */))
+    if (t & 3 /* AnyOrUnknown */ || s & 131072 /* Never */ || source === wildcardType)
       return true;
     if (t & 131072 /* Never */)
       return false;
@@ -65271,11 +65260,10 @@ function createTypeChecker(host) {
       return (source2, target2) => reportIncompatibleError(Diagnostics.Construct_signature_return_types_0_and_1_are_incompatible, typeToString(source2), typeToString(target2));
     }
     function signatureRelatedTo(source2, target2, erase, reportErrors2, intersectionState, incompatibleReporter) {
-      const checkMode = relation === subtypeRelation ? 16 /* StrictTopSignature */ : relation === strictSubtypeRelation ? 16 /* StrictTopSignature */ | 8 /* StrictArity */ : 0 /* None */;
       return compareSignaturesRelated(
         erase ? getErasedSignature(source2) : source2,
         erase ? getErasedSignature(target2) : target2,
-        checkMode,
+        relation === strictSubtypeRelation ? 8 /* StrictArity */ : 0,
         reportErrors2,
         reportError,
         incompatibleReporter,
@@ -65400,7 +65388,7 @@ function createTypeChecker(host) {
       if (sourceInfo) {
         return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState);
       }
-      if (!(intersectionState & 1 /* Source */) && (relation !== strictSubtypeRelation || getObjectFlags(source2) & 8192 /* FreshLiteral */) && isObjectTypeWithInferableIndex(source2)) {
+      if (!(intersectionState & 1 /* Source */) && isObjectTypeWithInferableIndex(source2)) {
         return membersRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
       }
       if (reportErrors2) {
@@ -65930,7 +65918,17 @@ function createTypeChecker(host) {
       return propType;
     }
     if (everyType(type, isTupleType)) {
-      return mapType(type, (t) => getRestTypeOfTupleType(t) || undefinedType);
+      return mapType(type, (t) => {
+        const tupleType = t;
+        const restType = getRestTypeOfTupleType(tupleType);
+        if (!restType) {
+          return undefinedType;
+        }
+        if (compilerOptions.noUncheckedIndexedAccess && index >= tupleType.target.fixedLength + getEndElementCount(tupleType.target, 3 /* Fixed */)) {
+          return getUnionType([restType, undefinedType]);
+        }
+        return restType;
+      });
     }
     return void 0;
   }
@@ -67105,7 +67103,13 @@ function createTypeChecker(host) {
         return true;
       }
       if (constraintType.flags & 262144 /* TypeParameter */) {
-        inferWithPriority(getIndexType(source), constraintType, 32 /* MappedTypeConstraint */);
+        inferWithPriority(getIndexType(
+          source,
+          /*stringsOnly*/
+          void 0,
+          /*noIndexSignatures*/
+          !!source.pattern
+        ), constraintType, 32 /* MappedTypeConstraint */);
         const extendedConstraint = getConstraintOfType(constraintType);
         if (extendedConstraint && inferToMappedType(source, target, extendedConstraint)) {
           return true;
@@ -68572,7 +68576,7 @@ function createTypeChecker(host) {
         }
         return declaredType;
       }
-      if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
+      if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && (isMatchingReference(reference, node.parent.parent.expression) || optionalChainContainsReference(node.parent.parent.expression, reference))) {
         return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
       }
       return void 0;
@@ -69287,29 +69291,18 @@ function createTypeChecker(host) {
       return (_a3 = getCachedType(key2)) != null ? _a3 : setCachedType(key2, getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived));
     }
     function getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived) {
+      const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
       if (!assumeTrue) {
-        if (checkDerived) {
-          return filterType(type, (t) => !isTypeDerivedFrom(t, candidate));
-        }
-        const trueType2 = getNarrowedType(
-          type,
-          candidate,
-          /*assumeTrue*/
-          true,
-          /*checkDerived*/
-          false
-        );
-        return filterType(type, (t) => !isTypeSubsetOf(t, trueType2));
+        return filterType(type, (t) => !isRelated(t, candidate));
       }
       if (type.flags & 3 /* AnyOrUnknown */) {
         return candidate;
       }
-      const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
       const keyPropertyName = type.flags & 1048576 /* Union */ ? getKeyPropertyName(type) : void 0;
       const narrowedType = mapType(candidate, (c) => {
         const discriminant = keyPropertyName && getTypeOfPropertyOfType(c, keyPropertyName);
         const matching = discriminant && getConstituentTypeForKeyType(type, discriminant);
-        const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) && !isTypeIdenticalTo(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
+        const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
         return directlyRelated.flags & 131072 /* Never */ ? mapType(type, (t) => maybeTypeOfKind(t, 465829888 /* Instantiable */) && isRelated(c, getBaseConstraintOfType(t) || unknownType) ? getIntersectionType([t, c]) : neverType) : directlyRelated;
       });
       return !(narrowedType.flags & 131072 /* Never */) ? narrowedType : isTypeSubtypeOf(candidate, type) ? candidate : isTypeAssignableTo(type, candidate) ? type : isTypeAssignableTo(candidate, type) ? candidate : getIntersectionType([type, candidate]);
@@ -77065,7 +77058,7 @@ function createTypeChecker(host) {
           return leftType;
         } else {
           checkAssignmentOperator(rightType);
-          return rightType;
+          return getRegularTypeOfObjectLiteral(rightType);
         }
       case 27 /* CommaToken */:
         if (!compilerOptions.allowUnreachableCode && isSideEffectFree(left) && !isIndirectCall(left.parent)) {
@@ -105184,6 +105177,9 @@ function transformModule(context) {
     return visitEachChild(node, visitor, context);
   }
   function visitImportCallExpression(node) {
+    if (moduleKind === 0 /* None */ && languageVersion >= 7 /* ES2020 */) {
+      return visitEachChild(node, visitor, context);
+    }
     const externalModuleName = getExternalModuleNameLiteral(factory2, node, currentSourceFile, host, resolver, compilerOptions);
     const firstArgument = visitNode(firstOrUndefined(node.arguments), visitor, isExpression);
     const argument = externalModuleName && (!firstArgument || !isStringLiteral(firstArgument) || firstArgument.text !== externalModuleName.text) ? externalModuleName : firstArgument;

package/lib/tsserverlibrary.js

@@ -60603,24 +60603,16 @@ ${lanes.join("\n")}
         void 0
       ) !== 0 /* False */;
     }
-    function isTopSignature(s) {
-      if (!s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s)) {
-        const paramType = getTypeOfParameter(s.parameters[0]);
-        const restType = isArrayType(paramType) ? getTypeArguments(paramType)[0] : paramType;
-        return !!(restType.flags & (1 /* Any */ | 131072 /* Never */) && getReturnTypeOfSignature(s).flags & 3 /* AnyOrUnknown */);
-      }
-      return false;
+    function isAnySignature(s) {
+      return !s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s) && (getTypeOfParameter(s.parameters[0]) === anyArrayType || isTypeAny(getTypeOfParameter(s.parameters[0]))) && isTypeAny(getReturnTypeOfSignature(s));
     }
     function compareSignaturesRelated(source, target, checkMode, reportErrors2, errorReporter, incompatibleErrorReporter, compareTypes, reportUnreliableMarkers) {
       if (source === target) {
         return -1 /* True */;
       }
-      if (!(checkMode & 16 /* StrictTopSignature */ && isTopSignature(source)) && isTopSignature(target)) {
+      if (isAnySignature(target)) {
         return -1 /* True */;
       }
-      if (checkMode & 16 /* StrictTopSignature */ && isTopSignature(source) && !isTopSignature(target)) {
-        return 0 /* False */;
-      }
       const targetCount = getParameterCount(target);
       const sourceHasMoreParameters = !hasEffectiveRestParameter(target) && (checkMode & 8 /* StrictArity */ ? hasEffectiveRestParameter(source) || getParameterCount(source) > targetCount : getMinArgumentCount(source) > targetCount);
       if (sourceHasMoreParameters) {
@@ -60838,9 +60830,7 @@ ${lanes.join("\n")}
     function isSimpleTypeRelatedTo(source, target, relation, errorReporter) {
       const s = source.flags;
       const t = target.flags;
-      if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType)
-        return true;
-      if (t & 2 /* Unknown */ && !(relation === strictSubtypeRelation && s & 1 /* Any */))
+      if (t & 3 /* AnyOrUnknown */ || s & 131072 /* Never */ || source === wildcardType)
         return true;
       if (t & 131072 /* Never */)
         return false;
@@ -63080,11 +63070,10 @@ ${lanes.join("\n")}
         return (source2, target2) => reportIncompatibleError(Diagnostics.Construct_signature_return_types_0_and_1_are_incompatible, typeToString(source2), typeToString(target2));
       }
       function signatureRelatedTo(source2, target2, erase, reportErrors2, intersectionState, incompatibleReporter) {
-        const checkMode = relation === subtypeRelation ? 16 /* StrictTopSignature */ : relation === strictSubtypeRelation ? 16 /* StrictTopSignature */ | 8 /* StrictArity */ : 0 /* None */;
         return compareSignaturesRelated(
           erase ? getErasedSignature(source2) : source2,
           erase ? getErasedSignature(target2) : target2,
-          checkMode,
+          relation === strictSubtypeRelation ? 8 /* StrictArity */ : 0,
           reportErrors2,
           reportError,
           incompatibleReporter,
@@ -63209,7 +63198,7 @@ ${lanes.join("\n")}
         if (sourceInfo) {
           return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState);
         }
-        if (!(intersectionState & 1 /* Source */) && (relation !== strictSubtypeRelation || getObjectFlags(source2) & 8192 /* FreshLiteral */) && isObjectTypeWithInferableIndex(source2)) {
+        if (!(intersectionState & 1 /* Source */) && isObjectTypeWithInferableIndex(source2)) {
           return membersRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
         }
         if (reportErrors2) {
@@ -63739,7 +63728,17 @@ ${lanes.join("\n")}
         return propType;
       }
       if (everyType(type, isTupleType)) {
-        return mapType(type, (t) => getRestTypeOfTupleType(t) || undefinedType);
+        return mapType(type, (t) => {
+          const tupleType = t;
+          const restType = getRestTypeOfTupleType(tupleType);
+          if (!restType) {
+            return undefinedType;
+          }
+          if (compilerOptions.noUncheckedIndexedAccess && index >= tupleType.target.fixedLength + getEndElementCount(tupleType.target, 3 /* Fixed */)) {
+            return getUnionType([restType, undefinedType]);
+          }
+          return restType;
+        });
       }
       return void 0;
     }
@@ -64914,7 +64913,13 @@ ${lanes.join("\n")}
           return true;
         }
         if (constraintType.flags & 262144 /* TypeParameter */) {
-          inferWithPriority(getIndexType(source), constraintType, 32 /* MappedTypeConstraint */);
+          inferWithPriority(getIndexType(
+            source,
+            /*stringsOnly*/
+            void 0,
+            /*noIndexSignatures*/
+            !!source.pattern
+          ), constraintType, 32 /* MappedTypeConstraint */);
           const extendedConstraint = getConstraintOfType(constraintType);
           if (extendedConstraint && inferToMappedType(source, target, extendedConstraint)) {
             return true;
@@ -66381,7 +66386,7 @@ ${lanes.join("\n")}
           }
           return declaredType;
         }
-        if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
+        if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && (isMatchingReference(reference, node.parent.parent.expression) || optionalChainContainsReference(node.parent.parent.expression, reference))) {
           return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
         }
         return void 0;
@@ -67096,29 +67101,18 @@ ${lanes.join("\n")}
         return (_a3 = getCachedType(key2)) != null ? _a3 : setCachedType(key2, getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived));
       }
       function getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived) {
+        const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
         if (!assumeTrue) {
-          if (checkDerived) {
-            return filterType(type, (t) => !isTypeDerivedFrom(t, candidate));
-          }
-          const trueType2 = getNarrowedType(
-            type,
-            candidate,
-            /*assumeTrue*/
-            true,
-            /*checkDerived*/
-            false
-          );
-          return filterType(type, (t) => !isTypeSubsetOf(t, trueType2));
+          return filterType(type, (t) => !isRelated(t, candidate));
         }
         if (type.flags & 3 /* AnyOrUnknown */) {
           return candidate;
         }
-        const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
         const keyPropertyName = type.flags & 1048576 /* Union */ ? getKeyPropertyName(type) : void 0;
         const narrowedType = mapType(candidate, (c) => {
           const discriminant = keyPropertyName && getTypeOfPropertyOfType(c, keyPropertyName);
           const matching = discriminant && getConstituentTypeForKeyType(type, discriminant);
-          const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) && !isTypeIdenticalTo(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
+          const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
           return directlyRelated.flags & 131072 /* Never */ ? mapType(type, (t) => maybeTypeOfKind(t, 465829888 /* Instantiable */) && isRelated(c, getBaseConstraintOfType(t) || unknownType) ? getIntersectionType([t, c]) : neverType) : directlyRelated;
         });
         return !(narrowedType.flags & 131072 /* Never */) ? narrowedType : isTypeSubtypeOf(candidate, type) ? candidate : isTypeAssignableTo(type, candidate) ? type : isTypeAssignableTo(candidate, type) ? candidate : getIntersectionType([type, candidate]);
@@ -74874,7 +74868,7 @@ ${lanes.join("\n")}
             return leftType;
           } else {
             checkAssignmentOperator(rightType);
-            return rightType;
+            return getRegularTypeOfObjectLiteral(rightType);
           }
         case 27 /* CommaToken */:
           if (!compilerOptions.allowUnreachableCode && isSideEffectFree(left) && !isIndirectCall(left.parent)) {
@@ -84593,7 +84587,6 @@ ${lanes.join("\n")}
         SignatureCheckMode3[SignatureCheckMode3["StrictCallback"] = 2] = "StrictCallback";
         SignatureCheckMode3[SignatureCheckMode3["IgnoreReturnTypes"] = 4] = "IgnoreReturnTypes";
         SignatureCheckMode3[SignatureCheckMode3["StrictArity"] = 8] = "StrictArity";
-        SignatureCheckMode3[SignatureCheckMode3["StrictTopSignature"] = 16] = "StrictTopSignature";
         SignatureCheckMode3[SignatureCheckMode3["Callback"] = 3] = "Callback";
         return SignatureCheckMode3;
       })(SignatureCheckMode || {});
@@ -103260,6 +103253,9 @@ ${lanes.join("\n")}
       return visitEachChild(node, visitor, context);
     }
     function visitImportCallExpression(node) {
+      if (moduleKind === 0 /* None */ && languageVersion >= 7 /* ES2020 */) {
+        return visitEachChild(node, visitor, context);
+      }
       const externalModuleName = getExternalModuleNameLiteral(factory2, node, currentSourceFile, host, resolver, compilerOptions);
       const firstArgument = visitNode(firstOrUndefined(node.arguments), visitor, isExpression);
       const argument = externalModuleName && (!firstArgument || !isStringLiteral(firstArgument) || firstArgument.text !== externalModuleName.text) ? externalModuleName : firstArgument;

package/lib/typescript.js

@@ -60603,24 +60603,16 @@ ${lanes.join("\n")}
         void 0
       ) !== 0 /* False */;
     }
-    function isTopSignature(s) {
-      if (!s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s)) {
-        const paramType = getTypeOfParameter(s.parameters[0]);
-        const restType = isArrayType(paramType) ? getTypeArguments(paramType)[0] : paramType;
-        return !!(restType.flags & (1 /* Any */ | 131072 /* Never */) && getReturnTypeOfSignature(s).flags & 3 /* AnyOrUnknown */);
-      }
-      return false;
+    function isAnySignature(s) {
+      return !s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s) && (getTypeOfParameter(s.parameters[0]) === anyArrayType || isTypeAny(getTypeOfParameter(s.parameters[0]))) && isTypeAny(getReturnTypeOfSignature(s));
     }
     function compareSignaturesRelated(source, target, checkMode, reportErrors2, errorReporter, incompatibleErrorReporter, compareTypes, reportUnreliableMarkers) {
       if (source === target) {
         return -1 /* True */;
       }
-      if (!(checkMode & 16 /* StrictTopSignature */ && isTopSignature(source)) && isTopSignature(target)) {
+      if (isAnySignature(target)) {
         return -1 /* True */;
       }
-      if (checkMode & 16 /* StrictTopSignature */ && isTopSignature(source) && !isTopSignature(target)) {
-        return 0 /* False */;
-      }
       const targetCount = getParameterCount(target);
       const sourceHasMoreParameters = !hasEffectiveRestParameter(target) && (checkMode & 8 /* StrictArity */ ? hasEffectiveRestParameter(source) || getParameterCount(source) > targetCount : getMinArgumentCount(source) > targetCount);
       if (sourceHasMoreParameters) {
@@ -60838,9 +60830,7 @@ ${lanes.join("\n")}
     function isSimpleTypeRelatedTo(source, target, relation, errorReporter) {
       const s = source.flags;
       const t = target.flags;
-      if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType)
-        return true;
-      if (t & 2 /* Unknown */ && !(relation === strictSubtypeRelation && s & 1 /* Any */))
+      if (t & 3 /* AnyOrUnknown */ || s & 131072 /* Never */ || source === wildcardType)
         return true;
       if (t & 131072 /* Never */)
         return false;
@@ -63080,11 +63070,10 @@ ${lanes.join("\n")}
         return (source2, target2) => reportIncompatibleError(Diagnostics.Construct_signature_return_types_0_and_1_are_incompatible, typeToString(source2), typeToString(target2));
       }
       function signatureRelatedTo(source2, target2, erase, reportErrors2, intersectionState, incompatibleReporter) {
-        const checkMode = relation === subtypeRelation ? 16 /* StrictTopSignature */ : relation === strictSubtypeRelation ? 16 /* StrictTopSignature */ | 8 /* StrictArity */ : 0 /* None */;
         return compareSignaturesRelated(
           erase ? getErasedSignature(source2) : source2,
           erase ? getErasedSignature(target2) : target2,
-          checkMode,
+          relation === strictSubtypeRelation ? 8 /* StrictArity */ : 0,
           reportErrors2,
           reportError,
           incompatibleReporter,
@@ -63209,7 +63198,7 @@ ${lanes.join("\n")}
         if (sourceInfo) {
           return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState);
         }
-        if (!(intersectionState & 1 /* Source */) && (relation !== strictSubtypeRelation || getObjectFlags(source2) & 8192 /* FreshLiteral */) && isObjectTypeWithInferableIndex(source2)) {
+        if (!(intersectionState & 1 /* Source */) && isObjectTypeWithInferableIndex(source2)) {
           return membersRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
         }
         if (reportErrors2) {
@@ -63739,7 +63728,17 @@ ${lanes.join("\n")}
         return propType;
       }
       if (everyType(type, isTupleType)) {
-        return mapType(type, (t) => getRestTypeOfTupleType(t) || undefinedType);
+        return mapType(type, (t) => {
+          const tupleType = t;
+          const restType = getRestTypeOfTupleType(tupleType);
+          if (!restType) {
+            return undefinedType;
+          }
+          if (compilerOptions.noUncheckedIndexedAccess && index >= tupleType.target.fixedLength + getEndElementCount(tupleType.target, 3 /* Fixed */)) {
+            return getUnionType([restType, undefinedType]);
+          }
+          return restType;
+        });
       }
       return void 0;
     }
@@ -64914,7 +64913,13 @@ ${lanes.join("\n")}
           return true;
         }
         if (constraintType.flags & 262144 /* TypeParameter */) {
-          inferWithPriority(getIndexType(source), constraintType, 32 /* MappedTypeConstraint */);
+          inferWithPriority(getIndexType(
+            source,
+            /*stringsOnly*/
+            void 0,
+            /*noIndexSignatures*/
+            !!source.pattern
+          ), constraintType, 32 /* MappedTypeConstraint */);
           const extendedConstraint = getConstraintOfType(constraintType);
           if (extendedConstraint && inferToMappedType(source, target, extendedConstraint)) {
             return true;
@@ -66381,7 +66386,7 @@ ${lanes.join("\n")}
           }
           return declaredType;
         }
-        if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
+        if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && (isMatchingReference(reference, node.parent.parent.expression) || optionalChainContainsReference(node.parent.parent.expression, reference))) {
           return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
         }
         return void 0;
@@ -67096,29 +67101,18 @@ ${lanes.join("\n")}
         return (_a3 = getCachedType(key2)) != null ? _a3 : setCachedType(key2, getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived));
       }
       function getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived) {
+        const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
         if (!assumeTrue) {
-          if (checkDerived) {
-            return filterType(type, (t) => !isTypeDerivedFrom(t, candidate));
-          }
-          const trueType2 = getNarrowedType(
-            type,
-            candidate,
-            /*assumeTrue*/
-            true,
-            /*checkDerived*/
-            false
-          );
-          return filterType(type, (t) => !isTypeSubsetOf(t, trueType2));
+          return filterType(type, (t) => !isRelated(t, candidate));
         }
         if (type.flags & 3 /* AnyOrUnknown */) {
           return candidate;
         }
-        const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
         const keyPropertyName = type.flags & 1048576 /* Union */ ? getKeyPropertyName(type) : void 0;
         const narrowedType = mapType(candidate, (c) => {
           const discriminant = keyPropertyName && getTypeOfPropertyOfType(c, keyPropertyName);
           const matching = discriminant && getConstituentTypeForKeyType(type, discriminant);
-          const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) && !isTypeIdenticalTo(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
+          const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
           return directlyRelated.flags & 131072 /* Never */ ? mapType(type, (t) => maybeTypeOfKind(t, 465829888 /* Instantiable */) && isRelated(c, getBaseConstraintOfType(t) || unknownType) ? getIntersectionType([t, c]) : neverType) : directlyRelated;
         });
         return !(narrowedType.flags & 131072 /* Never */) ? narrowedType : isTypeSubtypeOf(candidate, type) ? candidate : isTypeAssignableTo(type, candidate) ? type : isTypeAssignableTo(candidate, type) ? candidate : getIntersectionType([type, candidate]);
@@ -74874,7 +74868,7 @@ ${lanes.join("\n")}
             return leftType;
           } else {
             checkAssignmentOperator(rightType);
-            return rightType;
+            return getRegularTypeOfObjectLiteral(rightType);
           }
         case 27 /* CommaToken */:
           if (!compilerOptions.allowUnreachableCode && isSideEffectFree(left) && !isIndirectCall(left.parent)) {
@@ -84593,7 +84587,6 @@ ${lanes.join("\n")}
         SignatureCheckMode3[SignatureCheckMode3["StrictCallback"] = 2] = "StrictCallback";
         SignatureCheckMode3[SignatureCheckMode3["IgnoreReturnTypes"] = 4] = "IgnoreReturnTypes";
         SignatureCheckMode3[SignatureCheckMode3["StrictArity"] = 8] = "StrictArity";
-        SignatureCheckMode3[SignatureCheckMode3["StrictTopSignature"] = 16] = "StrictTopSignature";
         SignatureCheckMode3[SignatureCheckMode3["Callback"] = 3] = "Callback";
         return SignatureCheckMode3;
       })(SignatureCheckMode || {});
@@ -103260,6 +103253,9 @@ ${lanes.join("\n")}
       return visitEachChild(node, visitor, context);
     }
     function visitImportCallExpression(node) {
+      if (moduleKind === 0 /* None */ && languageVersion >= 7 /* ES2020 */) {
+        return visitEachChild(node, visitor, context);
+      }
       const externalModuleName = getExternalModuleNameLiteral(factory2, node, currentSourceFile, host, resolver, compilerOptions);
       const firstArgument = visitNode(firstOrUndefined(node.arguments), visitor, isExpression);
       const argument = externalModuleName && (!firstArgument || !isStringLiteral(firstArgument) || firstArgument.text !== externalModuleName.text) ? externalModuleName : firstArgument;

package/lib/typingsInstaller.js

@@ -32571,7 +32571,6 @@ var SignatureCheckMode = /* @__PURE__ */ ((SignatureCheckMode3) => {
   SignatureCheckMode3[SignatureCheckMode3["StrictCallback"] = 2] = "StrictCallback";
   SignatureCheckMode3[SignatureCheckMode3["IgnoreReturnTypes"] = 4] = "IgnoreReturnTypes";
   SignatureCheckMode3[SignatureCheckMode3["StrictArity"] = 8] = "StrictArity";
-  SignatureCheckMode3[SignatureCheckMode3["StrictTopSignature"] = 16] = "StrictTopSignature";
   SignatureCheckMode3[SignatureCheckMode3["Callback"] = 3] = "Callback";
   return SignatureCheckMode3;
 })(SignatureCheckMode || {});

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.0.0-pr-52282-27",
+  "version": "5.0.0-pr-52632-9",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [