typescript 5.9.0-dev.20250502 → 5.9.0-dev.20250504

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.20250502`;
+var version = `${versionMajorMinor}.0-dev.20250504`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6770,7 +6770,7 @@ var Diagnostics = {
   Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom: diag(2812, 1 /* Error */, "Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom_2812", "Property '{0}' does not exist on type '{1}'. Try changing the 'lib' compiler option to include 'dom'."),
   Class_declaration_cannot_implement_overload_list_for_0: diag(2813, 1 /* Error */, "Class_declaration_cannot_implement_overload_list_for_0_2813", "Class declaration cannot implement overload list for '{0}'."),
   Function_with_bodies_can_only_merge_with_classes_that_are_ambient: diag(2814, 1 /* Error */, "Function_with_bodies_can_only_merge_with_classes_that_are_ambient_2814", "Function with bodies can only merge with classes that are ambient."),
-  arguments_cannot_be_referenced_in_property_initializers: diag(2815, 1 /* Error */, "arguments_cannot_be_referenced_in_property_initializers_2815", "'arguments' cannot be referenced in property initializers."),
+  arguments_cannot_be_referenced_in_property_initializers_or_class_static_initialization_blocks: diag(2815, 1 /* Error */, "arguments_cannot_be_referenced_in_property_initializers_or_class_static_initialization_blocks_2815", "'arguments' cannot be referenced in property initializers or class static initialization blocks."),
   Cannot_use_this_in_a_static_property_initializer_of_a_decorated_class: diag(2816, 1 /* Error */, "Cannot_use_this_in_a_static_property_initializer_of_a_decorated_class_2816", "Cannot use 'this' in a static property initializer of a decorated class."),
   Property_0_has_no_initializer_and_is_not_definitely_assigned_in_a_class_static_block: diag(2817, 1 /* Error */, "Property_0_has_no_initializer_and_is_not_definitely_assigned_in_a_class_static_block_2817", "Property '{0}' has no initializer and is not definitely assigned in a class static block."),
   Duplicate_identifier_0_Compiler_reserves_name_1_when_emitting_super_references_in_static_initializers: diag(2818, 1 /* Error */, "Duplicate_identifier_0_Compiler_reserves_name_1_when_emitting_super_references_in_static_initializer_2818", "Duplicate identifier '{0}'. Compiler reserves name '{1}' when emitting 'super' references in static initializers."),
@@ -47788,12 +47788,15 @@ function createTypeChecker(host) {
       return isForInOrOfStatement(grandparent) && isSameScopeDescendentOf(usage2, grandparent.expression, declContainer);
     }
     function isUsedInFunctionOrInstanceProperty(usage2, declaration2) {
+      return isUsedInFunctionOrInstancePropertyWorker(usage2, declaration2);
+    }
+    function isUsedInFunctionOrInstancePropertyWorker(usage2, declaration2) {
       return !!findAncestor(usage2, (current) => {
         if (current === declContainer) {
           return "quit";
         }
         if (isFunctionLike(current)) {
-          return true;
+          return !getImmediatelyInvokedFunctionExpression(current);
         }
         if (isClassStaticBlockDeclaration(current)) {
           return declaration2.pos < usage2.pos;
@@ -47824,6 +47827,15 @@ function createTypeChecker(host) {
             }
           }
         }
+        const decorator = tryCast(current.parent, isDecorator);
+        if (decorator && decorator.expression === current) {
+          if (isParameter(decorator.parent)) {
+            return isUsedInFunctionOrInstancePropertyWorker(decorator.parent.parent.parent, declaration2) ? true : "quit";
+          }
+          if (isMethodDeclaration(decorator.parent)) {
+            return isUsedInFunctionOrInstancePropertyWorker(decorator.parent.parent, declaration2) ? true : "quit";
+          }
+        }
         return false;
       });
     }
@@ -71602,8 +71614,12 @@ function createTypeChecker(host) {
   function checkIdentifierCalculateNodeCheckFlags(node, symbol) {
     if (isThisInTypeQuery(node)) return;
     if (symbol === argumentsSymbol) {
-      if (isInPropertyInitializerOrClassStaticBlock(node)) {
-        error(node, Diagnostics.arguments_cannot_be_referenced_in_property_initializers);
+      if (isInPropertyInitializerOrClassStaticBlock(
+        node,
+        /*ignoreArrowFunctions*/
+        true
+      )) {
+        error(node, Diagnostics.arguments_cannot_be_referenced_in_property_initializers_or_class_static_initialization_blocks);
         return;
       }
       let container = getContainingFunction(node);
@@ -74883,31 +74899,21 @@ function createTypeChecker(host) {
       addRelatedInfo(diagnosticMessage, createDiagnosticForNode(valueDeclaration, Diagnostics._0_is_declared_here, declarationName));
     }
   }
-  function isInPropertyInitializerOrClassStaticBlock(node) {
+  function isInPropertyInitializerOrClassStaticBlock(node, ignoreArrowFunctions) {
     return !!findAncestor(node, (node2) => {
       switch (node2.kind) {
         case 172 /* PropertyDeclaration */:
+        case 175 /* ClassStaticBlockDeclaration */:
           return true;
-        case 303 /* PropertyAssignment */:
-        case 174 /* MethodDeclaration */:
-        case 177 /* GetAccessor */:
-        case 178 /* SetAccessor */:
-        case 305 /* SpreadAssignment */:
-        case 167 /* ComputedPropertyName */:
-        case 239 /* TemplateSpan */:
-        case 294 /* JsxExpression */:
-        case 291 /* JsxAttribute */:
-        case 292 /* JsxAttributes */:
-        case 293 /* JsxSpreadAttribute */:
-        case 286 /* JsxOpeningElement */:
-        case 233 /* ExpressionWithTypeArguments */:
-        case 298 /* HeritageClause */:
-          return false;
+        case 186 /* TypeQuery */:
+        case 287 /* JsxClosingElement */:
+          return "quit";
         case 219 /* ArrowFunction */:
-        case 244 /* ExpressionStatement */:
-          return isBlock(node2.parent) && isClassStaticBlockDeclaration(node2.parent.parent) ? true : "quit";
+          return ignoreArrowFunctions ? false : "quit";
+        case 241 /* Block */:
+          return isFunctionLikeDeclaration(node2.parent) && node2.parent.kind !== 219 /* ArrowFunction */ ? "quit" : false;
         default:
-          return isExpressionNode(node2) ? false : "quit";
+          return false;
       }
     });
   }

package/lib/lib.es5.d.ts

@@ -1158,6 +1158,7 @@ interface JSON {
      * @param text A valid JSON string.
      * @param reviver A function that transforms the results. This function is called for each member of the object.
      * If a member contains nested objects, the nested objects are transformed before the parent object is.
+     * @throws {SyntaxError} If `text` is not valid JSON.
      */
     parse(text: string, reviver?: (this: any, key: string, value: any) => any): any;
     /**
@@ -1165,6 +1166,7 @@ interface JSON {
      * @param value A JavaScript value, usually an object or array, to be converted.
      * @param replacer A function that transforms the results.
      * @param space Adds indentation, white space, and line break characters to the return-value JSON text to make it easier to read.
+     * @throws {TypeError} If a circular reference or a BigInt value is found.
      */
     stringify(value: any, replacer?: (this: any, key: string, value: any) => any, space?: string | number): string;
     /**
@@ -1172,6 +1174,7 @@ interface JSON {
      * @param value A JavaScript value, usually an object or array, to be converted.
      * @param replacer An array of strings and numbers that acts as an approved list for selecting the object properties that will be stringified.
      * @param space Adds indentation, white space, and line break characters to the return-value JSON text to make it easier to read.
+     * @throws {TypeError} If a circular reference or a BigInt value is found.
      */
     stringify(value: any, replacer?: (number | string)[] | null, space?: string | number): string;
 }

package/lib/typescript.js

@@ -2285,7 +2285,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.9";
-var version = `${versionMajorMinor}.0-dev.20250502`;
+var version = `${versionMajorMinor}.0-dev.20250504`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -10156,7 +10156,7 @@ var Diagnostics = {
   Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom: diag(2812, 1 /* Error */, "Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom_2812", "Property '{0}' does not exist on type '{1}'. Try changing the 'lib' compiler option to include 'dom'."),
   Class_declaration_cannot_implement_overload_list_for_0: diag(2813, 1 /* Error */, "Class_declaration_cannot_implement_overload_list_for_0_2813", "Class declaration cannot implement overload list for '{0}'."),
   Function_with_bodies_can_only_merge_with_classes_that_are_ambient: diag(2814, 1 /* Error */, "Function_with_bodies_can_only_merge_with_classes_that_are_ambient_2814", "Function with bodies can only merge with classes that are ambient."),
-  arguments_cannot_be_referenced_in_property_initializers: diag(2815, 1 /* Error */, "arguments_cannot_be_referenced_in_property_initializers_2815", "'arguments' cannot be referenced in property initializers."),
+  arguments_cannot_be_referenced_in_property_initializers_or_class_static_initialization_blocks: diag(2815, 1 /* Error */, "arguments_cannot_be_referenced_in_property_initializers_or_class_static_initialization_blocks_2815", "'arguments' cannot be referenced in property initializers or class static initialization blocks."),
   Cannot_use_this_in_a_static_property_initializer_of_a_decorated_class: diag(2816, 1 /* Error */, "Cannot_use_this_in_a_static_property_initializer_of_a_decorated_class_2816", "Cannot use 'this' in a static property initializer of a decorated class."),
   Property_0_has_no_initializer_and_is_not_definitely_assigned_in_a_class_static_block: diag(2817, 1 /* Error */, "Property_0_has_no_initializer_and_is_not_definitely_assigned_in_a_class_static_block_2817", "Property '{0}' has no initializer and is not definitely assigned in a class static block."),
   Duplicate_identifier_0_Compiler_reserves_name_1_when_emitting_super_references_in_static_initializers: diag(2818, 1 /* Error */, "Duplicate_identifier_0_Compiler_reserves_name_1_when_emitting_super_references_in_static_initializer_2818", "Duplicate identifier '{0}'. Compiler reserves name '{1}' when emitting 'super' references in static initializers."),
@@ -52398,12 +52398,15 @@ function createTypeChecker(host) {
       return isForInOrOfStatement(grandparent) && isSameScopeDescendentOf(usage2, grandparent.expression, declContainer);
     }
     function isUsedInFunctionOrInstanceProperty(usage2, declaration2) {
+      return isUsedInFunctionOrInstancePropertyWorker(usage2, declaration2);
+    }
+    function isUsedInFunctionOrInstancePropertyWorker(usage2, declaration2) {
       return !!findAncestor(usage2, (current) => {
         if (current === declContainer) {
           return "quit";
         }
         if (isFunctionLike(current)) {
-          return true;
+          return !getImmediatelyInvokedFunctionExpression(current);
         }
         if (isClassStaticBlockDeclaration(current)) {
           return declaration2.pos < usage2.pos;
@@ -52434,6 +52437,15 @@ function createTypeChecker(host) {
             }
           }
         }
+        const decorator = tryCast(current.parent, isDecorator);
+        if (decorator && decorator.expression === current) {
+          if (isParameter(decorator.parent)) {
+            return isUsedInFunctionOrInstancePropertyWorker(decorator.parent.parent.parent, declaration2) ? true : "quit";
+          }
+          if (isMethodDeclaration(decorator.parent)) {
+            return isUsedInFunctionOrInstancePropertyWorker(decorator.parent.parent, declaration2) ? true : "quit";
+          }
+        }
         return false;
       });
     }
@@ -76212,8 +76224,12 @@ function createTypeChecker(host) {
   function checkIdentifierCalculateNodeCheckFlags(node, symbol) {
     if (isThisInTypeQuery(node)) return;
     if (symbol === argumentsSymbol) {
-      if (isInPropertyInitializerOrClassStaticBlock(node)) {
-        error2(node, Diagnostics.arguments_cannot_be_referenced_in_property_initializers);
+      if (isInPropertyInitializerOrClassStaticBlock(
+        node,
+        /*ignoreArrowFunctions*/
+        true
+      )) {
+        error2(node, Diagnostics.arguments_cannot_be_referenced_in_property_initializers_or_class_static_initialization_blocks);
         return;
       }
       let container = getContainingFunction(node);
@@ -79493,31 +79509,21 @@ function createTypeChecker(host) {
       addRelatedInfo(diagnosticMessage, createDiagnosticForNode(valueDeclaration, Diagnostics._0_is_declared_here, declarationName));
     }
   }
-  function isInPropertyInitializerOrClassStaticBlock(node) {
+  function isInPropertyInitializerOrClassStaticBlock(node, ignoreArrowFunctions) {
     return !!findAncestor(node, (node2) => {
       switch (node2.kind) {
         case 172 /* PropertyDeclaration */:
+        case 175 /* ClassStaticBlockDeclaration */:
           return true;
-        case 303 /* PropertyAssignment */:
-        case 174 /* MethodDeclaration */:
-        case 177 /* GetAccessor */:
-        case 178 /* SetAccessor */:
-        case 305 /* SpreadAssignment */:
-        case 167 /* ComputedPropertyName */:
-        case 239 /* TemplateSpan */:
-        case 294 /* JsxExpression */:
-        case 291 /* JsxAttribute */:
-        case 292 /* JsxAttributes */:
-        case 293 /* JsxSpreadAttribute */:
-        case 286 /* JsxOpeningElement */:
-        case 233 /* ExpressionWithTypeArguments */:
-        case 298 /* HeritageClause */:
-          return false;
+        case 186 /* TypeQuery */:
+        case 287 /* JsxClosingElement */:
+          return "quit";
         case 219 /* ArrowFunction */:
-        case 244 /* ExpressionStatement */:
-          return isBlock(node2.parent) && isClassStaticBlockDeclaration(node2.parent.parent) ? true : "quit";
+          return ignoreArrowFunctions ? false : "quit";
+        case 241 /* Block */:
+          return isFunctionLikeDeclaration(node2.parent) && node2.parent.kind !== 219 /* ArrowFunction */ ? "quit" : false;
         default:
-          return isExpressionNode(node2) ? false : "quit";
+          return false;
       }
     });
   }

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.9.0-dev.20250502",
+    "version": "5.9.0-dev.20250504",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -116,5 +116,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "11e79327598db412a161616849041487673fadab"
+    "gitHead": "d88d3a46810bfae0b072beb023a2b09b8026b82c"
 }