@typescript-deploys/pr-build 5.0.0-pr-52944-9 → 5.0.0-pr-52947-7

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230223`;
+var version = `${versionMajorMinor}.0-insiders.20230224`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -3783,6 +3783,7 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
   TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
   TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323363] = "NotPrimitiveUnion";
+  TypeFlags2[TypeFlags2["HasWrapper"] = 402668540] = "HasWrapper";
   return TypeFlags2;
 })(TypeFlags || {});
 var ObjectFlags = /* @__PURE__ */ ((ObjectFlags3) => {
@@ -54421,15 +54422,27 @@ function createTypeChecker(host) {
       isInJSFile(signature.declaration)
     );
   }
-  function getTypeParameterConstraintMapper(typeParameters) {
-    const typeEraser = createTypeEraser(typeParameters);
-    const baseConstraintMapper = createTypeMapper(typeParameters, map(typeParameters, (tp) => getConstraintOfTypeParameter(tp) || unknownType));
-    let baseConstraints = map(typeParameters, (tp) => instantiateType(tp, baseConstraintMapper) || unknownType);
-    for (let i = 0; i < typeParameters.length - 1; i++) {
-      baseConstraints = instantiateTypes(baseConstraints, baseConstraintMapper);
+  function getBaseSignature(signature) {
+    const typeParameters = signature.typeParameters;
+    if (typeParameters) {
+      if (signature.baseSignatureCache) {
+        return signature.baseSignatureCache;
+      }
+      const typeEraser = createTypeEraser(typeParameters);
+      const baseConstraintMapper = createTypeMapper(typeParameters, map(typeParameters, (tp) => getConstraintOfTypeParameter(tp) || unknownType));
+      let baseConstraints = map(typeParameters, (tp) => instantiateType(tp, baseConstraintMapper) || unknownType);
+      for (let i = 0; i < typeParameters.length - 1; i++) {
+        baseConstraints = instantiateTypes(baseConstraints, baseConstraintMapper);
+      }
+      baseConstraints = instantiateTypes(baseConstraints, typeEraser);
+      return signature.baseSignatureCache = instantiateSignature(
+        signature,
+        createTypeMapper(typeParameters, baseConstraints),
+        /*eraseTypeParameters*/
+        true
+      );
     }
-    baseConstraints = instantiateTypes(baseConstraints, typeEraser);
-    return createTypeMapper(typeParameters, baseConstraints);
+    return signature;
   }
   function getOrCreateTypeFromSignature(signature) {
     var _a2;
@@ -56954,9 +56967,9 @@ function createTypeChecker(host) {
           }
         }
         if (!checkTypeDeferred) {
-          inferTypes(context, checkType, instantiateType(extendsType, freshMapper), 512 /* NoConstraints */ | 1024 /* AlwaysStrict */);
+          inferTypes(context.inferences, checkType, instantiateType(extendsType, freshMapper), 512 /* NoConstraints */ | 1024 /* AlwaysStrict */);
         }
-        const innerMapper = combineTypeMappers(freshMapper, getMapperFromContext(context));
+        const innerMapper = combineTypeMappers(freshMapper, context.mapper);
         combinedMapper = mapper ? combineTypeMappers(innerMapper, mapper) : innerMapper;
       }
       const inferredExtendsType = combinedMapper ? instantiateType(root.extendsType, combinedMapper) : extendsType;
@@ -57643,11 +57656,8 @@ function createTypeChecker(host) {
       void 0
     );
   }
-  function createBackreferenceMapper(context, inference) {
-    const inferences = context.inferences.indexOf(inference) >= 0 ? context.inferences : context.freeTypeVariables;
-    Debug.assert(inferences, "Inference for backreference mapper must exist within provided context");
-    const index = inferences.indexOf(inference);
-    const forwardInferences = inferences.slice(index);
+  function createBackreferenceMapper(context, index) {
+    const forwardInferences = context.inferences.slice(index);
     return createTypeMapper(map(forwardInferences, (i) => i.typeParameter), map(forwardInferences, () => unknownType));
   }
   function combineTypeMappers(mapper1, mapper2) {
@@ -59297,7 +59307,7 @@ function createTypeChecker(host) {
     function tryElaborateErrorsForPrimitivesAndObjects(source2, target2) {
       const sourceType = symbolValueDeclarationIsContextSensitive(source2.symbol) ? typeToString(source2, source2.symbol.valueDeclaration) : typeToString(source2);
       const targetType = symbolValueDeclarationIsContextSensitive(target2.symbol) ? typeToString(target2, target2.symbol.valueDeclaration) : typeToString(target2);
-      if (globalStringType === source2 && stringType === target2 || globalNumberType === source2 && numberType === target2 || globalBooleanType === source2 && booleanType === target2 || getGlobalESSymbolType() === source2 && esSymbolType === target2) {
+      if (globalStringType === source2 && stringType === target2 || globalNumberType === source2 && numberType === target2 || globalBooleanType === source2 && booleanType === target2 || getGlobalESSymbolType() === source2 && esSymbolType === target2 || getGlobalBigIntType() === source2 && bigintType === target2) {
         reportError(Diagnostics._0_is_a_primitive_but_1_is_a_wrapper_object_Prefer_using_0_when_possible, targetType, sourceType);
       }
     }
@@ -59454,6 +59464,9 @@ function createTypeChecker(host) {
       }
       if (source2.flags & 524288 /* Object */ && target2.flags & 134348796 /* Primitive */) {
         tryElaborateErrorsForPrimitivesAndObjects(source2, target2);
+      }
+      if (target2.flags & 524288 /* Object */ && source2.flags & 134348796 /* Primitive */) {
+        tryElaborateErrorsForPrimitivesAndObjects(target2, source2);
       } else if (source2.symbol && source2.flags & 524288 /* Object */ && globalObjectType === source2) {
         reportError(Diagnostics.The_Object_type_is_assignable_to_very_few_other_types_Did_you_mean_to_use_the_any_type_instead);
       } else if (getObjectFlags(source2) & 2048 /* JsxAttributes */ && target2.flags & 2097152 /* Intersection */) {
@@ -60461,10 +60474,9 @@ function createTypeChecker(host) {
               0 /* None */,
               isRelatedToWorker
             );
-            inferTypes(ctx, target2.extendsType, sourceExtends, 512 /* NoConstraints */ | 1024 /* AlwaysStrict */);
-            const newMapper = getMapperFromContext(ctx);
-            sourceExtends = instantiateType(sourceExtends, newMapper);
-            mapper = newMapper;
+            inferTypes(ctx.inferences, target2.extendsType, sourceExtends, 512 /* NoConstraints */ | 1024 /* AlwaysStrict */);
+            sourceExtends = instantiateType(sourceExtends, ctx.mapper);
+            mapper = ctx.mapper;
           }
           if (isTypeIdenticalTo(sourceExtends, target2.extendsType) && (isRelatedTo(source2.checkType, target2.checkType, 3 /* Both */) || isRelatedTo(target2.checkType, source2.checkType, 3 /* Both */))) {
             if (result2 = isRelatedTo(instantiateType(getTrueTypeFromConditionalType(source2), mapper), getTrueTypeFromConditionalType(target2), 3 /* Both */, reportErrors2)) {
@@ -60502,8 +60514,13 @@ function createTypeChecker(host) {
         }
         const sourceIsPrimitive = !!(sourceFlags & 134348796 /* Primitive */);
         if (relation !== identityRelation) {
+          const originalSource = source2;
+          const originalFlags = sourceFlags;
           source2 = getApparentType(source2);
           sourceFlags = source2.flags;
+          if (source2 !== originalSource && originalFlags & 402668540 /* HasWrapper */ && !(sourceFlags & 402668540 /* HasWrapper */) && source2 === target2) {
+            return 0 /* False */;
+          }
         } else if (isGenericMappedType(source2)) {
           return 0 /* False */;
         }
@@ -62302,12 +62319,7 @@ function createTypeChecker(host) {
     return createInferenceContextWorker(typeParameters.map(createInferenceInfo), signature, flags, compareTypes || compareTypesAssignable);
   }
   function cloneInferenceContext(context, extraFlags = 0) {
-    const newContext = context && createInferenceContextWorker(map(context.inferences, cloneInferenceInfo), context.signature, context.flags | extraFlags, context.compareTypes);
-    if (context && context.freeTypeVariables) {
-      newContext.freeTypeVariables = map(context.freeTypeVariables, cloneInferenceInfo);
-      newContext.freeTypeVariableSourceSignatures = new Map(mapIterator(context.freeTypeVariableSourceSignatures.entries(), ([k, v]) => [k, new Map(v.entries())]));
-    }
-    return newContext;
+    return context && createInferenceContextWorker(map(context.inferences, cloneInferenceInfo), context.signature, context.flags | extraFlags, context.compareTypes);
   }
   function createInferenceContextWorker(inferences, signature, flags, compareTypes) {
     const context = {
@@ -62324,29 +62336,20 @@ function createTypeChecker(host) {
     return context;
   }
   function makeFixingMapperForContext(context) {
-    return makeDeferredTypeMapper(map(context.inferences, (i) => i.typeParameter), map(context.inferences, (inference) => () => {
+    return makeDeferredTypeMapper(map(context.inferences, (i) => i.typeParameter), map(context.inferences, (inference, i) => () => {
       if (!inference.isFixed) {
         inferFromIntraExpressionSites(context);
         clearCachedInferences(context.inferences);
         inference.isFixed = true;
       }
-      return getInferredType(context, inference);
+      return getInferredType(context, i);
     }));
   }
   function makeNonFixingMapperForContext(context) {
-    return makeDeferredTypeMapper(map(context.inferences, (i) => i.typeParameter), map(context.inferences, (inference) => () => {
-      return getInferredType(context, inference);
+    return makeDeferredTypeMapper(map(context.inferences, (i) => i.typeParameter), map(context.inferences, (_, i) => () => {
+      return getInferredType(context, i);
     }));
   }
-  function makeFreeTypeVariableMapperForContext(context) {
-    if (!context.freeTypeVariables)
-      return void 0;
-    const baseMapper = getTypeParameterConstraintMapper(map(context.freeTypeVariables, (i) => i.typeParameter));
-    return context.freeTypeVariables.reduceRight(
-      (previous, i) => combineTypeMappers(makeDeferredTypeMapper([i.typeParameter], [() => hasInferenceCandidatesOrDefault(i) ? getInferredType(context, i) : instantiateType(i.typeParameter, baseMapper)]), previous),
-      baseMapper
-    );
-  }
   function clearCachedInferences(inferences) {
     for (const inference of inferences) {
       if (!inference.isFixed) {
@@ -62363,7 +62366,7 @@ function createTypeChecker(host) {
       for (const { node, type } of context.intraExpressionInferenceSites) {
         const contextualType = node.kind === 171 /* MethodDeclaration */ ? getContextualTypeForObjectLiteralMethod(node, 2 /* NoConstraints */) : getContextualType(node, 2 /* NoConstraints */);
         if (contextualType) {
-          inferTypes(context, type, contextualType);
+          inferTypes(context.inferences, type, contextualType);
         }
       }
       context.intraExpressionInferenceSites = void 0;
@@ -62398,8 +62401,7 @@ function createTypeChecker(host) {
     return inferences.length ? createInferenceContextWorker(map(inferences, cloneInferenceInfo), context.signature, context.flags, context.compareTypes) : void 0;
   }
   function getMapperFromContext(context) {
-    const innerContext = context && last(flattenInferenceContextAlternatives(context));
-    return innerContext && innerContext.mapper && (innerContext.freeTypeVariables ? combineTypeMappers(innerContext.mapper, makeFreeTypeVariableMapperForContext(innerContext)) : innerContext.mapper);
+    return context && context.mapper;
   }
   function couldContainTypeVariables(type) {
     const objectFlags = getObjectFlags(type);
@@ -62499,15 +62501,8 @@ function createTypeChecker(host) {
     const typeParameter = getIndexedAccessType(constraint.type, getTypeParameterFromMappedType(target));
     const templateType = getTemplateTypeFromMappedType(target);
     const inference = createInferenceInfo(typeParameter);
-    const context = createInferenceContextWorker(
-      [inference],
-      /*signature*/
-      void 0,
-      0 /* None */,
-      compareTypesAssignable
-    );
-    inferTypes(context, sourceType, templateType);
-    return getInferredTypes(context, returnFalse)[0] || unknownType;
+    inferTypes([inference], sourceType, templateType);
+    return getTypeFromInference(inference) || unknownType;
   }
   function* getUnmatchedProperties(source, target, requireOptionalProperties, matchDiscriminantProperties) {
     const properties = getPropertiesOfType(target);
@@ -62684,15 +62679,7 @@ function createTypeChecker(host) {
       pos = p;
     }
   }
-  function flattenInferenceContextAlternatives(context) {
-    return context.alternatives ? (context.alternatives.forEach((a) => mergeInferenceContexts(
-      a,
-      context,
-      /*clone*/
-      true
-    )), context.alternatives) : [context];
-  }
-  function inferTypes(context, originalSource, originalTarget, priority = 0 /* None */, contravariant = false) {
+  function inferTypes(inferences, originalSource, originalTarget, priority = 0 /* None */, contravariant = false) {
     let bivariant = false;
     let propagationType;
     let inferencePriority = 2048 /* MaxValue */;
@@ -62701,21 +62688,7 @@ function createTypeChecker(host) {
     let sourceStack;
     let targetStack;
     let expandingFlags = 0 /* None */;
-    let useOnlyCachedAlternativeRoutes = false;
     inferFromTypes(originalSource, originalTarget);
-    useOnlyCachedAlternativeRoutes = true;
-    const group2 = forkInferenceContext();
-    spawnAlternativeInferenceContext(
-      group2,
-      () => {
-        if (length(context.freeTypeVariables)) {
-          inferFromTypes(originalSource, instantiateType(originalTarget, context.nonFixingMapper));
-        }
-      },
-      /*fork*/
-      false
-    );
-    joinInferenceContext(group2);
     function inferFromTypes(source, target) {
       if (!couldContainTypeVariables(target)) {
         return;
@@ -62776,9 +62749,6 @@ function createTypeChecker(host) {
           if (getObjectFlags(source) & 262144 /* NonInferrableType */ || source === nonInferrableAnyType) {
             return;
           }
-          if (useOnlyCachedAlternativeRoutes && source === target) {
-            return;
-          }
           if (!inference.isFixed) {
             if (inference.priority === void 0 || priority < inference.priority) {
               inference.candidates = void 0;
@@ -62791,16 +62761,16 @@ function createTypeChecker(host) {
               if (contravariant && !bivariant) {
                 if (!contains(inference.contraCandidates, candidate)) {
                   inference.contraCandidates = append(inference.contraCandidates, candidate);
-                  clearCachedInferences(context.inferences);
+                  clearCachedInferences(inferences);
                 }
               } else if (!contains(inference.candidates, candidate)) {
                 inference.candidates = append(inference.candidates, candidate);
-                clearCachedInferences(context.inferences);
+                clearCachedInferences(inferences);
               }
             }
             if (!(priority & 128 /* ReturnType */) && target.flags & 262144 /* TypeParameter */ && inference.topLevel && !isTypeParameterAtTopLevel(originalTarget, target)) {
               inference.topLevel = false;
-              clearCachedInferences(context.inferences);
+              clearCachedInferences(inferences);
             }
           }
           inferencePriority = Math.min(inferencePriority, priority);
@@ -62968,12 +62938,7 @@ function createTypeChecker(host) {
     }
     function getInferenceInfoForType(type) {
       if (type.flags & 8650752 /* TypeVariable */) {
-        for (const inference of context.inferences) {
-          if (type === inference.typeParameter) {
-            return inference;
-          }
-        }
-        for (const inference of context.freeTypeVariables || []) {
+        for (const inference of inferences) {
           if (type === inference.typeParameter) {
             return inference;
           }
@@ -63254,88 +63219,17 @@ function createTypeChecker(host) {
         }
       }
     }
-    function forkInferenceContext() {
-      return [];
-    }
-    function spawnAlternativeInferenceContext(group3, action, fork = true) {
-      const oldContext = context;
-      flattenInferenceContextAlternatives(context).forEach((alternative) => {
-        const newContext = fork ? cloneInferenceContext(alternative) : alternative;
-        context = newContext;
-        action();
-        context = oldContext;
-        group3.push(...flattenInferenceContextAlternatives(newContext));
-      });
-    }
-    function joinInferenceContext(group3) {
-      group3 = group3.length < 10 ? deduplicate(group3, compareInferenceContext) : group3;
-      if (group3.length === 1) {
-        mergeInferenceContexts(context, group3[0]);
-        context.freeTypeVariables = group3[0].freeTypeVariables;
-        context.freeTypeVariableSourceSignatures = group3[0].freeTypeVariableSourceSignatures;
-        context.inferredTypeParameters = group3[0].inferredTypeParameters;
-        context.flags = group3[0].flags;
-        context.alternatives = void 0;
-        return;
-      }
-      context.alternatives = group3;
-    }
-    function compareInferenceContext(a, b) {
-      return a.compareTypes === b.compareTypes && a.flags === b.flags && a.inferredTypeParameters === b.inferredTypeParameters && a.intraExpressionInferenceSites === b.intraExpressionInferenceSites && a.signature === b.signature && compareInferencesIdentical(a, a.inferences, b, b.inferences) && compareInferencesIdentical(a, a.freeTypeVariables, b, b.freeTypeVariables);
-    }
-    function compareInferencesIdentical(ctxA, a, ctxB, b) {
-      if (length(a) !== length(b))
-        return false;
-      if (length(a) === 0)
-        return true;
-      for (let i = 0; i < length(a); i++) {
-        if (a[i].typeParameter !== b[i].typeParameter || a[i].impliedArity !== b[i].impliedArity || a[i].isFixed !== b[i].isFixed || a[i].priority !== b[i].priority || a[i].topLevel !== b[i].topLevel || forEach(a, (_, i2) => getInferredType(ctxA, a[i2]) !== getInferredType(ctxB, b[i2])))
-          return false;
-      }
-      return true;
-    }
     function inferFromSignatures(source, target, kind) {
-      var _a2, _b;
       const sourceSignatures = getSignaturesOfType(source, kind);
       const targetSignatures = getSignaturesOfType(target, kind);
       const sourceLen = sourceSignatures.length;
       const targetLen = targetSignatures.length;
-      if (targetLen === 1 && sourceLen > 1) {
-        const group3 = forkInferenceContext();
-        for (let i = 0; i < sourceLen; i++) {
-          if (useOnlyCachedAlternativeRoutes && !((_b = (_a2 = context.freeTypeVariableSourceSignatures) == null ? void 0 : _a2.get(last(sourceStack))) == null ? void 0 : _b.get(sourceSignatures[i]))) {
-            continue;
-          }
-          spawnAlternativeInferenceContext(
-            group3,
-            () => inferFromSignature(sourceSignatures[i], targetSignatures[0])
-          );
-        }
-        joinInferenceContext(group3);
-      } else {
-        const len = sourceLen < targetLen ? sourceLen : targetLen;
-        for (let i = 0; i < len; i++) {
-          inferFromSignature(sourceSignatures[sourceLen - len + i], targetSignatures[targetLen - len + i]);
-        }
+      const len = sourceLen < targetLen ? sourceLen : targetLen;
+      for (let i = 0; i < len; i++) {
+        inferFromSignature(getBaseSignature(sourceSignatures[sourceLen - len + i]), getErasedSignature(targetSignatures[targetLen - len + i]));
       }
     }
     function inferFromSignature(source, target) {
-      target = getErasedSignature(target);
-      if (source.typeParameters) {
-        let cache = (context.freeTypeVariableSourceSignatures || (context.freeTypeVariableSourceSignatures = /* @__PURE__ */ new Map())).get(last(sourceStack));
-        if (!cache) {
-          context.freeTypeVariableSourceSignatures.set(last(sourceStack), cache = /* @__PURE__ */ new Map());
-        }
-        const cached = cache.get(source);
-        if (cached) {
-          source = cached;
-        } else {
-          const originalSignature = source;
-          source = instantiateSignature(source, makeUnaryTypeMapper(unknownType, unknownType));
-          cache.set(originalSignature, source);
-          (context.freeTypeVariables || (context.freeTypeVariables = [])).push(...map(source.typeParameters, createInferenceInfo));
-        }
-      }
       const saveBivariant = bivariant;
       const kind = target.declaration ? target.declaration.kind : 0 /* Unknown */;
       bivariant = bivariant || kind === 171 /* MethodDeclaration */ || kind === 170 /* MethodSignature */ || kind === 173 /* Constructor */;
@@ -63410,7 +63304,8 @@ function createTypeChecker(host) {
     const unwidenedType = inference.priority & 416 /* PriorityImpliesCombination */ ? getUnionType(baseCandidates, 2 /* Subtype */) : getCommonSupertype(baseCandidates);
     return getWidenedType(unwidenedType);
   }
-  function getInferredType(context, inference) {
+  function getInferredType(context, index) {
+    const inference = context.inferences[index];
     if (!inference.inferredType) {
       let inferredType;
       const signature = context.signature;
@@ -63426,7 +63321,7 @@ function createTypeChecker(host) {
         } else {
           const defaultType = getDefaultFromTypeParameter(inference.typeParameter);
           if (defaultType) {
-            inferredType = instantiateType(defaultType, mergeTypeMappers(createBackreferenceMapper(context, inference), context.nonFixingMapper));
+            inferredType = instantiateType(defaultType, mergeTypeMappers(createBackreferenceMapper(context, index), context.nonFixingMapper));
           }
         }
       } else {
@@ -63446,24 +63341,12 @@ function createTypeChecker(host) {
   function getDefaultTypeArgumentType(isInJavaScriptFile) {
     return isInJavaScriptFile ? anyType : unknownType;
   }
-  function getInferredTypes(context, accept) {
-    const alternatives = flattenInferenceContextAlternatives(context);
-    let finalAlternative;
-    for (let a = alternatives.length - 1; a >= 0; a--) {
-      const context2 = alternatives[a];
-      const freeTypeVariableMapper = makeFreeTypeVariableMapperForContext(context2);
-      const result = [];
-      for (const inference of context2.inferences) {
-        result.push(instantiateType(getInferredType(context2, inference), freeTypeVariableMapper));
-      }
-      if (alternatives.length === 1 || accept(result)) {
-        return result;
-      }
-      if (!finalAlternative) {
-        finalAlternative = result;
-      }
+  function getInferredTypes(context) {
+    const result = [];
+    for (let i = 0; i < context.inferences.length; i++) {
+      result.push(getInferredType(context, i));
     }
-    return finalAlternative;
+    return result;
   }
   function getCannotFindNameDiagnosticForName(node) {
     switch (node.escapedText) {
@@ -66841,11 +66724,8 @@ function createTypeChecker(host) {
   function instantiateContextualType(contextualType, node, contextFlags) {
     if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* Instantiable */)) {
       const inferenceContext = getInferenceContext(node);
-      if (inferenceContext && contextFlags & 1 /* Signature */ && some(flatMap(flattenInferenceContextAlternatives(inferenceContext), (c) => c.inferences), hasInferenceCandidatesOrDefault)) {
-        return getUnionType(map(
-          flattenInferenceContextAlternatives(inferenceContext),
-          (c) => instantiateInstantiableTypes(contextualType, c.nonFixingMapper)
-        ));
+      if (inferenceContext && contextFlags & 1 /* Signature */ && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
+        return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
       }
       if (inferenceContext == null ? void 0 : inferenceContext.returnMapper) {
         const type = instantiateInstantiableTypes(contextualType, inferenceContext.returnMapper);
@@ -69204,23 +69084,23 @@ function createTypeChecker(host) {
   function instantiateSignatureInContextOf(signature, contextualSignature, inferenceContext, compareTypes) {
     const context = createInferenceContext(signature.typeParameters, signature, 0 /* None */, compareTypes);
     const restType = getEffectiveRestType(contextualSignature);
-    const mapper = inferenceContext && (restType && restType.flags & 262144 /* TypeParameter */ ? inferenceContext.nonFixingMapper : getMapperFromContext(inferenceContext));
+    const mapper = inferenceContext && (restType && restType.flags & 262144 /* TypeParameter */ ? inferenceContext.nonFixingMapper : inferenceContext.mapper);
     const sourceSignature = mapper ? instantiateSignature(contextualSignature, mapper) : contextualSignature;
     applyToParameterTypes(sourceSignature, signature, (source, target) => {
-      inferTypes(context, source, target);
+      inferTypes(context.inferences, source, target);
     });
     if (!inferenceContext) {
       applyToReturnTypes(contextualSignature, signature, (source, target) => {
-        inferTypes(context, source, target, 128 /* ReturnType */);
+        inferTypes(context.inferences, source, target, 128 /* ReturnType */);
       });
     }
-    return getSignatureInstantiation(signature, getInferredTypes(context, returnFalse), isInJSFile(contextualSignature.declaration));
+    return getSignatureInstantiation(signature, getInferredTypes(context), isInJSFile(contextualSignature.declaration));
   }
-  function inferJsxTypeArguments(node, signature, checkMode, context, accept) {
+  function inferJsxTypeArguments(node, signature, checkMode, context) {
     const paramType = getEffectiveFirstArgumentForJsxSignature(signature, node);
     const checkAttrType = checkExpressionWithContextualType(node.attributes, paramType, context, checkMode);
-    inferTypes(context, checkAttrType, paramType);
-    return getInferredTypes(context, accept);
+    inferTypes(context.inferences, checkAttrType, paramType);
+    return getInferredTypes(context);
   }
   function getThisArgumentType(thisArgumentNode) {
     if (!thisArgumentNode) {
@@ -69229,9 +69109,9 @@ function createTypeChecker(host) {
     const thisArgumentType = checkExpression(thisArgumentNode);
     return isOptionalChainRoot(thisArgumentNode.parent) ? getNonNullableType(thisArgumentType) : isOptionalChain(thisArgumentNode.parent) ? removeOptionalTypeMarker(thisArgumentType) : thisArgumentType;
   }
-  function inferTypeArguments(node, signature, args, checkMode, context, accept) {
+  function inferTypeArguments(node, signature, args, checkMode, context) {
     if (isJsxOpeningLikeElement(node)) {
-      return inferJsxTypeArguments(node, signature, checkMode, context, accept);
+      return inferJsxTypeArguments(node, signature, checkMode, context);
     }
     if (node.kind !== 167 /* Decorator */) {
       const skipBindingPatterns = every(signature.typeParameters, (p) => !!getDefaultFromTypeParameter(p));
@@ -69246,11 +69126,11 @@ function createTypeChecker(host) {
             const instantiatedType = instantiateType(contextualType, outerMapper);
             const contextualSignature = getSingleCallSignature(instantiatedType);
             const inferenceSourceType = contextualSignature && contextualSignature.typeParameters ? getOrCreateTypeFromSignature(getSignatureInstantiationWithoutFillingInTypeArguments(contextualSignature, contextualSignature.typeParameters)) : instantiatedType;
-            inferTypes(context, inferenceSourceType, inferenceTargetType, 128 /* ReturnType */);
+            inferTypes(context.inferences, inferenceSourceType, inferenceTargetType, 128 /* ReturnType */);
           }
           const returnContext = createInferenceContext(signature.typeParameters, signature, context.flags);
           const returnSourceType = instantiateType(contextualType, outerContext && outerContext.returnMapper);
-          inferTypes(returnContext, returnSourceType, inferenceTargetType);
+          inferTypes(returnContext.inferences, returnSourceType, inferenceTargetType);
           context.returnMapper = some(returnContext.inferences, hasInferenceCandidates) ? getMapperFromContext(cloneInferredPartOfContext(returnContext)) : void 0;
         }
       }
@@ -69266,7 +69146,7 @@ function createTypeChecker(host) {
     const thisType = getThisTypeOfSignature(signature);
     if (thisType && couldContainTypeVariables(thisType)) {
       const thisArgumentNode = getThisArgumentOfCall(node);
-      inferTypes(context, getThisArgumentType(thisArgumentNode), thisType);
+      inferTypes(context.inferences, getThisArgumentType(thisArgumentNode), thisType);
     }
     for (let i = 0; i < argCount; i++) {
       const arg = args[i];
@@ -69274,15 +69154,15 @@ function createTypeChecker(host) {
         const paramType = getTypeAtPosition(signature, i);
         if (couldContainTypeVariables(paramType)) {
           const argType = checkExpressionWithContextualType(arg, paramType, context, checkMode);
-          inferTypes(context, argType, paramType);
+          inferTypes(context.inferences, argType, paramType);
         }
       }
     }
     if (restType && couldContainTypeVariables(restType)) {
       const spreadType = getSpreadArgumentType(args, argCount, args.length, restType, context, checkMode);
-      inferTypes(context, spreadType, restType);
+      inferTypes(context.inferences, spreadType, restType);
     }
-    return getInferredTypes(context, accept);
+    return getInferredTypes(context);
   }
   function getMutableArrayOrTupleType(type) {
     return type.flags & 1048576 /* Union */ ? mapType(type, getMutableArrayOrTupleType) : type.flags & 1 /* Any */ || isMutableArrayOrTuple(getBaseConstraintOfType(type) || type) ? type : isTupleType(type) ? createTupleType(
@@ -70049,26 +69929,6 @@ function createTypeChecker(host) {
         }
         let checkCandidate;
         let inferenceContext;
-        const acceptor = (types) => {
-          const checkCandidate2 = getSignatureInstantiation(candidate, types, isInJSFile(candidate.declaration), inferenceContext && inferenceContext.inferredTypeParameters);
-          if (getNonArrayRestType(candidate) && !hasCorrectArity(node, args, checkCandidate2, signatureHelpTrailingComma2)) {
-            return false;
-          }
-          if (getSignatureApplicabilityError(
-            node,
-            args,
-            checkCandidate2,
-            relation,
-            argCheckMode,
-            /*reportErrors*/
-            false,
-            /*containingMessageChain*/
-            void 0
-          )) {
-            return false;
-          }
-          return true;
-        };
         if (candidate.typeParameters) {
           let typeArgumentTypes;
           if (some(typeArguments)) {
@@ -70089,7 +69949,7 @@ function createTypeChecker(host) {
               /*flags*/
               isInJSFile(node) ? 2 /* AnyDefault */ : 0 /* None */
             );
-            typeArgumentTypes = inferTypeArguments(node, candidate, args, argCheckMode | 8 /* SkipGenericFunctions */, inferenceContext, acceptor);
+            typeArgumentTypes = inferTypeArguments(node, candidate, args, argCheckMode | 8 /* SkipGenericFunctions */, inferenceContext);
             argCheckMode |= inferenceContext.flags & 4 /* SkippedGenericFunction */ ? 8 /* SkipGenericFunctions */ : 0 /* Normal */;
           }
           checkCandidate = getSignatureInstantiation(candidate, typeArgumentTypes, isInJSFile(candidate.declaration), inferenceContext && inferenceContext.inferredTypeParameters);
@@ -70117,7 +69977,7 @@ function createTypeChecker(host) {
         if (argCheckMode) {
           argCheckMode = checkMode & 32 /* IsForStringLiteralArgumentCompletions */;
           if (inferenceContext) {
-            const typeArgumentTypes = inferTypeArguments(node, candidate, args, argCheckMode, inferenceContext, acceptor);
+            const typeArgumentTypes = inferTypeArguments(node, candidate, args, argCheckMode, inferenceContext);
             checkCandidate = getSignatureInstantiation(candidate, typeArgumentTypes, isInJSFile(candidate.declaration), inferenceContext.inferredTypeParameters);
             if (getNonArrayRestType(candidate) && !hasCorrectArity(node, args, checkCandidate, signatureHelpTrailingComma2)) {
               candidateForArgumentArityError = checkCandidate;
@@ -70227,7 +70087,7 @@ function createTypeChecker(host) {
       /*flags*/
       isInJSFile(node) ? 2 /* AnyDefault */ : 0 /* None */
     );
-    const typeArgumentTypes = inferTypeArguments(node, candidate, args, checkMode | 4 /* SkipContextSensitive */ | 8 /* SkipGenericFunctions */, inferenceContext, returnFalse);
+    const typeArgumentTypes = inferTypeArguments(node, candidate, args, checkMode | 4 /* SkipContextSensitive */ | 8 /* SkipGenericFunctions */, inferenceContext);
     return createSignatureInstantiation(candidate, typeArgumentTypes);
   }
   function getLongestCandidateIndex(candidates, argsCount) {
@@ -71495,7 +71355,7 @@ function createTypeChecker(host) {
       if (declaration.type) {
         const typeNode = getEffectiveTypeAnnotationNode(declaration);
         if (typeNode) {
-          inferTypes(inferenceContext, getTypeFromTypeNode(typeNode), getTypeAtPosition(context, i));
+          inferTypes(inferenceContext.inferences, getTypeFromTypeNode(typeNode), getTypeAtPosition(context, i));
         }
       }
     }
@@ -72207,7 +72067,7 @@ function createTypeChecker(host) {
                 instantiatedContextualSignature = instantiateSignature(contextualSignature, inferenceContext.nonFixingMapper);
               }
             }
-            instantiatedContextualSignature || (instantiatedContextualSignature = inferenceContext ? instantiateSignature(contextualSignature, getMapperFromContext(inferenceContext)) : contextualSignature);
+            instantiatedContextualSignature || (instantiatedContextualSignature = inferenceContext ? instantiateSignature(contextualSignature, inferenceContext.mapper) : contextualSignature);
             assignContextualParameterTypes(signature, instantiatedContextualSignature);
           } else {
             assignNonContextualParameterTypes(signature);
@@ -73588,7 +73448,7 @@ function createTypeChecker(host) {
     return isAssertionExpression(parent) && isConstTypeReference(parent.type) || isJSDocTypeAssertion(parent) && isConstTypeReference(getJSDocTypeAssertionType(parent)) || isValidConstAssertionArgument(node) && isConstTypeParameterContext(node) || (isParenthesizedExpression(parent) || isArrayLiteralExpression(parent) || isSpreadElement(parent)) && isConstContext(parent) || (isPropertyAssignment(parent) || isShorthandPropertyAssignment(parent) || isTemplateSpan(parent)) && isConstContext(parent.parent);
   }
   function isConstTypeParameterContext(node) {
-    const contextualType = getContextualType(node, 1 /* Signature */);
+    const contextualType = getContextualType(node, 0 /* None */);
     return !!contextualType && someType(contextualType, isConstTypeVariable);
   }
   function checkExpressionForMutableLocation(node, checkMode, forceTuple) {
@@ -73653,11 +73513,10 @@ function createTypeChecker(host) {
             if (returnSignature && !returnSignature.typeParameters && !every(context.inferences, hasInferenceCandidates)) {
               const uniqueTypeParameters = getUniqueTypeParameters(context, signature.typeParameters);
               const instantiatedSignature = getSignatureInstantiationWithoutFillingInTypeArguments(signature, uniqueTypeParameters);
-              const subcontext = cloneInferenceContext(context);
-              subcontext.inferences = map(context.inferences, (info) => createInferenceInfo(info.typeParameter));
+              const inferences = map(context.inferences, (info) => createInferenceInfo(info.typeParameter));
               applyToParameterTypes(instantiatedSignature, contextualSignature, (source, target) => {
                 inferTypes(
-                  subcontext,
+                  inferences,
                   source,
                   target,
                   /*priority*/
@@ -73666,12 +73525,12 @@ function createTypeChecker(host) {
                   true
                 );
               });
-              if (some(subcontext.inferences, hasInferenceCandidates)) {
+              if (some(inferences, hasInferenceCandidates)) {
                 applyToReturnTypes(instantiatedSignature, contextualSignature, (source, target) => {
-                  inferTypes(subcontext, source, target);
+                  inferTypes(inferences, source, target);
                 });
-                if (!hasOverlappingInferences(context.inferences, subcontext.inferences)) {
-                  mergeInferenceContexts(context, subcontext);
+                if (!hasOverlappingInferences(context.inferences, inferences)) {
+                  mergeInferences(context.inferences, inferences);
                   context.inferredTypeParameters = concatenate(context.inferredTypeParameters, uniqueTypeParameters);
                   return getOrCreateTypeFromSignature(instantiatedSignature);
                 }
@@ -73704,22 +73563,13 @@ function createTypeChecker(host) {
     }
     return false;
   }
-  function mergeInferences(target, source, clone2 = false) {
+  function mergeInferences(target, source) {
     for (let i = 0; i < target.length; i++) {
       if (!hasInferenceCandidates(target[i]) && hasInferenceCandidates(source[i])) {
-        target[i] = clone2 ? {
-          ...source[i],
-          candidates: source[i].candidates && [...source[i].candidates],
-          contraCandidates: source[i].contraCandidates && [...source[i].contraCandidates]
-        } : source[i];
+        target[i] = source[i];
       }
     }
   }
-  function mergeInferenceContexts(target, source, cloneInferences = false) {
-    mergeInferences(target.inferences, source.inferences, cloneInferences);
-    target.mapper = makeFixingMapperForContext(target);
-    target.nonFixingMapper = makeNonFixingMapperForContext(target);
-  }
   function getUniqueTypeParameters(context, typeParameters) {
     const result = [];
     let oldTypeParameters;