@typescript-deploys/pr-build 5.5.0-pr-58028-14 → 5.5.0-pr-58065-2

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-insiders.20240402`;
+var version = `${versionMajorMinor}.0-insiders.20240403`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -7369,7 +7369,6 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
-  Default_type_arguments_to_parameter_s_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_s_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter's constraint or 'unknown' instead of 'any' for instance checks."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -16597,12 +16596,6 @@ var computedOptions = createComputedCompilerOptions({
     computeValue: (compilerOptions) => {
       return getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
     }
-  },
-  strictInstanceOfTypeParameters: {
-    dependencies: ["strict"],
-    computeValue: (compilerOptions) => {
-      return getStrictOptionValue(compilerOptions, "strictInstanceOfTypeParameters");
-    }
   }
 });
 var getEmitScriptTarget = computedOptions.target.computeValue;
@@ -34569,16 +34562,6 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Check_for_class_properties_that_are_declared_but_not_set_in_the_constructor,
     defaultValueDescription: Diagnostics.false_unless_strict_is_set
   },
-  {
-    name: "strictInstanceOfTypeParameters",
-    type: "boolean",
-    affectsSemanticDiagnostics: true,
-    affectsBuildInfo: true,
-    strictFlag: true,
-    category: Diagnostics.Type_Checking,
-    description: Diagnostics.Default_type_arguments_to_parameter_s_constraint_or_unknown_instead_of_any_for_instance_checks,
-    defaultValueDescription: false
-  },
   {
     name: "noImplicitThis",
     type: "boolean",
@@ -43519,7 +43502,6 @@ function createTypeChecker(host) {
   var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
   var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
   var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
-  var strictInstanceOfTypeParameters = getStrictOptionValue(compilerOptions, "strictInstanceOfTypeParameters");
   var exactOptionalPropertyTypes = compilerOptions.exactOptionalPropertyTypes;
   var checkBinaryExpression = createCheckBinaryExpression();
   var emitResolver = createResolver();
@@ -49128,68 +49110,7 @@ function createTypeChecker(host) {
         /*skipUnionExpanding*/
         true
       )[0];
-      let cleanup;
-      if (context.enclosingDeclaration && signature.declaration && signature.declaration !== context.enclosingDeclaration && !isInJSFile(signature.declaration) && (some(expandedParams) || some(signature.typeParameters))) {
-        let pushFakeScope2 = function(kind2, addAll) {
-          Debug.assert(context.enclosingDeclaration);
-          let existingFakeScope;
-          if (getNodeLinks(context.enclosingDeclaration).fakeScopeForSignatureDeclaration === kind2) {
-            existingFakeScope = context.enclosingDeclaration;
-          } else if (context.enclosingDeclaration.parent && getNodeLinks(context.enclosingDeclaration.parent).fakeScopeForSignatureDeclaration === kind2) {
-            existingFakeScope = context.enclosingDeclaration.parent;
-          }
-          Debug.assertOptionalNode(existingFakeScope, isBlock);
-          const locals = (existingFakeScope == null ? void 0 : existingFakeScope.locals) ?? createSymbolTable();
-          let newLocals;
-          addAll((name, symbol) => {
-            if (!locals.has(name)) {
-              newLocals = append(newLocals, name);
-              locals.set(name, symbol);
-            }
-          });
-          if (!newLocals)
-            return;
-          const oldCleanup = cleanup;
-          function undo() {
-            forEach(newLocals, (s) => locals.delete(s));
-            oldCleanup == null ? void 0 : oldCleanup();
-          }
-          if (existingFakeScope) {
-            cleanup = undo;
-          } else {
-            const fakeScope = parseNodeFactory.createBlock(emptyArray);
-            getNodeLinks(fakeScope).fakeScopeForSignatureDeclaration = kind2;
-            fakeScope.locals = locals;
-            const saveEnclosingDeclaration = context.enclosingDeclaration;
-            setParent(fakeScope, saveEnclosingDeclaration);
-            context.enclosingDeclaration = fakeScope;
-            cleanup = () => {
-              context.enclosingDeclaration = saveEnclosingDeclaration;
-              undo();
-            };
-          }
-        };
-        var pushFakeScope = pushFakeScope2;
-        pushFakeScope2(
-          "params",
-          (add) => {
-            for (const param of expandedParams) {
-              add(param.escapedName, param);
-            }
-          }
-        );
-        if (context.flags & 4 /* GenerateNamesForShadowedTypeParams */) {
-          pushFakeScope2(
-            "typeParams",
-            (add) => {
-              for (const typeParam of signature.typeParameters ?? emptyArray) {
-                const typeParamName = typeParameterToName(typeParam, context).escapedText;
-                add(typeParamName, typeParam.symbol);
-              }
-            }
-          );
-        }
-      }
+      const cleanup = enterNewScope(context, signature.declaration, expandedParams, signature.typeParameters);
       const parameters = (some(expandedParams, (p) => p !== expandedParams[expandedParams.length - 1] && !!(getCheckFlags(p) & 32768 /* RestParameter */)) ? signature.parameters : expandedParams).map((parameter) => symbolToParameterDeclaration(parameter, context, kind === 176 /* Constructor */));
       const thisParameter = context.flags & 33554432 /* OmitThisParameter */ ? void 0 : tryGetThisParameterDeclaration(signature, context);
       if (thisParameter) {
@@ -49280,6 +49201,111 @@ function createTypeChecker(host) {
       cleanup == null ? void 0 : cleanup();
       return node;
     }
+    function isNewScopeNode(node) {
+      return isFunctionLike(node) || isJSDocSignature(node) || isMappedTypeNode(node);
+    }
+    function getTypeParametersInScope(node) {
+      return isFunctionLike(node) || isJSDocSignature(node) ? getSignatureFromDeclaration(node).typeParameters : isConditionalTypeNode(node) ? getInferTypeParameters(node) : [getDeclaredTypeOfTypeParameter(getSymbolOfDeclaration(node.typeParameter))];
+    }
+    function getParametersInScope(node) {
+      return isFunctionLike(node) || isJSDocSignature(node) ? getExpandedParameters(
+        getSignatureFromDeclaration(node),
+        /*skipUnionExpanding*/
+        true
+      )[0] : void 0;
+    }
+    function enterNewScope(context, declaration, expandedParams, typeParameters) {
+      let cleanup;
+      if (context.enclosingDeclaration && declaration && declaration !== context.enclosingDeclaration && !isInJSFile(declaration) && (some(expandedParams) || some(typeParameters))) {
+        let pushFakeScope2 = function(kind, addAll) {
+          Debug.assert(context.enclosingDeclaration);
+          let existingFakeScope;
+          if (getNodeLinks(context.enclosingDeclaration).fakeScopeForSignatureDeclaration === kind) {
+            existingFakeScope = context.enclosingDeclaration;
+          } else if (context.enclosingDeclaration.parent && getNodeLinks(context.enclosingDeclaration.parent).fakeScopeForSignatureDeclaration === kind) {
+            existingFakeScope = context.enclosingDeclaration.parent;
+          }
+          Debug.assertOptionalNode(existingFakeScope, isBlock);
+          const locals = (existingFakeScope == null ? void 0 : existingFakeScope.locals) ?? createSymbolTable();
+          let newLocals;
+          addAll((name, symbol) => {
+            if (!locals.has(name)) {
+              newLocals = append(newLocals, name);
+              locals.set(name, symbol);
+            }
+          });
+          if (!newLocals)
+            return;
+          const oldCleanup = cleanup;
+          function undo() {
+            forEach(newLocals, (s) => locals.delete(s));
+            oldCleanup == null ? void 0 : oldCleanup();
+          }
+          if (existingFakeScope) {
+            cleanup = undo;
+          } else {
+            const fakeScope = parseNodeFactory.createBlock(emptyArray);
+            getNodeLinks(fakeScope).fakeScopeForSignatureDeclaration = kind;
+            fakeScope.locals = locals;
+            const saveEnclosingDeclaration = context.enclosingDeclaration;
+            setParent(fakeScope, saveEnclosingDeclaration);
+            context.enclosingDeclaration = fakeScope;
+            cleanup = () => {
+              context.enclosingDeclaration = saveEnclosingDeclaration;
+              undo();
+            };
+          }
+        };
+        var pushFakeScope = pushFakeScope2;
+        pushFakeScope2(
+          "params",
+          (add) => {
+            for (const param of expandedParams ?? emptyArray) {
+              if (!forEach(param.declarations, (d) => {
+                if (isParameter(d) && isBindingPattern(d.name)) {
+                  bindPattern(d.name);
+                  return true;
+                }
+                return void 0;
+                function bindPattern(p) {
+                  forEach(p.elements, (e) => {
+                    switch (e.kind) {
+                      case 232 /* OmittedExpression */:
+                        return;
+                      case 208 /* BindingElement */:
+                        return bindElement(e);
+                      default:
+                        return Debug.assertNever(e);
+                    }
+                  });
+                }
+                function bindElement(e) {
+                  if (isBindingPattern(e.name)) {
+                    return bindPattern(e.name);
+                  }
+                  const symbol = getSymbolOfDeclaration(e);
+                  add(symbol.escapedName, symbol);
+                }
+              })) {
+                add(param.escapedName, param);
+              }
+            }
+          }
+        );
+        if (context.flags & 4 /* GenerateNamesForShadowedTypeParams */) {
+          pushFakeScope2(
+            "typeParams",
+            (add) => {
+              for (const typeParam of typeParameters ?? emptyArray) {
+                const typeParamName = typeParameterToName(typeParam, context).escapedText;
+                add(typeParamName, typeParam.symbol);
+              }
+            }
+          );
+        }
+        return cleanup;
+      }
+    }
     function tryGetThisParameterDeclaration(signature, context) {
       if (signature.thisParameter) {
         return symbolToParameterDeclaration(signature.thisParameter, context);
@@ -49898,6 +49924,9 @@ function createTypeChecker(host) {
       if (initial.typeParameterSymbolList) {
         initial.typeParameterSymbolList = new Set(initial.typeParameterSymbolList);
       }
+      if (initial.typeParameterNamesByTextNextNameCount) {
+        initial.typeParameterNamesByTextNextNameCount = new Map(initial.typeParameterNamesByTextNextNameCount);
+      }
       initial.tracker = new SymbolTrackerImpl(initial, initial.tracker.inner, initial.tracker.moduleResolverHost);
       return initial;
     }
@@ -50030,6 +50059,22 @@ function createTypeChecker(host) {
       }
       return transformed === existing ? setTextRange(factory.cloneNode(existing), existing) : transformed;
       function visitExistingNodeTreeSymbols(node) {
+        const onExitNewScope = isNewScopeNode(node) ? onEnterNewScope(node) : void 0;
+        const result = visitExistingNodeTreeSymbolsWorker(node);
+        onExitNewScope == null ? void 0 : onExitNewScope();
+        return result;
+      }
+      function onEnterNewScope(node) {
+        const oldContex = context;
+        context = cloneNodeBuilderContext(context);
+        const cleanup = enterNewScope(context, node, getParametersInScope(node), getTypeParametersInScope(node));
+        return onExitNewScope;
+        function onExitNewScope() {
+          cleanup == null ? void 0 : cleanup();
+          context = oldContex;
+        }
+      }
+      function visitExistingNodeTreeSymbolsWorker(node) {
         if (isJSDocAllType(node) || node.kind === 319 /* JSDocNamepathType */) {
           return factory.createKeywordTypeNode(133 /* AnyKeyword */);
         }
@@ -50180,6 +50225,21 @@ function createTypeChecker(host) {
           setEmitFlags(clone, flags | (context.flags & 1024 /* MultilineObjectLiterals */ && isTypeLiteralNode(node) ? 0 : 1 /* SingleLine */));
           return clone;
         }
+        if (isConditionalTypeNode(node)) {
+          const checkType = visitNode(node.checkType, visitExistingNodeTreeSymbols, isTypeNode);
+          const disposeScope = onEnterNewScope(node);
+          const extendType = visitNode(node.extendsType, visitExistingNodeTreeSymbols, isTypeNode);
+          const trueType2 = visitNode(node.trueType, visitExistingNodeTreeSymbols, isTypeNode);
+          disposeScope();
+          const falseType2 = visitNode(node.falseType, visitExistingNodeTreeSymbols, isTypeNode);
+          return factory.updateConditionalTypeNode(
+            node,
+            checkType,
+            extendType,
+            trueType2,
+            falseType2
+          );
+        }
         return visitEachChild(
           node,
           visitExistingNodeTreeSymbols,
@@ -52051,32 +52111,9 @@ function createTypeChecker(host) {
       }
     }).parent;
   }
-  function getInstanceTypeOfClassSymbol(classSymbol) {
-    const classType = getDeclaredTypeOfSymbol(classSymbol);
-    const objectFlags = getObjectFlags(classType);
-    if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
-      return classType;
-    }
-    const variances = getVariances(classType);
-    const isJs = some(classSymbol.declarations, isInJSFile);
-    const inferredTypes = calculateInferredTypeArguments(classType.typeParameters, isJs);
-    const typeArguments = map(inferredTypes, (inferredType, i) => {
-      if (!strictInstanceOfTypeParameters) {
-        return anyType;
-      }
-      const variance = variances[i];
-      switch (variance & 7 /* VarianceMask */) {
-        case 2 /* Contravariant */:
-        case 3 /* Bivariant */:
-          return neverType;
-      }
-      return inferredType || unknownType;
-    });
-    return createTypeReference(classType, typeArguments);
-  }
   function getTypeOfPrototypeProperty(prototype) {
-    const classSymbol = getParentOfSymbol(prototype);
-    return getInstanceTypeOfClassSymbol(classSymbol);
+    const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
+    return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
   }
   function getTypeOfPropertyOfType(type, name) {
     const prop = getPropertyOfType(type, name);
@@ -55777,26 +55814,6 @@ function createTypeChecker(host) {
     }
     return typeArguments && typeArguments.slice();
   }
-  function calculateInferredTypeArguments(typeParameters, isJavaScriptImplicitAny) {
-    const numTypeParameters = length(typeParameters);
-    if (!numTypeParameters) {
-      return [];
-    }
-    const result = [];
-    for (let i = 0; i < numTypeParameters; i++) {
-      result[i] = errorType;
-    }
-    const baseDefaultType = getDefaultTypeArgumentType(isJavaScriptImplicitAny);
-    for (let i = 0; i < numTypeParameters; i++) {
-      let inferredType = getBaseConstraintOfType(typeParameters[i]);
-      if (isJavaScriptImplicitAny && inferredType && (isTypeIdenticalTo(inferredType, unknownType) || isTypeIdenticalTo(inferredType, emptyObjectType))) {
-        inferredType = anyType;
-      }
-      result[i] = inferredType ? instantiateType(inferredType, createTypeMapper(typeParameters, result)) : baseDefaultType;
-    }
-    result.length = typeParameters.length;
-    return result;
-  }
   function getSignatureFromDeclaration(declaration) {
     const links = getNodeLinks(declaration);
     if (!links.resolvedSignature) {
@@ -67106,8 +67123,8 @@ function createTypeChecker(host) {
       if (symbol === void 0) {
         return type;
       }
-      const classSymbol = getParentOfSymbol(symbol);
-      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
+      const classSymbol = symbol.parent;
+      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
       return getNarrowedType(
         type,
         targetType,
@@ -74564,17 +74581,18 @@ function createTypeChecker(host) {
     const antecedent = expr.flowNode || expr.parent.kind === 253 /* ReturnStatement */ && expr.parent.flowNode || { flags: 2 /* Start */ };
     const trueCondition = {
       flags: 32 /* TrueCondition */,
-      node: expr,
-      antecedent
+      antecedent,
+      node: expr
     };
     const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
     if (trueType2 === initType)
       return void 0;
     const falseCondition = {
-      ...trueCondition,
-      flags: 64 /* FalseCondition */
+      flags: 64 /* FalseCondition */,
+      antecedent,
+      node: expr
     };
-    const falseSubtype = getFlowTypeOfReference(param.name, trueType2, trueType2, func, falseCondition);
+    const falseSubtype = getFlowTypeOfReference(param.name, initType, trueType2, func, falseCondition);
     return falseSubtype.flags & 131072 /* Never */ ? trueType2 : void 0;
   }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {
@@ -117196,6 +117214,7 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     forEachResolvedProjectReference: forEachResolvedProjectReference2,
     isSourceOfProjectReferenceRedirect,
     getRedirectReferenceForResolutionFromSourceOfProject,
+    getRedirectReferenceForResolution,
     emitBuildInfo,
     fileExists,
     readFile,
@@ -122111,7 +122130,8 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     getResolutionWithResolvedFileName,
     deferWatchingNonRelativeResolution,
     shouldRetryResolution,
-    logChanges
+    logChanges,
+    canWatchFailedLookups
   }) {
     const path = resolutionHost.toPath(containingFile);
     const resolutionsInFile = perFileCache.get(path) || perFileCache.set(path, createModeAwareCache()).get(path);
@@ -122134,7 +122154,14 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
         }
         resolutionsInFile.set(name, mode, resolution);
         if (resolution !== existingResolution) {
-          watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, path, getResolutionWithResolvedFileName, deferWatchingNonRelativeResolution);
+          watchFailedLookupLocationsOfExternalModuleResolutions(
+            name,
+            resolution,
+            path,
+            getResolutionWithResolvedFileName,
+            deferWatchingNonRelativeResolution,
+            (resolution2) => canWatchFailedLookups(resolution2, (redirectedReference == null ? void 0 : redirectedReference.commandLine.options) || options, containingSourceFile)
+          );
           if (existingResolution) {
             stopWatchFailedLookupLocationOfResolution(existingResolution, path, getResolutionWithResolvedFileName);
           }
@@ -122213,7 +122240,8 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       ),
       getResolutionWithResolvedFileName: getResolvedTypeReferenceDirective,
       shouldRetryResolution: (resolution) => resolution.resolvedTypeReferenceDirective === void 0,
-      deferWatchingNonRelativeResolution: false
+      deferWatchingNonRelativeResolution: false,
+      canWatchFailedLookups: canWatchFailedLookupsOfTypeReferencedDirective
     });
   }
   function resolveModuleNameLiterals(moduleLiterals, containingFile, redirectedReference, options, containingSourceFile, reusedNames) {
@@ -122235,8 +122263,9 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       getResolutionWithResolvedFileName: getResolvedModule,
       shouldRetryResolution: (resolution) => !resolution.resolvedModule || !resolutionExtensionIsTSOrJson(resolution.resolvedModule.extension),
       logChanges: logChangesWhenResolvingModule,
-      deferWatchingNonRelativeResolution: true
+      deferWatchingNonRelativeResolution: true,
       // Defer non relative resolution watch because we could be using ambient modules
+      canWatchFailedLookups: canWatchFailedLookupsOfResolvedModule
     });
   }
   function resolveLibrary2(libraryName, resolveFrom, options, libFileName) {
@@ -122252,7 +122281,8 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
         path,
         getResolvedModule,
         /*deferWatchingNonRelativeResolution*/
-        false
+        false,
+        canWatchFailedLookupsOfResolvedLibrary
       );
       resolvedLibraries.set(libFileName, resolution);
       if (existingResolution) {
@@ -122299,16 +122329,18 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
   function isNodeModulesAtTypesDirectory(dirPath) {
     return endsWith(dirPath, "/node_modules/@types");
   }
-  function watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, filePath, getResolutionWithResolvedFileName, deferWatchingNonRelativeResolution) {
-    var _a;
+  function watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, filePath, getResolutionWithResolvedFileName, deferWatchingNonRelativeResolution, canWatchFailedLookups) {
+    var _a, _b;
     if (resolution.refCount) {
       resolution.refCount++;
       Debug.assertIsDefined(resolution.files);
     } else {
       resolution.refCount = 1;
       Debug.assert(!((_a = resolution.files) == null ? void 0 : _a.size));
+      if (((_b = resolution.failedLookupLocations) == null ? void 0 : _b.length) && canWatchFailedLookups(resolution))
+        resolution.canWatchFailedLookups = true;
       if (!deferWatchingNonRelativeResolution || isExternalModuleNameRelative(name)) {
-        watchFailedLookupLocationOfResolution(resolution);
+        watchFailedLookupLocationAndAffectedLocationsOfResolution(resolution);
       } else {
         nonRelativeExternalModuleResolutions.add(name, resolution);
       }
@@ -122344,15 +122376,16 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     }
     return setAtRoot;
   }
-  function watchFailedLookupLocationOfResolution(resolution) {
+  function watchFailedLookupLocationAndAffectedLocationsOfResolution(resolution) {
     Debug.assert(!!resolution.refCount);
     const { failedLookupLocations, affectingLocations, alternateResult } = resolution;
     if (!(failedLookupLocations == null ? void 0 : failedLookupLocations.length) && !(affectingLocations == null ? void 0 : affectingLocations.length) && !alternateResult)
       return;
-    if ((failedLookupLocations == null ? void 0 : failedLookupLocations.length) || alternateResult)
+    const addToFailedLookup = resolution.canWatchFailedLookups || alternateResult;
+    if (addToFailedLookup)
       resolutionsWithFailedLookups.add(resolution);
     let setAtRoot = false;
-    if (failedLookupLocations) {
+    if (resolution.canWatchFailedLookups) {
       for (const failedLookupLocation of failedLookupLocations) {
         setAtRoot = watchFailedLookupLocation(failedLookupLocation, setAtRoot);
       }
@@ -122367,7 +122400,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
         true
       );
     }
-    watchAffectingLocationsOfResolution(resolution, !(failedLookupLocations == null ? void 0 : failedLookupLocations.length) && !alternateResult);
+    watchAffectingLocationsOfResolution(resolution, !addToFailedLookup);
   }
   function watchAffectingLocationsOfResolution(resolution, addToResolutionsWithOnlyAffectingLocations) {
     Debug.assert(!!resolution.refCount);
@@ -122454,7 +122487,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
   function watchFailedLookupLocationOfNonRelativeModuleResolutions(resolutions, name) {
     const program = resolutionHost.getCurrentProgram();
     if (!program || !program.getTypeChecker().tryFindAmbientModuleWithoutAugmentations(name)) {
-      resolutions.forEach(watchFailedLookupLocationOfResolution);
+      resolutions.forEach(watchFailedLookupLocationAndAffectedLocationsOfResolution);
     } else {
       resolutions.forEach((resolution) => watchAffectingLocationsOfResolution(
         resolution,
@@ -122505,10 +122538,10 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       if ((resolutions == null ? void 0 : resolutions.delete(resolution)) && !resolutions.size)
         resolvedFileToResolution.delete(key);
     }
-    const { failedLookupLocations, affectingLocations, alternateResult } = resolution;
+    const { canWatchFailedLookups, failedLookupLocations, affectingLocations, alternateResult } = resolution;
     if (resolutionsWithFailedLookups.delete(resolution)) {
       let removeAtRoot = false;
-      if (failedLookupLocations) {
+      if (canWatchFailedLookups) {
         for (const failedLookupLocation of failedLookupLocations) {
           removeAtRoot = stopWatchFailedLookupLocation(failedLookupLocation, removeAtRoot, syncDirWatcherRemove);
         }
@@ -122681,7 +122714,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       return true;
     if (!failedLookupChecks && !startsWithPathChecks && !isInDirectoryChecks)
       return false;
-    return ((_a = resolution.failedLookupLocations) == null ? void 0 : _a.some((location) => isInvalidatedFailedLookup(resolutionHost.toPath(location)))) || !!resolution.alternateResult && isInvalidatedFailedLookup(resolutionHost.toPath(resolution.alternateResult));
+    return resolution.canWatchFailedLookups && ((_a = resolution.failedLookupLocations) == null ? void 0 : _a.some((location) => isInvalidatedFailedLookup(resolutionHost.toPath(location)))) || !!resolution.alternateResult && isInvalidatedFailedLookup(resolutionHost.toPath(resolution.alternateResult));
   }
   function isInvalidatedFailedLookup(locationPath) {
     return (failedLookupChecks == null ? void 0 : failedLookupChecks.has(locationPath)) || firstDefinedIterator((startsWithPathChecks == null ? void 0 : startsWithPathChecks.keys()) || [], (fileOrDirectoryPath) => startsWith(locationPath, fileOrDirectoryPath) ? true : void 0) || firstDefinedIterator((isInDirectoryChecks == null ? void 0 : isInDirectoryChecks.keys()) || [], (dirPath) => locationPath.length > dirPath.length && startsWith(locationPath, dirPath) && (isDiskPathRoot(dirPath) || locationPath[dirPath.length] === directorySeparator) ? true : void 0);
@@ -122744,6 +122777,16 @@ function resolutionIsSymlink(resolution) {
   var _a, _b;
   return !!(((_a = resolution.resolvedModule) == null ? void 0 : _a.originalPath) || ((_b = resolution.resolvedTypeReferenceDirective) == null ? void 0 : _b.originalPath));
 }
+function canWatchFailedLookupsOfResolvedModule(resolution, optionsForFile, file) {
+  var _a;
+  return !resolution.resolvedModule || !!resolution.alternateResult || !!((_a = resolution.resolutionDiagnostics) == null ? void 0 : _a.length) || !!getResolutionDiagnostic(optionsForFile, resolution.resolvedModule, file);
+}
+function canWatchFailedLookupsOfTypeReferencedDirective(resolution) {
+  return !resolution.resolvedTypeReferenceDirective;
+}
+function canWatchFailedLookupsOfResolvedLibrary(resolution) {
+  return !resolution.resolvedModule;
+}
 
 // src/compiler/watch.ts
 var sysFormatDiagnosticsHost = sys ? {

package/lib/typescript.d.ts

@@ -5793,61 +5793,6 @@ declare namespace ts {
         readonly moduleSpecifier: Expression;
         readonly attributes?: ImportAttributes;
     }
-    enum FlowFlags {
-        Unreachable = 1,
-        Start = 2,
-        BranchLabel = 4,
-        LoopLabel = 8,
-        Assignment = 16,
-        TrueCondition = 32,
-        FalseCondition = 64,
-        SwitchClause = 128,
-        ArrayMutation = 256,
-        Call = 512,
-        ReduceLabel = 1024,
-        Referenced = 2048,
-        Shared = 4096,
-        Label = 12,
-        Condition = 96,
-    }
-    type FlowNode = FlowStart | FlowLabel | FlowAssignment | FlowCondition | FlowSwitchClause | FlowArrayMutation | FlowCall | FlowReduceLabel;
-    interface FlowNodeBase {
-        flags: FlowFlags;
-        id?: number;
-    }
-    interface FlowStart extends FlowNodeBase {
-        node?: FunctionExpression | ArrowFunction | MethodDeclaration | GetAccessorDeclaration | SetAccessorDeclaration;
-    }
-    interface FlowLabel extends FlowNodeBase {
-        antecedents: FlowNode[] | undefined;
-    }
-    interface FlowAssignment extends FlowNodeBase {
-        node: Expression | VariableDeclaration | BindingElement;
-        antecedent: FlowNode;
-    }
-    interface FlowCall extends FlowNodeBase {
-        node: CallExpression;
-        antecedent: FlowNode;
-    }
-    interface FlowCondition extends FlowNodeBase {
-        node: Expression;
-        antecedent: FlowNode;
-    }
-    interface FlowSwitchClause extends FlowNodeBase {
-        switchStatement: SwitchStatement;
-        clauseStart: number;
-        clauseEnd: number;
-        antecedent: FlowNode;
-    }
-    interface FlowArrayMutation extends FlowNodeBase {
-        node: CallExpression | BinaryExpression;
-        antecedent: FlowNode;
-    }
-    interface FlowReduceLabel extends FlowNodeBase {
-        target: FlowLabel;
-        antecedents: FlowNode[];
-        antecedent: FlowNode;
-    }
     type FlowType = Type | IncompleteType;
     interface IncompleteType {
         flags: TypeFlags | 0;
@@ -6979,7 +6924,6 @@ declare namespace ts {
         strictBindCallApply?: boolean;
         strictNullChecks?: boolean;
         strictPropertyInitialization?: boolean;
-        strictInstanceOfTypeParameters?: boolean;
         stripInternal?: boolean;
         /** @deprecated */
         suppressExcessPropertyErrors?: boolean;

package/lib/typescript.js

@@ -262,6 +262,9 @@ __export(typescript_exports, {
   canWatchAffectingLocation: () => canWatchAffectingLocation,
   canWatchAtTypes: () => canWatchAtTypes,
   canWatchDirectoryOrFile: () => canWatchDirectoryOrFile,
+  canWatchFailedLookupsOfResolvedLibrary: () => canWatchFailedLookupsOfResolvedLibrary,
+  canWatchFailedLookupsOfResolvedModule: () => canWatchFailedLookupsOfResolvedModule,
+  canWatchFailedLookupsOfTypeReferencedDirective: () => canWatchFailedLookupsOfTypeReferencedDirective,
   cartesianProduct: () => cartesianProduct,
   cast: () => cast,
   chainBundle: () => chainBundle,
@@ -2328,7 +2331,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-insiders.20240402`;
+var version = `${versionMajorMinor}.0-insiders.20240403`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -10926,7 +10929,6 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
-  Default_type_arguments_to_parameter_s_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_s_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter's constraint or 'unknown' instead of 'any' for instance checks."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -20784,12 +20786,6 @@ var computedOptions = createComputedCompilerOptions({
     computeValue: (compilerOptions) => {
       return getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
     }
-  },
-  strictInstanceOfTypeParameters: {
-    dependencies: ["strict"],
-    computeValue: (compilerOptions) => {
-      return getStrictOptionValue(compilerOptions, "strictInstanceOfTypeParameters");
-    }
   }
 });
 var getEmitScriptTarget = computedOptions.target.computeValue;
@@ -38991,16 +38987,6 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Check_for_class_properties_that_are_declared_but_not_set_in_the_constructor,
     defaultValueDescription: Diagnostics.false_unless_strict_is_set
   },
-  {
-    name: "strictInstanceOfTypeParameters",
-    type: "boolean",
-    affectsSemanticDiagnostics: true,
-    affectsBuildInfo: true,
-    strictFlag: true,
-    category: Diagnostics.Type_Checking,
-    description: Diagnostics.Default_type_arguments_to_parameter_s_constraint_or_unknown_instead_of_any_for_instance_checks,
-    defaultValueDescription: false
-  },
   {
     name: "noImplicitThis",
     type: "boolean",
@@ -48284,7 +48270,6 @@ function createTypeChecker(host) {
   var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
   var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
   var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
-  var strictInstanceOfTypeParameters = getStrictOptionValue(compilerOptions, "strictInstanceOfTypeParameters");
   var exactOptionalPropertyTypes = compilerOptions.exactOptionalPropertyTypes;
   var checkBinaryExpression = createCheckBinaryExpression();
   var emitResolver = createResolver();
@@ -53893,68 +53878,7 @@ function createTypeChecker(host) {
         /*skipUnionExpanding*/
         true
       )[0];
-      let cleanup;
-      if (context.enclosingDeclaration && signature.declaration && signature.declaration !== context.enclosingDeclaration && !isInJSFile(signature.declaration) && (some(expandedParams) || some(signature.typeParameters))) {
-        let pushFakeScope2 = function(kind2, addAll) {
-          Debug.assert(context.enclosingDeclaration);
-          let existingFakeScope;
-          if (getNodeLinks(context.enclosingDeclaration).fakeScopeForSignatureDeclaration === kind2) {
-            existingFakeScope = context.enclosingDeclaration;
-          } else if (context.enclosingDeclaration.parent && getNodeLinks(context.enclosingDeclaration.parent).fakeScopeForSignatureDeclaration === kind2) {
-            existingFakeScope = context.enclosingDeclaration.parent;
-          }
-          Debug.assertOptionalNode(existingFakeScope, isBlock);
-          const locals = (existingFakeScope == null ? void 0 : existingFakeScope.locals) ?? createSymbolTable();
-          let newLocals;
-          addAll((name, symbol) => {
-            if (!locals.has(name)) {
-              newLocals = append(newLocals, name);
-              locals.set(name, symbol);
-            }
-          });
-          if (!newLocals)
-            return;
-          const oldCleanup = cleanup;
-          function undo() {
-            forEach(newLocals, (s) => locals.delete(s));
-            oldCleanup == null ? void 0 : oldCleanup();
-          }
-          if (existingFakeScope) {
-            cleanup = undo;
-          } else {
-            const fakeScope = parseNodeFactory.createBlock(emptyArray);
-            getNodeLinks(fakeScope).fakeScopeForSignatureDeclaration = kind2;
-            fakeScope.locals = locals;
-            const saveEnclosingDeclaration = context.enclosingDeclaration;
-            setParent(fakeScope, saveEnclosingDeclaration);
-            context.enclosingDeclaration = fakeScope;
-            cleanup = () => {
-              context.enclosingDeclaration = saveEnclosingDeclaration;
-              undo();
-            };
-          }
-        };
-        var pushFakeScope = pushFakeScope2;
-        pushFakeScope2(
-          "params",
-          (add) => {
-            for (const param of expandedParams) {
-              add(param.escapedName, param);
-            }
-          }
-        );
-        if (context.flags & 4 /* GenerateNamesForShadowedTypeParams */) {
-          pushFakeScope2(
-            "typeParams",
-            (add) => {
-              for (const typeParam of signature.typeParameters ?? emptyArray) {
-                const typeParamName = typeParameterToName(typeParam, context).escapedText;
-                add(typeParamName, typeParam.symbol);
-              }
-            }
-          );
-        }
-      }
+      const cleanup = enterNewScope(context, signature.declaration, expandedParams, signature.typeParameters);
       const parameters = (some(expandedParams, (p) => p !== expandedParams[expandedParams.length - 1] && !!(getCheckFlags(p) & 32768 /* RestParameter */)) ? signature.parameters : expandedParams).map((parameter) => symbolToParameterDeclaration(parameter, context, kind === 176 /* Constructor */));
       const thisParameter = context.flags & 33554432 /* OmitThisParameter */ ? void 0 : tryGetThisParameterDeclaration(signature, context);
       if (thisParameter) {
@@ -54045,6 +53969,111 @@ function createTypeChecker(host) {
       cleanup == null ? void 0 : cleanup();
       return node;
     }
+    function isNewScopeNode(node) {
+      return isFunctionLike(node) || isJSDocSignature(node) || isMappedTypeNode(node);
+    }
+    function getTypeParametersInScope(node) {
+      return isFunctionLike(node) || isJSDocSignature(node) ? getSignatureFromDeclaration(node).typeParameters : isConditionalTypeNode(node) ? getInferTypeParameters(node) : [getDeclaredTypeOfTypeParameter(getSymbolOfDeclaration(node.typeParameter))];
+    }
+    function getParametersInScope(node) {
+      return isFunctionLike(node) || isJSDocSignature(node) ? getExpandedParameters(
+        getSignatureFromDeclaration(node),
+        /*skipUnionExpanding*/
+        true
+      )[0] : void 0;
+    }
+    function enterNewScope(context, declaration, expandedParams, typeParameters) {
+      let cleanup;
+      if (context.enclosingDeclaration && declaration && declaration !== context.enclosingDeclaration && !isInJSFile(declaration) && (some(expandedParams) || some(typeParameters))) {
+        let pushFakeScope2 = function(kind, addAll) {
+          Debug.assert(context.enclosingDeclaration);
+          let existingFakeScope;
+          if (getNodeLinks(context.enclosingDeclaration).fakeScopeForSignatureDeclaration === kind) {
+            existingFakeScope = context.enclosingDeclaration;
+          } else if (context.enclosingDeclaration.parent && getNodeLinks(context.enclosingDeclaration.parent).fakeScopeForSignatureDeclaration === kind) {
+            existingFakeScope = context.enclosingDeclaration.parent;
+          }
+          Debug.assertOptionalNode(existingFakeScope, isBlock);
+          const locals = (existingFakeScope == null ? void 0 : existingFakeScope.locals) ?? createSymbolTable();
+          let newLocals;
+          addAll((name, symbol) => {
+            if (!locals.has(name)) {
+              newLocals = append(newLocals, name);
+              locals.set(name, symbol);
+            }
+          });
+          if (!newLocals)
+            return;
+          const oldCleanup = cleanup;
+          function undo() {
+            forEach(newLocals, (s) => locals.delete(s));
+            oldCleanup == null ? void 0 : oldCleanup();
+          }
+          if (existingFakeScope) {
+            cleanup = undo;
+          } else {
+            const fakeScope = parseNodeFactory.createBlock(emptyArray);
+            getNodeLinks(fakeScope).fakeScopeForSignatureDeclaration = kind;
+            fakeScope.locals = locals;
+            const saveEnclosingDeclaration = context.enclosingDeclaration;
+            setParent(fakeScope, saveEnclosingDeclaration);
+            context.enclosingDeclaration = fakeScope;
+            cleanup = () => {
+              context.enclosingDeclaration = saveEnclosingDeclaration;
+              undo();
+            };
+          }
+        };
+        var pushFakeScope = pushFakeScope2;
+        pushFakeScope2(
+          "params",
+          (add) => {
+            for (const param of expandedParams ?? emptyArray) {
+              if (!forEach(param.declarations, (d) => {
+                if (isParameter(d) && isBindingPattern(d.name)) {
+                  bindPattern(d.name);
+                  return true;
+                }
+                return void 0;
+                function bindPattern(p) {
+                  forEach(p.elements, (e) => {
+                    switch (e.kind) {
+                      case 232 /* OmittedExpression */:
+                        return;
+                      case 208 /* BindingElement */:
+                        return bindElement(e);
+                      default:
+                        return Debug.assertNever(e);
+                    }
+                  });
+                }
+                function bindElement(e) {
+                  if (isBindingPattern(e.name)) {
+                    return bindPattern(e.name);
+                  }
+                  const symbol = getSymbolOfDeclaration(e);
+                  add(symbol.escapedName, symbol);
+                }
+              })) {
+                add(param.escapedName, param);
+              }
+            }
+          }
+        );
+        if (context.flags & 4 /* GenerateNamesForShadowedTypeParams */) {
+          pushFakeScope2(
+            "typeParams",
+            (add) => {
+              for (const typeParam of typeParameters ?? emptyArray) {
+                const typeParamName = typeParameterToName(typeParam, context).escapedText;
+                add(typeParamName, typeParam.symbol);
+              }
+            }
+          );
+        }
+        return cleanup;
+      }
+    }
     function tryGetThisParameterDeclaration(signature, context) {
       if (signature.thisParameter) {
         return symbolToParameterDeclaration(signature.thisParameter, context);
@@ -54663,6 +54692,9 @@ function createTypeChecker(host) {
       if (initial.typeParameterSymbolList) {
         initial.typeParameterSymbolList = new Set(initial.typeParameterSymbolList);
       }
+      if (initial.typeParameterNamesByTextNextNameCount) {
+        initial.typeParameterNamesByTextNextNameCount = new Map(initial.typeParameterNamesByTextNextNameCount);
+      }
       initial.tracker = new SymbolTrackerImpl(initial, initial.tracker.inner, initial.tracker.moduleResolverHost);
       return initial;
     }
@@ -54795,6 +54827,22 @@ function createTypeChecker(host) {
       }
       return transformed === existing ? setTextRange(factory.cloneNode(existing), existing) : transformed;
       function visitExistingNodeTreeSymbols(node) {
+        const onExitNewScope = isNewScopeNode(node) ? onEnterNewScope(node) : void 0;
+        const result = visitExistingNodeTreeSymbolsWorker(node);
+        onExitNewScope == null ? void 0 : onExitNewScope();
+        return result;
+      }
+      function onEnterNewScope(node) {
+        const oldContex = context;
+        context = cloneNodeBuilderContext(context);
+        const cleanup = enterNewScope(context, node, getParametersInScope(node), getTypeParametersInScope(node));
+        return onExitNewScope;
+        function onExitNewScope() {
+          cleanup == null ? void 0 : cleanup();
+          context = oldContex;
+        }
+      }
+      function visitExistingNodeTreeSymbolsWorker(node) {
         if (isJSDocAllType(node) || node.kind === 319 /* JSDocNamepathType */) {
           return factory.createKeywordTypeNode(133 /* AnyKeyword */);
         }
@@ -54945,6 +54993,21 @@ function createTypeChecker(host) {
           setEmitFlags(clone2, flags | (context.flags & 1024 /* MultilineObjectLiterals */ && isTypeLiteralNode(node) ? 0 : 1 /* SingleLine */));
           return clone2;
         }
+        if (isConditionalTypeNode(node)) {
+          const checkType = visitNode(node.checkType, visitExistingNodeTreeSymbols, isTypeNode);
+          const disposeScope = onEnterNewScope(node);
+          const extendType = visitNode(node.extendsType, visitExistingNodeTreeSymbols, isTypeNode);
+          const trueType2 = visitNode(node.trueType, visitExistingNodeTreeSymbols, isTypeNode);
+          disposeScope();
+          const falseType2 = visitNode(node.falseType, visitExistingNodeTreeSymbols, isTypeNode);
+          return factory.updateConditionalTypeNode(
+            node,
+            checkType,
+            extendType,
+            trueType2,
+            falseType2
+          );
+        }
         return visitEachChild(
           node,
           visitExistingNodeTreeSymbols,
@@ -56816,32 +56879,9 @@ function createTypeChecker(host) {
       }
     }).parent;
   }
-  function getInstanceTypeOfClassSymbol(classSymbol) {
-    const classType = getDeclaredTypeOfSymbol(classSymbol);
-    const objectFlags = getObjectFlags(classType);
-    if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
-      return classType;
-    }
-    const variances = getVariances(classType);
-    const isJs = some(classSymbol.declarations, isInJSFile);
-    const inferredTypes = calculateInferredTypeArguments(classType.typeParameters, isJs);
-    const typeArguments = map(inferredTypes, (inferredType, i) => {
-      if (!strictInstanceOfTypeParameters) {
-        return anyType;
-      }
-      const variance = variances[i];
-      switch (variance & 7 /* VarianceMask */) {
-        case 2 /* Contravariant */:
-        case 3 /* Bivariant */:
-          return neverType;
-      }
-      return inferredType || unknownType;
-    });
-    return createTypeReference(classType, typeArguments);
-  }
   function getTypeOfPrototypeProperty(prototype) {
-    const classSymbol = getParentOfSymbol(prototype);
-    return getInstanceTypeOfClassSymbol(classSymbol);
+    const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
+    return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
   }
   function getTypeOfPropertyOfType(type, name) {
     const prop = getPropertyOfType(type, name);
@@ -60542,26 +60582,6 @@ function createTypeChecker(host) {
     }
     return typeArguments && typeArguments.slice();
   }
-  function calculateInferredTypeArguments(typeParameters, isJavaScriptImplicitAny) {
-    const numTypeParameters = length(typeParameters);
-    if (!numTypeParameters) {
-      return [];
-    }
-    const result = [];
-    for (let i = 0; i < numTypeParameters; i++) {
-      result[i] = errorType;
-    }
-    const baseDefaultType = getDefaultTypeArgumentType(isJavaScriptImplicitAny);
-    for (let i = 0; i < numTypeParameters; i++) {
-      let inferredType = getBaseConstraintOfType(typeParameters[i]);
-      if (isJavaScriptImplicitAny && inferredType && (isTypeIdenticalTo(inferredType, unknownType) || isTypeIdenticalTo(inferredType, emptyObjectType))) {
-        inferredType = anyType;
-      }
-      result[i] = inferredType ? instantiateType(inferredType, createTypeMapper(typeParameters, result)) : baseDefaultType;
-    }
-    result.length = typeParameters.length;
-    return result;
-  }
   function getSignatureFromDeclaration(declaration) {
     const links = getNodeLinks(declaration);
     if (!links.resolvedSignature) {
@@ -71871,8 +71891,8 @@ function createTypeChecker(host) {
       if (symbol === void 0) {
         return type;
       }
-      const classSymbol = getParentOfSymbol(symbol);
-      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
+      const classSymbol = symbol.parent;
+      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
       return getNarrowedType(
         type,
         targetType,
@@ -79329,17 +79349,18 @@ function createTypeChecker(host) {
     const antecedent = expr.flowNode || expr.parent.kind === 253 /* ReturnStatement */ && expr.parent.flowNode || { flags: 2 /* Start */ };
     const trueCondition = {
       flags: 32 /* TrueCondition */,
-      node: expr,
-      antecedent
+      antecedent,
+      node: expr
     };
     const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
     if (trueType2 === initType)
       return void 0;
     const falseCondition = {
-      ...trueCondition,
-      flags: 64 /* FalseCondition */
+      flags: 64 /* FalseCondition */,
+      antecedent,
+      node: expr
     };
-    const falseSubtype = getFlowTypeOfReference(param.name, trueType2, trueType2, func, falseCondition);
+    const falseSubtype = getFlowTypeOfReference(param.name, initType, trueType2, func, falseCondition);
     return falseSubtype.flags & 131072 /* Never */ ? trueType2 : void 0;
   }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {
@@ -122202,6 +122223,7 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     forEachResolvedProjectReference: forEachResolvedProjectReference2,
     isSourceOfProjectReferenceRedirect,
     getRedirectReferenceForResolutionFromSourceOfProject,
+    getRedirectReferenceForResolution,
     emitBuildInfo,
     fileExists,
     readFile,
@@ -127158,7 +127180,8 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     getResolutionWithResolvedFileName,
     deferWatchingNonRelativeResolution,
     shouldRetryResolution,
-    logChanges
+    logChanges,
+    canWatchFailedLookups
   }) {
     const path = resolutionHost.toPath(containingFile);
     const resolutionsInFile = perFileCache.get(path) || perFileCache.set(path, createModeAwareCache()).get(path);
@@ -127181,7 +127204,14 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
         }
         resolutionsInFile.set(name, mode, resolution);
         if (resolution !== existingResolution) {
-          watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, path, getResolutionWithResolvedFileName, deferWatchingNonRelativeResolution);
+          watchFailedLookupLocationsOfExternalModuleResolutions(
+            name,
+            resolution,
+            path,
+            getResolutionWithResolvedFileName,
+            deferWatchingNonRelativeResolution,
+            (resolution2) => canWatchFailedLookups(resolution2, (redirectedReference == null ? void 0 : redirectedReference.commandLine.options) || options, containingSourceFile)
+          );
           if (existingResolution) {
             stopWatchFailedLookupLocationOfResolution(existingResolution, path, getResolutionWithResolvedFileName);
           }
@@ -127260,7 +127290,8 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       ),
       getResolutionWithResolvedFileName: getResolvedTypeReferenceDirective,
       shouldRetryResolution: (resolution) => resolution.resolvedTypeReferenceDirective === void 0,
-      deferWatchingNonRelativeResolution: false
+      deferWatchingNonRelativeResolution: false,
+      canWatchFailedLookups: canWatchFailedLookupsOfTypeReferencedDirective
     });
   }
   function resolveModuleNameLiterals(moduleLiterals, containingFile, redirectedReference, options, containingSourceFile, reusedNames) {
@@ -127282,8 +127313,9 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       getResolutionWithResolvedFileName: getResolvedModule,
       shouldRetryResolution: (resolution) => !resolution.resolvedModule || !resolutionExtensionIsTSOrJson(resolution.resolvedModule.extension),
       logChanges: logChangesWhenResolvingModule,
-      deferWatchingNonRelativeResolution: true
+      deferWatchingNonRelativeResolution: true,
       // Defer non relative resolution watch because we could be using ambient modules
+      canWatchFailedLookups: canWatchFailedLookupsOfResolvedModule
     });
   }
   function resolveLibrary2(libraryName, resolveFrom, options, libFileName) {
@@ -127299,7 +127331,8 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
         path,
         getResolvedModule,
         /*deferWatchingNonRelativeResolution*/
-        false
+        false,
+        canWatchFailedLookupsOfResolvedLibrary
       );
       resolvedLibraries.set(libFileName, resolution);
       if (existingResolution) {
@@ -127346,16 +127379,18 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
   function isNodeModulesAtTypesDirectory(dirPath) {
     return endsWith(dirPath, "/node_modules/@types");
   }
-  function watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, filePath, getResolutionWithResolvedFileName, deferWatchingNonRelativeResolution) {
-    var _a;
+  function watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, filePath, getResolutionWithResolvedFileName, deferWatchingNonRelativeResolution, canWatchFailedLookups) {
+    var _a, _b;
     if (resolution.refCount) {
       resolution.refCount++;
       Debug.assertIsDefined(resolution.files);
     } else {
       resolution.refCount = 1;
       Debug.assert(!((_a = resolution.files) == null ? void 0 : _a.size));
+      if (((_b = resolution.failedLookupLocations) == null ? void 0 : _b.length) && canWatchFailedLookups(resolution))
+        resolution.canWatchFailedLookups = true;
       if (!deferWatchingNonRelativeResolution || isExternalModuleNameRelative(name)) {
-        watchFailedLookupLocationOfResolution(resolution);
+        watchFailedLookupLocationAndAffectedLocationsOfResolution(resolution);
       } else {
         nonRelativeExternalModuleResolutions.add(name, resolution);
       }
@@ -127391,15 +127426,16 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     }
     return setAtRoot;
   }
-  function watchFailedLookupLocationOfResolution(resolution) {
+  function watchFailedLookupLocationAndAffectedLocationsOfResolution(resolution) {
     Debug.assert(!!resolution.refCount);
     const { failedLookupLocations, affectingLocations, alternateResult } = resolution;
     if (!(failedLookupLocations == null ? void 0 : failedLookupLocations.length) && !(affectingLocations == null ? void 0 : affectingLocations.length) && !alternateResult)
       return;
-    if ((failedLookupLocations == null ? void 0 : failedLookupLocations.length) || alternateResult)
+    const addToFailedLookup = resolution.canWatchFailedLookups || alternateResult;
+    if (addToFailedLookup)
       resolutionsWithFailedLookups.add(resolution);
     let setAtRoot = false;
-    if (failedLookupLocations) {
+    if (resolution.canWatchFailedLookups) {
       for (const failedLookupLocation of failedLookupLocations) {
         setAtRoot = watchFailedLookupLocation(failedLookupLocation, setAtRoot);
       }
@@ -127414,7 +127450,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
         true
       );
     }
-    watchAffectingLocationsOfResolution(resolution, !(failedLookupLocations == null ? void 0 : failedLookupLocations.length) && !alternateResult);
+    watchAffectingLocationsOfResolution(resolution, !addToFailedLookup);
   }
   function watchAffectingLocationsOfResolution(resolution, addToResolutionsWithOnlyAffectingLocations) {
     Debug.assert(!!resolution.refCount);
@@ -127501,7 +127537,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
   function watchFailedLookupLocationOfNonRelativeModuleResolutions(resolutions, name) {
     const program = resolutionHost.getCurrentProgram();
     if (!program || !program.getTypeChecker().tryFindAmbientModuleWithoutAugmentations(name)) {
-      resolutions.forEach(watchFailedLookupLocationOfResolution);
+      resolutions.forEach(watchFailedLookupLocationAndAffectedLocationsOfResolution);
     } else {
       resolutions.forEach((resolution) => watchAffectingLocationsOfResolution(
         resolution,
@@ -127552,10 +127588,10 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       if ((resolutions == null ? void 0 : resolutions.delete(resolution)) && !resolutions.size)
         resolvedFileToResolution.delete(key);
     }
-    const { failedLookupLocations, affectingLocations, alternateResult } = resolution;
+    const { canWatchFailedLookups, failedLookupLocations, affectingLocations, alternateResult } = resolution;
     if (resolutionsWithFailedLookups.delete(resolution)) {
       let removeAtRoot = false;
-      if (failedLookupLocations) {
+      if (canWatchFailedLookups) {
         for (const failedLookupLocation of failedLookupLocations) {
           removeAtRoot = stopWatchFailedLookupLocation(failedLookupLocation, removeAtRoot, syncDirWatcherRemove);
         }
@@ -127728,7 +127764,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       return true;
     if (!failedLookupChecks && !startsWithPathChecks && !isInDirectoryChecks)
       return false;
-    return ((_a = resolution.failedLookupLocations) == null ? void 0 : _a.some((location) => isInvalidatedFailedLookup(resolutionHost.toPath(location)))) || !!resolution.alternateResult && isInvalidatedFailedLookup(resolutionHost.toPath(resolution.alternateResult));
+    return resolution.canWatchFailedLookups && ((_a = resolution.failedLookupLocations) == null ? void 0 : _a.some((location) => isInvalidatedFailedLookup(resolutionHost.toPath(location)))) || !!resolution.alternateResult && isInvalidatedFailedLookup(resolutionHost.toPath(resolution.alternateResult));
   }
   function isInvalidatedFailedLookup(locationPath) {
     return (failedLookupChecks == null ? void 0 : failedLookupChecks.has(locationPath)) || firstDefinedIterator((startsWithPathChecks == null ? void 0 : startsWithPathChecks.keys()) || [], (fileOrDirectoryPath) => startsWith(locationPath, fileOrDirectoryPath) ? true : void 0) || firstDefinedIterator((isInDirectoryChecks == null ? void 0 : isInDirectoryChecks.keys()) || [], (dirPath) => locationPath.length > dirPath.length && startsWith(locationPath, dirPath) && (isDiskPathRoot(dirPath) || locationPath[dirPath.length] === directorySeparator) ? true : void 0);
@@ -127791,6 +127827,16 @@ function resolutionIsSymlink(resolution) {
   var _a, _b;
   return !!(((_a = resolution.resolvedModule) == null ? void 0 : _a.originalPath) || ((_b = resolution.resolvedTypeReferenceDirective) == null ? void 0 : _b.originalPath));
 }
+function canWatchFailedLookupsOfResolvedModule(resolution, optionsForFile, file) {
+  var _a;
+  return !resolution.resolvedModule || !!resolution.alternateResult || !!((_a = resolution.resolutionDiagnostics) == null ? void 0 : _a.length) || !!getResolutionDiagnostic(optionsForFile, resolution.resolvedModule, file);
+}
+function canWatchFailedLookupsOfTypeReferencedDirective(resolution) {
+  return !resolution.resolvedTypeReferenceDirective;
+}
+function canWatchFailedLookupsOfResolvedLibrary(resolution) {
+  return !resolution.resolvedModule;
+}
 
 // src/compiler/watch.ts
 var sysFormatDiagnosticsHost = sys ? {
@@ -173628,7 +173674,8 @@ var SmartIndenter;
         return childKind !== 290 /* JsxClosingFragment */;
       case 193 /* IntersectionType */:
       case 192 /* UnionType */:
-        if (childKind === 187 /* TypeLiteral */ || childKind === 189 /* TupleType */) {
+      case 238 /* SatisfiesExpression */:
+        if (childKind === 187 /* TypeLiteral */ || childKind === 189 /* TupleType */ || childKind === 200 /* MappedType */) {
           return false;
         }
         break;
@@ -173895,6 +173942,9 @@ __export(ts_exports2, {
   canWatchAffectingLocation: () => canWatchAffectingLocation,
   canWatchAtTypes: () => canWatchAtTypes,
   canWatchDirectoryOrFile: () => canWatchDirectoryOrFile,
+  canWatchFailedLookupsOfResolvedLibrary: () => canWatchFailedLookupsOfResolvedLibrary,
+  canWatchFailedLookupsOfResolvedModule: () => canWatchFailedLookupsOfResolvedModule,
+  canWatchFailedLookupsOfTypeReferencedDirective: () => canWatchFailedLookupsOfTypeReferencedDirective,
   cartesianProduct: () => cartesianProduct,
   cast: () => cast,
   chainBundle: () => chainBundle,
@@ -188111,6 +188161,9 @@ if (typeof console !== "undefined") {
   canWatchAffectingLocation,
   canWatchAtTypes,
   canWatchDirectoryOrFile,
+  canWatchFailedLookupsOfResolvedLibrary,
+  canWatchFailedLookupsOfResolvedModule,
+  canWatchFailedLookupsOfTypeReferencedDirective,
   cartesianProduct,
   cast,
   chainBundle,

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.5.0-pr-58028-14",
+  "version": "5.5.0-pr-58065-2",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -64,7 +64,6 @@
     "eslint-formatter-autolinkable-stylish": "^1.3.0",
     "eslint-plugin-local": "^4.2.1",
     "eslint-plugin-no-null": "^1.0.2",
-    "eslint-plugin-simple-import-sort": "^12.0.0",
     "fast-xml-parser": "^4.3.6",
     "glob": "^10.3.10",
     "hereby": "^1.8.9",
@@ -113,5 +112,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "18a32ebe1c08d425594b9cfc48d276a1b555dcb7"
+  "gitHead": "4015c51a64510d78a1e92effb162fca3c8464e7c"
 }