typescript 5.9.0-dev.20250630 → 5.9.0-dev.20250702

package/lib/_tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.9";
-var version = `${versionMajorMinor}.0-dev.20250630`;
+var version = `${versionMajorMinor}.0-dev.20250702`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6686,7 +6686,7 @@ var Diagnostics = {
   Cannot_invoke_an_object_which_is_possibly_undefined: diag(2722, 1 /* Error */, "Cannot_invoke_an_object_which_is_possibly_undefined_2722", "Cannot invoke an object which is possibly 'undefined'."),
   Cannot_invoke_an_object_which_is_possibly_null_or_undefined: diag(2723, 1 /* Error */, "Cannot_invoke_an_object_which_is_possibly_null_or_undefined_2723", "Cannot invoke an object which is possibly 'null' or 'undefined'."),
   _0_has_no_exported_member_named_1_Did_you_mean_2: diag(2724, 1 /* Error */, "_0_has_no_exported_member_named_1_Did_you_mean_2_2724", "'{0}' has no exported member named '{1}'. Did you mean '{2}'?"),
-  Class_name_cannot_be_Object_when_targeting_ES5_with_module_0: diag(2725, 1 /* Error */, "Class_name_cannot_be_Object_when_targeting_ES5_with_module_0_2725", "Class name cannot be 'Object' when targeting ES5 with module {0}."),
+  Class_name_cannot_be_Object_when_targeting_ES5_and_above_with_module_0: diag(2725, 1 /* Error */, "Class_name_cannot_be_Object_when_targeting_ES5_and_above_with_module_0_2725", "Class name cannot be 'Object' when targeting ES5 and above with module {0}."),
   Cannot_find_lib_definition_for_0: diag(2726, 1 /* Error */, "Cannot_find_lib_definition_for_0_2726", "Cannot find lib definition for '{0}'."),
   Cannot_find_lib_definition_for_0_Did_you_mean_1: diag(2727, 1 /* Error */, "Cannot_find_lib_definition_for_0_Did_you_mean_1_2727", "Cannot find lib definition for '{0}'. Did you mean '{1}'?"),
   _0_is_declared_here: diag(2728, 3 /* Message */, "_0_is_declared_here_2728", "'{0}' is declared here."),
@@ -16081,7 +16081,7 @@ function getOperatorPrecedence(nodeKind, operatorKind, hasArguments) {
 function getBinaryOperatorPrecedence(kind) {
   switch (kind) {
     case 61 /* QuestionQuestionToken */:
-      return 4 /* Coalesce */;
+      return 5 /* Coalesce */;
     case 57 /* BarBarToken */:
       return 5 /* LogicalOR */;
     case 56 /* AmpersandAmpersandToken */:
@@ -18334,7 +18334,7 @@ function isNodeModulesOrScopedPackageDirectory(s, getCanonicalFileName) {
 var reservedCharacterPattern = /[^\w\s/]/g;
 var wildcardCharCodes = [42 /* asterisk */, 63 /* question */];
 var commonPackageFolders = ["node_modules", "bower_components", "jspm_packages"];
-var implicitExcludePathRegexPattern = `(?!(${commonPackageFolders.join("|")})(/|$))`;
+var implicitExcludePathRegexPattern = `(?!(?:${commonPackageFolders.join("|")})(?:/|$))`;
 var filesMatcher = {
   /**
    * Matches any single directory segment unless it is the last segment and a .min.js file
@@ -18342,12 +18342,12 @@ var filesMatcher = {
    *  [^./]                   # matches everything up to the first . character (excluding directory separators)
    *  (\\.(?!min\\.js$))?     # matches . characters but not if they are part of the .min.js file extension
    */
-  singleAsteriskRegexFragment: "([^./]|(\\.(?!min\\.js$))?)*",
+  singleAsteriskRegexFragment: "(?:[^./]|(?:\\.(?!min\\.js$))?)*",
   /**
    * Regex for the ** wildcard. Matches any number of subdirectories. When used for including
    * files or directories, does not match subdirectories that start with a . character
    */
-  doubleAsteriskRegexFragment: `(/${implicitExcludePathRegexPattern}[^/.][^/]*)*?`,
+  doubleAsteriskRegexFragment: `(?:/${implicitExcludePathRegexPattern}[^/.][^/]*)*?`,
   replaceWildcardCharacter: (match) => replaceWildcardCharacter(match, filesMatcher.singleAsteriskRegexFragment)
 };
 var directoriesMatcher = {
@@ -18356,12 +18356,12 @@ var directoriesMatcher = {
    * Regex for the ** wildcard. Matches any number of subdirectories. When used for including
    * files or directories, does not match subdirectories that start with a . character
    */
-  doubleAsteriskRegexFragment: `(/${implicitExcludePathRegexPattern}[^/.][^/]*)*?`,
+  doubleAsteriskRegexFragment: `(?:/${implicitExcludePathRegexPattern}[^/.][^/]*)*?`,
   replaceWildcardCharacter: (match) => replaceWildcardCharacter(match, directoriesMatcher.singleAsteriskRegexFragment)
 };
 var excludeMatcher = {
   singleAsteriskRegexFragment: "[^/]*",
-  doubleAsteriskRegexFragment: "(/.+?)?",
+  doubleAsteriskRegexFragment: "(?:/.+?)?",
   replaceWildcardCharacter: (match) => replaceWildcardCharacter(match, excludeMatcher.singleAsteriskRegexFragment)
 };
 var wildcardMatchers = {
@@ -18374,9 +18374,9 @@ function getRegularExpressionForWildcard(specs, basePath, usage) {
   if (!patterns || !patterns.length) {
     return void 0;
   }
-  const pattern = patterns.map((pattern2) => `(${pattern2})`).join("|");
-  const terminator = usage === "exclude" ? "($|/)" : "$";
-  return `^(${pattern})${terminator}`;
+  const pattern = patterns.map((pattern2) => `(?:${pattern2})`).join("|");
+  const terminator = usage === "exclude" ? "(?:$|/)" : "$";
+  return `^(?:${pattern})${terminator}`;
 }
 function getRegularExpressionsForWildcards(specs, basePath, usage) {
   if (specs === void 0 || specs.length === 0) {
@@ -18389,7 +18389,7 @@ function isImplicitGlob(lastPathComponent) {
 }
 function getPatternFromSpec(spec, basePath, usage) {
   const pattern = spec && getSubPatternFromSpec(spec, basePath, usage, wildcardMatchers[usage]);
-  return pattern && `^(${pattern})${usage === "exclude" ? "($|/)" : "$"}`;
+  return pattern && `^(?:${pattern})${usage === "exclude" ? "(?:$|/)" : "$"}`;
 }
 function getSubPatternFromSpec(spec, basePath, usage, { singleAsteriskRegexFragment, doubleAsteriskRegexFragment, replaceWildcardCharacter: replaceWildcardCharacter2 } = wildcardMatchers[usage]) {
   let subpattern = "";
@@ -18409,7 +18409,7 @@ function getSubPatternFromSpec(spec, basePath, usage, { singleAsteriskRegexFragm
       subpattern += doubleAsteriskRegexFragment;
     } else {
       if (usage === "directories") {
-        subpattern += "(";
+        subpattern += "(?:";
         optionalCount++;
       }
       if (hasWrittenComponent) {
@@ -18418,7 +18418,7 @@ function getSubPatternFromSpec(spec, basePath, usage, { singleAsteriskRegexFragm
       if (usage !== "exclude") {
         let componentPattern = "";
         if (component.charCodeAt(0) === 42 /* asterisk */) {
-          componentPattern += "([^./]" + singleAsteriskRegexFragment + ")?";
+          componentPattern += "(?:[^./]" + singleAsteriskRegexFragment + ")?";
           component = component.substr(1);
         } else if (component.charCodeAt(0) === 63 /* question */) {
           componentPattern += "[^./]";
@@ -31976,10 +31976,13 @@ var Parser;
     if (token() !== 27 /* SemicolonToken */ && token() !== 100 /* FunctionKeyword */ && token() !== 86 /* ClassKeyword */ && isStartOfStatement() && !isStartOfExpressionStatement()) {
       return parseFunctionBlock(16 /* IgnoreMissingOpenBrace */ | (isAsync ? 2 /* Await */ : 0 /* None */));
     }
+    const savedYieldContext = inYieldContext();
+    setYieldContext(false);
     const savedTopLevel = topLevel;
     topLevel = false;
     const node = isAsync ? doInAwaitContext(() => parseAssignmentExpressionOrHigher(allowReturnTypeInArrowFunction)) : doOutsideOfAwaitContext(() => parseAssignmentExpressionOrHigher(allowReturnTypeInArrowFunction));
     topLevel = savedTopLevel;
+    setYieldContext(savedYieldContext);
     return node;
   }
   function parseConditionalExpressionRest(leftOperand, pos, allowReturnTypeInArrowFunction) {
@@ -47224,6 +47227,7 @@ function createTypeChecker(host) {
     }
   };
   var anyIterationTypes = createIterationTypes(anyType, anyType, anyType);
+  var silentNeverIterationTypes = createIterationTypes(silentNeverType, silentNeverType, silentNeverType);
   var asyncIterationTypesResolver = {
     iterableCacheKey: "iterationTypesOfAsyncIterable",
     iteratorCacheKey: "iterationTypesOfAsyncIterator",
@@ -50437,7 +50441,14 @@ function createTypeChecker(host) {
           if (symbol.flags & 2097152 /* Alias */ && isInJSFile(declaration) && ((_a = declaration.parent) == null ? void 0 : _a.parent) && isVariableDeclaration(declaration.parent.parent) && ((_b = declaration.parent.parent.parent) == null ? void 0 : _b.parent) && isVariableStatement(declaration.parent.parent.parent.parent) && !hasSyntacticModifier(declaration.parent.parent.parent.parent, 32 /* Export */) && declaration.parent.parent.parent.parent.parent && isDeclarationVisible(declaration.parent.parent.parent.parent.parent)) {
             return addVisibleAlias(declaration, declaration.parent.parent.parent.parent);
           } else if (symbol.flags & 2 /* BlockScopedVariable */) {
-            const variableStatement = findAncestor(declaration, isVariableStatement);
+            const rootDeclaration = walkUpBindingElementsAndPatterns(declaration);
+            if (rootDeclaration.kind === 170 /* Parameter */) {
+              return false;
+            }
+            const variableStatement = rootDeclaration.parent.parent;
+            if (variableStatement.kind !== 244 /* VariableStatement */) {
+              return false;
+            }
             if (hasSyntacticModifier(variableStatement, 32 /* Export */)) {
               return true;
             }
@@ -52131,27 +52142,77 @@ function createTypeChecker(host) {
       context.approximateLength += symbolName(propertySymbol).length + 1;
       if (propertySymbol.flags & 98304 /* Accessor */) {
         const writeType = getWriteTypeOfSymbol(propertySymbol);
-        if (propertyType !== writeType && !isErrorType(propertyType) && !isErrorType(writeType)) {
+        if (!isErrorType(propertyType) && !isErrorType(writeType)) {
           const symbolMapper = getSymbolLinks(propertySymbol).mapper;
-          const getterDeclaration = getDeclarationOfKind(propertySymbol, 178 /* GetAccessor */);
-          const getterSignature = getSignatureFromDeclaration(getterDeclaration);
-          typeElements.push(
-            setCommentRange2(
-              context,
-              signatureToSignatureDeclarationHelper(symbolMapper ? instantiateSignature(getterSignature, symbolMapper) : getterSignature, 178 /* GetAccessor */, context, { name: propertyName }),
-              getterDeclaration
-            )
-          );
-          const setterDeclaration = getDeclarationOfKind(propertySymbol, 179 /* SetAccessor */);
-          const setterSignature = getSignatureFromDeclaration(setterDeclaration);
-          typeElements.push(
-            setCommentRange2(
-              context,
-              signatureToSignatureDeclarationHelper(symbolMapper ? instantiateSignature(setterSignature, symbolMapper) : setterSignature, 179 /* SetAccessor */, context, { name: propertyName }),
-              setterDeclaration
-            )
-          );
-          return;
+          const propDeclaration = getDeclarationOfKind(propertySymbol, 173 /* PropertyDeclaration */);
+          if (propertyType !== writeType || propertySymbol.parent.flags & 32 /* Class */ && !propDeclaration) {
+            const getterDeclaration = getDeclarationOfKind(propertySymbol, 178 /* GetAccessor */);
+            if (getterDeclaration) {
+              const getterSignature = getSignatureFromDeclaration(getterDeclaration);
+              typeElements.push(
+                setCommentRange2(
+                  context,
+                  signatureToSignatureDeclarationHelper(symbolMapper ? instantiateSignature(getterSignature, symbolMapper) : getterSignature, 178 /* GetAccessor */, context, { name: propertyName }),
+                  getterDeclaration
+                )
+              );
+            }
+            const setterDeclaration = getDeclarationOfKind(propertySymbol, 179 /* SetAccessor */);
+            if (setterDeclaration) {
+              const setterSignature = getSignatureFromDeclaration(setterDeclaration);
+              typeElements.push(
+                setCommentRange2(
+                  context,
+                  signatureToSignatureDeclarationHelper(symbolMapper ? instantiateSignature(setterSignature, symbolMapper) : setterSignature, 179 /* SetAccessor */, context, { name: propertyName }),
+                  setterDeclaration
+                )
+              );
+            }
+            return;
+          }
+          if (propertySymbol.parent.flags & 32 /* Class */ && propDeclaration && find(propDeclaration.modifiers, isAccessorModifier)) {
+            const fakeGetterSignature = createSignature(
+              /*declaration*/
+              void 0,
+              /*typeParameters*/
+              void 0,
+              /*thisParameter*/
+              void 0,
+              emptyArray,
+              propertyType,
+              /*resolvedTypePredicate*/
+              void 0,
+              0,
+              0 /* None */
+            );
+            typeElements.push(
+              setCommentRange2(
+                context,
+                signatureToSignatureDeclarationHelper(fakeGetterSignature, 178 /* GetAccessor */, context, { name: propertyName }),
+                propDeclaration
+              )
+            );
+            const setterParam = createSymbol(1 /* FunctionScopedVariable */, "arg");
+            setterParam.links.type = writeType;
+            const fakeSetterSignature = createSignature(
+              /*declaration*/
+              void 0,
+              /*typeParameters*/
+              void 0,
+              /*thisParameter*/
+              void 0,
+              [setterParam],
+              voidType,
+              /*resolvedTypePredicate*/
+              void 0,
+              0,
+              0 /* None */
+            );
+            typeElements.push(
+              signatureToSignatureDeclarationHelper(fakeSetterSignature, 179 /* SetAccessor */, context, { name: propertyName })
+            );
+            return;
+          }
         }
       }
       const optionalToken = propertySymbol.flags & 16777216 /* Optional */ ? factory.createToken(58 /* QuestionToken */) : void 0;
@@ -56742,11 +56803,14 @@ function createTypeChecker(host) {
   }
   function getWriteTypeOfSymbol(symbol) {
     const checkFlags = getCheckFlags(symbol);
-    if (symbol.flags & 4 /* Property */) {
-      return checkFlags & 2 /* SyntheticProperty */ ? checkFlags & 65536 /* DeferredType */ ? getWriteTypeOfSymbolWithDeferredType(symbol) || getTypeOfSymbolWithDeferredType(symbol) : (
+    if (checkFlags & 2 /* SyntheticProperty */) {
+      return checkFlags & 65536 /* DeferredType */ ? getWriteTypeOfSymbolWithDeferredType(symbol) || getTypeOfSymbolWithDeferredType(symbol) : (
         // NOTE: cast to TransientSymbol should be safe because only TransientSymbols can have CheckFlags.SyntheticProperty
         symbol.links.writeType || symbol.links.type
-      ) : removeMissingType(getTypeOfSymbol(symbol), !!(symbol.flags & 16777216 /* Optional */));
+      );
+    }
+    if (symbol.flags & 4 /* Property */) {
+      return removeMissingType(getTypeOfSymbol(symbol), !!(symbol.flags & 16777216 /* Optional */));
     }
     if (symbol.flags & 98304 /* Accessor */) {
       return checkFlags & 1 /* Instantiated */ ? getWriteTypeOfInstantiatedSymbol(symbol) : getWriteTypeOfAccessors(symbol);
@@ -58902,6 +58966,7 @@ function createTypeChecker(host) {
   }
   function createUnionOrIntersectionProperty(containingType, name, skipObjectFunctionPropertyAugment) {
     var _a, _b, _c;
+    let propFlags = 0 /* None */;
     let singleProp;
     let propSet;
     let indexTypes;
@@ -58926,6 +58991,7 @@ function createTypeChecker(host) {
           }
           if (!singleProp) {
             singleProp = prop;
+            propFlags = prop.flags & 98304 /* Accessor */ || 4 /* Property */;
           } else if (prop !== singleProp) {
             const isInstantiation = (getTargetSymbol(prop) || prop) === (getTargetSymbol(singleProp) || singleProp);
             if (isInstantiation && compareProperties(singleProp, prop, (a, b) => a === b ? -1 /* True */ : 0 /* False */) === -1 /* True */) {
@@ -58940,6 +59006,9 @@ function createTypeChecker(host) {
                 propSet.set(id, prop);
               }
             }
+            if (propFlags & 98304 /* Accessor */ && (prop.flags & 98304 /* Accessor */) !== (propFlags & 98304 /* Accessor */)) {
+              propFlags = propFlags & ~98304 /* Accessor */ | 4 /* Property */;
+            }
           }
           if (isUnion && isReadonlySymbol(prop)) {
             checkFlags |= 8 /* Readonly */;
@@ -58953,6 +59022,7 @@ function createTypeChecker(host) {
         } else if (isUnion) {
           const indexInfo = !isLateBoundName(name) && getApplicableIndexInfoForName(type, name);
           if (indexInfo) {
+            propFlags = propFlags & ~98304 /* Accessor */ | 4 /* Property */;
             checkFlags |= 32 /* WritePartial */ | (indexInfo.isReadonly ? 8 /* Readonly */ : 0);
             indexTypes = append(indexTypes, isTupleType(type) ? getRestTypeOfTupleType(type) || undefinedType : indexInfo.type);
           } else if (isObjectLiteralType(type) && !(getObjectFlags(type) & 2097152 /* ContainsSpread */)) {
@@ -59016,7 +59086,7 @@ function createTypeChecker(host) {
       propTypes.push(type);
     }
     addRange(propTypes, indexTypes);
-    const result = createSymbol(4 /* Property */ | (optionalFlag ?? 0), name, syntheticFlag | checkFlags);
+    const result = createSymbol(propFlags | (optionalFlag ?? 0), name, syntheticFlag | checkFlags);
     result.links.containingType = containingType;
     if (!hasNonUniformValueDeclaration && firstValueDeclaration) {
       result.valueDeclaration = firstValueDeclaration;
@@ -78649,6 +78719,9 @@ function createTypeChecker(host) {
     return { yieldTypes, nextTypes };
   }
   function getYieldedTypeOfYieldExpression(node, expressionType, sentType, isAsync) {
+    if (expressionType === silentNeverType) {
+      return silentNeverType;
+    }
     const errorNode = node.expression || node;
     const yieldedType = node.asteriskToken ? checkIteratedTypeOrElementType(isAsync ? 19 /* AsyncYieldStar */ : 17 /* YieldStar */, expressionType, sentType, errorNode) : expressionType;
     return !isAsync ? yieldedType : getAwaitedType(
@@ -79682,17 +79755,27 @@ function createTypeChecker(host) {
     }
   }
   function checkNullishCoalesceOperands(node) {
-    const { left, operatorToken, right } = node;
-    if (operatorToken.kind === 61 /* QuestionQuestionToken */) {
-      if (isBinaryExpression(left) && (left.operatorToken.kind === 57 /* BarBarToken */ || left.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
-        grammarErrorOnNode(left, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(left.operatorToken.kind), tokenToString(operatorToken.kind));
+    if (node.operatorToken.kind !== 61 /* QuestionQuestionToken */) {
+      return;
+    }
+    if (isBinaryExpression(node.parent)) {
+      const { left, operatorToken } = node.parent;
+      if (isBinaryExpression(left) && operatorToken.kind === 57 /* BarBarToken */) {
+        grammarErrorOnNode(left, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(61 /* QuestionQuestionToken */), tokenToString(operatorToken.kind));
       }
-      if (isBinaryExpression(right) && (right.operatorToken.kind === 57 /* BarBarToken */ || right.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
-        grammarErrorOnNode(right, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(right.operatorToken.kind), tokenToString(operatorToken.kind));
+    } else if (isBinaryExpression(node.left)) {
+      const { operatorToken } = node.left;
+      if (operatorToken.kind === 57 /* BarBarToken */ || operatorToken.kind === 56 /* AmpersandAmpersandToken */) {
+        grammarErrorOnNode(node.left, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(operatorToken.kind), tokenToString(61 /* QuestionQuestionToken */));
+      }
+    } else if (isBinaryExpression(node.right)) {
+      const { operatorToken } = node.right;
+      if (operatorToken.kind === 56 /* AmpersandAmpersandToken */) {
+        grammarErrorOnNode(node.right, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(61 /* QuestionQuestionToken */), tokenToString(operatorToken.kind));
       }
-      checkNullishCoalesceOperandLeft(node);
-      checkNullishCoalesceOperandRight(node);
     }
+    checkNullishCoalesceOperandLeft(node);
+    checkNullishCoalesceOperandRight(node);
   }
   function checkNullishCoalesceOperandLeft(node) {
     const leftTarget = skipOuterExpressions(node.left, 63 /* All */);
@@ -83731,6 +83814,9 @@ function createTypeChecker(host) {
   }
   function getIterationTypesOfIterable(type, use, errorNode) {
     var _a, _b;
+    if (type === silentNeverType) {
+      return silentNeverIterationTypes;
+    }
     if (isTypeAny(type)) {
       return anyIterationTypes;
     }
@@ -84456,7 +84542,7 @@ function createTypeChecker(host) {
   }
   function checkClassNameCollisionWithObject(name) {
     if (languageVersion >= 1 /* ES5 */ && name.escapedText === "Object" && host.getEmitModuleFormatOfFile(getSourceFileOfNode(name)) < 5 /* ES2015 */) {
-      error(name, Diagnostics.Class_name_cannot_be_Object_when_targeting_ES5_with_module_0, ModuleKind[moduleKind]);
+      error(name, Diagnostics.Class_name_cannot_be_Object_when_targeting_ES5_and_above_with_module_0, ModuleKind[moduleKind]);
     }
   }
   function checkUnmatchedJSDocParameters(node) {
@@ -128529,7 +128615,7 @@ function getMatchedIncludeSpec(program, fileName) {
   const index = findIndex((_b = configFile == null ? void 0 : configFile.configFileSpecs) == null ? void 0 : _b.validatedIncludeSpecs, (includeSpec) => {
     if (isJsonFile && !endsWith(includeSpec, ".json" /* Json */)) return false;
     const pattern = getPatternFromSpec(includeSpec, basePath, "files");
-    return !!pattern && getRegexFromPattern(`(${pattern})$`, useCaseSensitiveFileNames2).test(fileName);
+    return !!pattern && getRegexFromPattern(`(?:${pattern})$`, useCaseSensitiveFileNames2).test(fileName);
   });
   return index !== -1 ? configFile.configFileSpecs.validatedIncludeSpecsBeforeSubstitution[index] : void 0;
 }
@@ -133464,7 +133550,8 @@ function createSyntacticTypeNodeBuilder(options, resolver) {
   function ensureParameter(p, context) {
     return factory.updateParameterDeclaration(
       p,
-      [],
+      /*modifiers*/
+      void 0,
       reuseNode(context, p.dotDotDotToken),
       resolver.serializeNameOfParameter(context, p),
       resolver.isOptionalParameter(p) ? factory.createToken(58 /* QuestionToken */) : void 0,