Merge remote-tracking branch 'origin/main' into fix/regression-signature-instantiation-with-default-type-arg

Author: Andarist

.dprint.jsonc

@@ -59,8 +59,8 @@
     // Note: if adding new languages, make sure settings.template.json is updated too.
     // Also, if updating typescript, update the one in package.json.
     "plugins": [
-        "https://plugins.dprint.dev/typescript-0.91.4.wasm",
+        "https://plugins.dprint.dev/typescript-0.91.6.wasm",
         "https://plugins.dprint.dev/json-0.19.3.wasm",
-        "https://plugins.dprint.dev/prettier-0.40.0.json@68c668863ec834d4be0f6f5ccaab415df75336a992aceb7eeeb14fdf096a9e9c"
+        "https://plugins.dprint.dev/prettier-0.46.1.json@e5bd083088a8dfc6e5ce2d3c9bee81489b065bd5345ef55b59f5d96627928b7a"
     ]
 }

package-lock.json

@@ -40,46 +40,46 @@
     ],
     "devDependencies": {
         "@dprint/formatter": "^0.4.1",
-        "@dprint/typescript": "0.91.4",
+        "@dprint/typescript": "0.91.6",
         "@esfx/canceltoken": "^1.0.0",
         "@eslint/js": "^8.57.0",
         "@octokit/rest": "^21.0.1",
-        "@types/chai": "^4.3.16",
+        "@types/chai": "^4.3.17",
         "@types/diff": "^5.2.1",
         "@types/minimist": "^1.2.5",
         "@types/mocha": "^10.0.7",
         "@types/ms": "^0.7.34",
         "@types/node": "latest",
         "@types/source-map-support": "^0.5.10",
         "@types/which": "^3.0.4",
-        "@typescript-eslint/utils": "^7.17.0",
+        "@typescript-eslint/utils": "^7.18.0",
         "azure-devops-node-api": "^14.0.1",
         "c8": "^10.1.2",
-        "chai": "^4.4.1",
+        "chai": "^4.5.0",
         "chalk": "^4.1.2",
         "chokidar": "^3.6.0",
         "diff": "^5.2.0",
         "dprint": "^0.47.2",
         "esbuild": "^0.23.0",
         "eslint": "^8.57.0",
         "eslint-formatter-autolinkable-stylish": "^1.3.0",
-        "fast-xml-parser": "^4.4.0",
+        "fast-xml-parser": "^4.4.1",
         "glob": "^10.4.5",
-        "globals": "^13.24.0",
+        "globals": "^15.9.0",
         "hereby": "^1.9.0",
         "jsonc-parser": "^3.3.1",
-        "knip": "^5.26.0",
+        "knip": "^5.27.0",
         "minimist": "^1.2.8",
         "mocha": "^10.7.0",
         "mocha-fivemat-progress-reporter": "^0.1.0",
-        "monocart-coverage-reports": "^2.9.3",
+        "monocart-coverage-reports": "^2.10.0",
         "ms": "^2.1.3",
         "node-fetch": "^3.3.2",
         "playwright": "^1.45.3",
         "source-map-support": "^0.5.21",
         "tslib": "^2.6.3",
         "typescript": "^5.5.4",
-        "typescript-eslint": "^7.17.0",
+        "typescript-eslint": "^7.18.0",
         "which": "^3.0.1"
     },
     "overrides": {

package.json

@@ -6553,6 +6553,8 @@ export function createNodeFactory(flags: NodeFactoryFlags, baseFactory: BaseNode
                 return updateSatisfiesExpression(outerExpression, expression, outerExpression.type);
             case SyntaxKind.NonNullExpression:
                 return updateNonNullExpression(outerExpression, expression);
+            case SyntaxKind.ExpressionWithTypeArguments:
+                return updateExpressionWithTypeArguments(outerExpression, expression, outerExpression.typeArguments);
             case SyntaxKind.PartiallyEmittedExpression:
                 return updatePartiallyEmittedExpression(outerExpression, expression);
         }

src/compiler/checker.ts

@@ -630,9 +630,10 @@ export function isOuterExpression(node: Node, kinds = OuterExpressionKinds.All):
             return (kinds & OuterExpressionKinds.Parentheses) !== 0;
         case SyntaxKind.TypeAssertionExpression:
         case SyntaxKind.AsExpression:
-        case SyntaxKind.ExpressionWithTypeArguments:
         case SyntaxKind.SatisfiesExpression:
             return (kinds & OuterExpressionKinds.TypeAssertions) !== 0;
+        case SyntaxKind.ExpressionWithTypeArguments:
+            return (kinds & OuterExpressionKinds.ExpressionsWithTypeArguments) !== 0;
         case SyntaxKind.NonNullExpression:
             return (kinds & OuterExpressionKinds.NonNullAssertions) !== 0;
         case SyntaxKind.PartiallyEmittedExpression:

src/compiler/factory/nodeFactory.ts

@@ -1689,7 +1689,7 @@ export function transformTypeScript(context: TransformationContext) {
     }
 
     function visitParenthesizedExpression(node: ParenthesizedExpression): Expression {
-        const innerExpression = skipOuterExpressions(node.expression, ~OuterExpressionKinds.Assertions);
+        const innerExpression = skipOuterExpressions(node.expression, ~(OuterExpressionKinds.Assertions | OuterExpressionKinds.ExpressionsWithTypeArguments));
         if (isAssertionExpression(innerExpression) || isSatisfiesExpression(innerExpression)) {
             // Make sure we consider all nested cast expressions, e.g.:
             // (<any><number><any>-A).x;

src/compiler/factory/utilities.ts

@@ -8476,11 +8476,12 @@ export const enum OuterExpressionKinds {
     TypeAssertions = 1 << 1,
     NonNullAssertions = 1 << 2,
     PartiallyEmittedExpressions = 1 << 3,
+    ExpressionsWithTypeArguments = 1 << 4,
 
     Assertions = TypeAssertions | NonNullAssertions,
-    All = Parentheses | Assertions | PartiallyEmittedExpressions,
+    All = Parentheses | Assertions | PartiallyEmittedExpressions | ExpressionsWithTypeArguments,
 
-    ExcludeJSDocTypeAssertion = 1 << 4,
+    ExcludeJSDocTypeAssertion = 1 << 31,
 }
 
 /** @internal */
@@ -8490,6 +8491,7 @@ export type OuterExpression =
     | SatisfiesExpression
     | AsExpression
     | NonNullExpression
+    | ExpressionWithTypeArguments
     | PartiallyEmittedExpression;
 
 /** @internal */

src/compiler/transformers/ts.ts

@@ -2,14 +2,22 @@
 /// Window Async Iterable APIs
 /////////////////////////////
 
+interface FileSystemDirectoryHandleAsyncIterator<T> extends AsyncIteratorObject<T, BuiltinIteratorReturn, unknown> {
+    [Symbol.asyncIterator](): FileSystemDirectoryHandleAsyncIterator<T>;
+}
+
 interface FileSystemDirectoryHandle {
-    [Symbol.asyncIterator](): BuiltinAsyncIterator<[string, FileSystemHandle], BuiltinIteratorReturn>;
-    entries(): BuiltinAsyncIterator<[string, FileSystemHandle], BuiltinIteratorReturn>;
-    keys(): BuiltinAsyncIterator<string, BuiltinIteratorReturn>;
-    values(): BuiltinAsyncIterator<FileSystemHandle, BuiltinIteratorReturn>;
+    [Symbol.asyncIterator](): FileSystemDirectoryHandleAsyncIterator<[string, FileSystemHandle]>;
+    entries(): FileSystemDirectoryHandleAsyncIterator<[string, FileSystemHandle]>;
+    keys(): FileSystemDirectoryHandleAsyncIterator<string>;
+    values(): FileSystemDirectoryHandleAsyncIterator<FileSystemHandle>;
+}
+
+interface ReadableStreamAsyncIterator<T> extends AsyncIteratorObject<T, BuiltinIteratorReturn, unknown> {
+    [Symbol.asyncIterator](): ReadableStreamAsyncIterator<T>;
 }
 
 interface ReadableStream<R = any> {
-    [Symbol.asyncIterator](options?: ReadableStreamIteratorOptions): BuiltinAsyncIterator<R, BuiltinIteratorReturn>;
-    values(options?: ReadableStreamIteratorOptions): BuiltinAsyncIterator<R, BuiltinIteratorReturn>;
+    [Symbol.asyncIterator](options?: ReadableStreamIteratorOptions): ReadableStreamAsyncIterator<R>;
+    values(options?: ReadableStreamIteratorOptions): ReadableStreamAsyncIterator<R>;
 }

src/compiler/types.ts

@@ -1,30 +1,34 @@
 /// <reference lib="dom" />
 
 interface DOMTokenList {
-    [Symbol.iterator](): BuiltinIterator<string, BuiltinIteratorReturn>;
+    [Symbol.iterator](): ArrayIterator<string>;
+}
+
+interface HeadersIterator<T> extends IteratorObject<T, BuiltinIteratorReturn, unknown> {
+    [Symbol.iterator](): HeadersIterator<T>;
 }
 
 interface Headers {
-    [Symbol.iterator](): BuiltinIterator<[string, string], BuiltinIteratorReturn>;
+    [Symbol.iterator](): HeadersIterator<[string, string]>;
     /**
      * Returns an iterator allowing to go through all key/value pairs contained in this object.
      */
-    entries(): BuiltinIterator<[string, string], BuiltinIteratorReturn>;
+    entries(): HeadersIterator<[string, string]>;
     /**
      * Returns an iterator allowing to go through all keys f the key/value pairs contained in this object.
      */
-    keys(): BuiltinIterator<string, BuiltinIteratorReturn>;
+    keys(): HeadersIterator<string>;
     /**
      * Returns an iterator allowing to go through all values of the key/value pairs contained in this object.
      */
-    values(): BuiltinIterator<string, BuiltinIteratorReturn>;
+    values(): HeadersIterator<string>;
 }
 
 interface NodeList {
     /**
      * Returns an array of key, value pairs for every entry in the list
      */
-    entries(): BuiltinIterator<[number, Node], BuiltinIteratorReturn>;
+    entries(): ArrayIterator<[number, Node]>;
     /**
      * Performs the specified action for each node in an list.
      * @param callbackfn  A function that accepts up to three arguments. forEach calls the callbackfn function one time for each element in the list.
@@ -34,21 +38,21 @@ interface NodeList {
     /**
      * Returns an list of keys in the list
      */
-    keys(): BuiltinIterator<number, BuiltinIteratorReturn>;
+    keys(): ArrayIterator<number>;
 
     /**
      * Returns an list of values in the list
      */
-    values(): BuiltinIterator<Node, BuiltinIteratorReturn>;
+    values(): ArrayIterator<Node>;
 
-    [Symbol.iterator](): BuiltinIterator<Node, BuiltinIteratorReturn>;
+    [Symbol.iterator](): ArrayIterator<Node>;
 }
 
 interface NodeListOf<TNode extends Node> {
     /**
      * Returns an array of key, value pairs for every entry in the list
      */
-    entries(): BuiltinIterator<[number, TNode], BuiltinIteratorReturn>;
+    entries(): ArrayIterator<[number, TNode]>;
 
     /**
      * Performs the specified action for each node in an list.
@@ -59,55 +63,63 @@ interface NodeListOf<TNode extends Node> {
     /**
      * Returns an list of keys in the list
      */
-    keys(): BuiltinIterator<number, BuiltinIteratorReturn>;
+    keys(): ArrayIterator<number>;
     /**
      * Returns an list of values in the list
      */
-    values(): BuiltinIterator<TNode, BuiltinIteratorReturn>;
+    values(): ArrayIterator<TNode>;
 
-    [Symbol.iterator](): BuiltinIterator<TNode, BuiltinIteratorReturn>;
+    [Symbol.iterator](): ArrayIterator<TNode>;
 }
 
 interface HTMLCollectionBase {
-    [Symbol.iterator](): BuiltinIterator<Element, BuiltinIteratorReturn>;
+    [Symbol.iterator](): ArrayIterator<Element>;
 }
 
 interface HTMLCollectionOf<T extends Element> {
-    [Symbol.iterator](): BuiltinIterator<T, BuiltinIteratorReturn>;
+    [Symbol.iterator](): ArrayIterator<T>;
+}
+
+interface FormDataIterator<T> extends IteratorObject<T, BuiltinIteratorReturn, unknown> {
+    [Symbol.iterator](): FormDataIterator<T>;
 }
 
 interface FormData {
     /**
      * Returns an array of key, value pairs for every entry in the list
      */
-    entries(): BuiltinIterator<[string, string | File], BuiltinIteratorReturn>;
+    entries(): FormDataIterator<[string, string | File]>;
     /**
      * Returns a list of keys in the list
      */
-    keys(): BuiltinIterator<string, BuiltinIteratorReturn>;
+    keys(): FormDataIterator<string>;
     /**
      * Returns a list of values in the list
      */
-    values(): BuiltinIterator<string | File, BuiltinIteratorReturn>;
+    values(): FormDataIterator<string | File>;
+
+    [Symbol.iterator](): FormDataIterator<string | File>;
+}
 
-    [Symbol.iterator](): BuiltinIterator<string | File, BuiltinIteratorReturn>;
+interface URLSearchParamsIterator<T> extends IteratorObject<T, BuiltinIteratorReturn, unknown> {
+    [Symbol.iterator](): URLSearchParamsIterator<T>;
 }
 
 interface URLSearchParams {
     /**
      * Returns an array of key, value pairs for every entry in the search params
      */
-    entries(): BuiltinIterator<[string, string], BuiltinIteratorReturn>;
+    entries(): URLSearchParamsIterator<[string, string]>;
     /**
      * Returns a list of keys in the search params
      */
-    keys(): BuiltinIterator<string, BuiltinIteratorReturn>;
+    keys(): URLSearchParamsIterator<string>;
     /**
      * Returns a list of values in the search params
      */
-    values(): BuiltinIterator<string, BuiltinIteratorReturn>;
+    values(): URLSearchParamsIterator<string>;
     /**
      * iterate over key/value pairs
      */
-    [Symbol.iterator](): BuiltinIterator<[string, string], BuiltinIteratorReturn>;
+    [Symbol.iterator](): URLSearchParamsIterator<[string, string]>;
 }