@typescript-deploys/pr-build 5.2.0-pr-49218-24 → 5.2.0-pr-54891-7

package/lib/tsc.js

@@ -6118,6 +6118,7 @@ var Diagnostics = {
   The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration: diag(1493, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration_1493", "The left-hand side of a 'for...in' statement cannot be a 'using' declaration."),
   The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration: diag(1494, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration_1494", "The left-hand side of a 'for...in' statement cannot be an 'await using' declaration."),
   _0_modifier_cannot_appear_on_an_await_using_declaration: diag(1495, 1 /* Error */, "_0_modifier_cannot_appear_on_an_await_using_declaration_1495", "'{0}' modifier cannot appear on an 'await using' declaration."),
+  Unexpected_token_Did_you_mean_0: diag(1496, 1 /* Error */, "Unexpected_token_Did_you_mean_0_1496", "Unexpected token. Did you mean '{0}'?"),
   The_types_of_0_are_incompatible_between_these_types: diag(2200, 1 /* Error */, "The_types_of_0_are_incompatible_between_these_types_2200", "The types of '{0}' are incompatible between these types."),
   The_types_returned_by_0_are_incompatible_between_these_types: diag(2201, 1 /* Error */, "The_types_returned_by_0_are_incompatible_between_these_types_2201", "The types returned by '{0}' are incompatible between these types."),
   Call_signature_return_types_0_and_1_are_incompatible: diag(
@@ -9155,6 +9156,10 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
         case 33 /* exclamation */:
           if (text.charCodeAt(pos + 1) === 61 /* equals */) {
             if (text.charCodeAt(pos + 2) === 61 /* equals */) {
+              if (text.charCodeAt(pos + 3) === 61 /* equals */) {
+                error(Diagnostics.Unexpected_token_Did_you_mean_0, pos, 4, "!==");
+                return pos += 4, token = 38 /* ExclamationEqualsEqualsToken */;
+              }
               return pos += 3, token = 38 /* ExclamationEqualsEqualsToken */;
             }
             return pos += 2, token = 36 /* ExclamationEqualsToken */;
@@ -59467,37 +59472,7 @@ function createTypeChecker(host) {
     const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
     for (let i = 0; i < paramCount; i++) {
       const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-      let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
-      if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
-        targetType = mapType(targetType, (t) => {
-          if (!isTupleType(t) || // When both sides are tuples of the same structure, we don't want to "propagate" types from elements of variable positions
-          // to the following positions as that would disallow signatures of the exact same structures when trailing fixed elements are involved:
-          //
-          // let fn: (...rest: [...string[], number]) => void = (...rest: [...string[], number]) => {}; // ok
-          //
-          // Since we want to allow contextual types to flow into paremeters, we don't need to differentiate between rest and variadic elements
-          // as that doesn't affect the contextual type of the parameter
-          isTupleTypeStructureMatching(sourceType, t, 2 /* MatchVariable */)) {
-            return t;
-          }
-          const elementTypes = [];
-          const elementFlags = [];
-          const sourceArity = getTypeReferenceArity(sourceType);
-          const targetArity = getTypeReferenceArity(t);
-          for (let i2 = 0; i2 < sourceArity; i2++) {
-            if (i2 >= targetArity) {
-              if (sourceType.target.elementFlags[i2] & 3 /* Fixed */) {
-                elementTypes.push(undefinedType);
-                elementFlags.push(sourceType.target.elementFlags[i2]);
-              }
-              continue;
-            }
-            elementTypes.push(getTupleElementType(t, i2));
-            elementFlags.push(sourceType.target.elementFlags[i2]);
-          }
-          return createTupleType(elementTypes, elementFlags);
-        });
-      }
+      const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
       if (sourceType && targetType) {
         const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
         const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -62680,11 +62655,8 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
-  function isTupleTypeStructureMatching(t1, t2, tupleStructureComparisonKind) {
-    return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f1, i) => {
-      const f2 = t2.target.elementFlags[i];
-      return f1 === f2 || !!(tupleStructureComparisonKind & 1 /* MatchFixed */ && f1 & 3 /* Fixed */ && f2 & 3 /* Fixed */) || !!(tupleStructureComparisonKind & 2 /* MatchVariable */ && f1 & 12 /* Variable */ && f2 & 12 /* Variable */);
-    });
+  function isTupleTypeStructureMatching(t1, t2) {
+    return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f, i) => (f & 12 /* Variable */) === (t2.target.elementFlags[i] & 12 /* Variable */));
   }
   function isZeroBigInt({ value }) {
     return value.base10Value === "0";
@@ -63880,7 +63852,7 @@ function createTypeChecker(host) {
             const targetArity = getTypeReferenceArity(target);
             const elementTypes = getTypeArguments(target);
             const elementFlags = target.target.elementFlags;
-            if (isTupleType(source) && isTupleTypeStructureMatching(source, target, 1 /* MatchFixed */)) {
+            if (isTupleType(source) && isTupleTypeStructureMatching(source, target)) {
               for (let i = 0; i < targetArity; i++) {
                 inferFromTypes(getTypeArguments(source)[i], elementTypes[i]);
               }
@@ -118453,6 +118425,9 @@ function parseConfigHostFromCompilerHostLike(host, directoryStructureHost = host
       return directoryStructureHost.readDirectory(root, extensions, excludes, includes, depth);
     },
     readFile: (f) => directoryStructureHost.readFile(f),
+    directoryExists: maybeBind(directoryStructureHost, directoryStructureHost.directoryExists),
+    getDirectories: maybeBind(directoryStructureHost, directoryStructureHost.getDirectories),
+    realpath: maybeBind(directoryStructureHost, directoryStructureHost.realpath),
     useCaseSensitiveFileNames: host.useCaseSensitiveFileNames(),
     getCurrentDirectory: () => host.getCurrentDirectory(),
     onUnRecoverableConfigFileDiagnostic: host.onUnRecoverableConfigFileDiagnostic || returnUndefined,

package/lib/tsserver.js

@@ -9639,6 +9639,7 @@ var Diagnostics = {
   The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration: diag(1493, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration_1493", "The left-hand side of a 'for...in' statement cannot be a 'using' declaration."),
   The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration: diag(1494, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration_1494", "The left-hand side of a 'for...in' statement cannot be an 'await using' declaration."),
   _0_modifier_cannot_appear_on_an_await_using_declaration: diag(1495, 1 /* Error */, "_0_modifier_cannot_appear_on_an_await_using_declaration_1495", "'{0}' modifier cannot appear on an 'await using' declaration."),
+  Unexpected_token_Did_you_mean_0: diag(1496, 1 /* Error */, "Unexpected_token_Did_you_mean_0_1496", "Unexpected token. Did you mean '{0}'?"),
   The_types_of_0_are_incompatible_between_these_types: diag(2200, 1 /* Error */, "The_types_of_0_are_incompatible_between_these_types_2200", "The types of '{0}' are incompatible between these types."),
   The_types_returned_by_0_are_incompatible_between_these_types: diag(2201, 1 /* Error */, "The_types_returned_by_0_are_incompatible_between_these_types_2201", "The types returned by '{0}' are incompatible between these types."),
   Call_signature_return_types_0_and_1_are_incompatible: diag(
@@ -12697,6 +12698,10 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
         case 33 /* exclamation */:
           if (text.charCodeAt(pos + 1) === 61 /* equals */) {
             if (text.charCodeAt(pos + 2) === 61 /* equals */) {
+              if (text.charCodeAt(pos + 3) === 61 /* equals */) {
+                error2(Diagnostics.Unexpected_token_Did_you_mean_0, pos, 4, "!==");
+                return pos += 4, token = 38 /* ExclamationEqualsEqualsToken */;
+              }
               return pos += 3, token = 38 /* ExclamationEqualsEqualsToken */;
             }
             return pos += 2, token = 36 /* ExclamationEqualsToken */;
@@ -64174,37 +64179,7 @@ function createTypeChecker(host) {
     const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
     for (let i = 0; i < paramCount; i++) {
       const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-      let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
-      if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
-        targetType = mapType(targetType, (t) => {
-          if (!isTupleType(t) || // When both sides are tuples of the same structure, we don't want to "propagate" types from elements of variable positions
-          // to the following positions as that would disallow signatures of the exact same structures when trailing fixed elements are involved:
-          //
-          // let fn: (...rest: [...string[], number]) => void = (...rest: [...string[], number]) => {}; // ok
-          //
-          // Since we want to allow contextual types to flow into paremeters, we don't need to differentiate between rest and variadic elements
-          // as that doesn't affect the contextual type of the parameter
-          isTupleTypeStructureMatching(sourceType, t, 2 /* MatchVariable */)) {
-            return t;
-          }
-          const elementTypes = [];
-          const elementFlags = [];
-          const sourceArity = getTypeReferenceArity(sourceType);
-          const targetArity = getTypeReferenceArity(t);
-          for (let i2 = 0; i2 < sourceArity; i2++) {
-            if (i2 >= targetArity) {
-              if (sourceType.target.elementFlags[i2] & 3 /* Fixed */) {
-                elementTypes.push(undefinedType);
-                elementFlags.push(sourceType.target.elementFlags[i2]);
-              }
-              continue;
-            }
-            elementTypes.push(getTupleElementType(t, i2));
-            elementFlags.push(sourceType.target.elementFlags[i2]);
-          }
-          return createTupleType(elementTypes, elementFlags);
-        });
-      }
+      const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
       if (sourceType && targetType) {
         const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
         const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -67387,11 +67362,8 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
-  function isTupleTypeStructureMatching(t1, t2, tupleStructureComparisonKind) {
-    return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f1, i) => {
-      const f2 = t2.target.elementFlags[i];
-      return f1 === f2 || !!(tupleStructureComparisonKind & 1 /* MatchFixed */ && f1 & 3 /* Fixed */ && f2 & 3 /* Fixed */) || !!(tupleStructureComparisonKind & 2 /* MatchVariable */ && f1 & 12 /* Variable */ && f2 & 12 /* Variable */);
-    });
+  function isTupleTypeStructureMatching(t1, t2) {
+    return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f, i) => (f & 12 /* Variable */) === (t2.target.elementFlags[i] & 12 /* Variable */));
   }
   function isZeroBigInt({ value }) {
     return value.base10Value === "0";
@@ -68587,7 +68559,7 @@ function createTypeChecker(host) {
             const targetArity = getTypeReferenceArity(target);
             const elementTypes = getTypeArguments(target);
             const elementFlags = target.target.elementFlags;
-            if (isTupleType(source) && isTupleTypeStructureMatching(source, target, 1 /* MatchFixed */)) {
+            if (isTupleType(source) && isTupleTypeStructureMatching(source, target)) {
               for (let i = 0; i < targetArity; i++) {
                 inferFromTypes(getTypeArguments(source)[i], elementTypes[i]);
               }
@@ -123396,6 +123368,9 @@ function parseConfigHostFromCompilerHostLike(host, directoryStructureHost = host
       return directoryStructureHost.readDirectory(root, extensions, excludes, includes, depth);
     },
     readFile: (f) => directoryStructureHost.readFile(f),
+    directoryExists: maybeBind(directoryStructureHost, directoryStructureHost.directoryExists),
+    getDirectories: maybeBind(directoryStructureHost, directoryStructureHost.getDirectories),
+    realpath: maybeBind(directoryStructureHost, directoryStructureHost.realpath),
     useCaseSensitiveFileNames: host.useCaseSensitiveFileNames(),
     getCurrentDirectory: () => host.getCurrentDirectory(),
     onUnRecoverableConfigFileDiagnostic: host.onUnRecoverableConfigFileDiagnostic || returnUndefined,
@@ -143778,6 +143753,9 @@ function createLanguageService(host, documentRegistry = createDocumentRegistry(h
       useCaseSensitiveFileNames: useCaseSensitiveFileNames2,
       fileExists: (fileName) => compilerHost.fileExists(fileName),
       readFile: (fileName) => compilerHost.readFile(fileName),
+      directoryExists: (f) => compilerHost.directoryExists(f),
+      getDirectories: (f) => compilerHost.getDirectories(f),
+      realpath: compilerHost.realpath,
       readDirectory: (...args) => compilerHost.readDirectory(...args),
       trace: compilerHost.trace,
       getCurrentDirectory: compilerHost.getCurrentDirectory,

package/lib/tsserverlibrary.d.ts

@@ -6274,7 +6274,7 @@ declare namespace ts {
         getSourceFileByPath(path: Path): SourceFile | undefined;
         getCurrentDirectory(): string;
     }
-    interface ParseConfigHost {
+    interface ParseConfigHost extends ModuleResolutionHost {
         useCaseSensitiveFileNames: boolean;
         readDirectory(rootDir: string, extensions: readonly string[], excludes: readonly string[] | undefined, includes: readonly string[], depth?: number): readonly string[];
         /**

package/lib/tsserverlibrary.js

@@ -7422,6 +7422,7 @@ ${lanes.join("\n")}
         The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration: diag(1493, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration_1493", "The left-hand side of a 'for...in' statement cannot be a 'using' declaration."),
         The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration: diag(1494, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration_1494", "The left-hand side of a 'for...in' statement cannot be an 'await using' declaration."),
         _0_modifier_cannot_appear_on_an_await_using_declaration: diag(1495, 1 /* Error */, "_0_modifier_cannot_appear_on_an_await_using_declaration_1495", "'{0}' modifier cannot appear on an 'await using' declaration."),
+        Unexpected_token_Did_you_mean_0: diag(1496, 1 /* Error */, "Unexpected_token_Did_you_mean_0_1496", "Unexpected token. Did you mean '{0}'?"),
         The_types_of_0_are_incompatible_between_these_types: diag(2200, 1 /* Error */, "The_types_of_0_are_incompatible_between_these_types_2200", "The types of '{0}' are incompatible between these types."),
         The_types_returned_by_0_are_incompatible_between_these_types: diag(2201, 1 /* Error */, "The_types_returned_by_0_are_incompatible_between_these_types_2201", "The types returned by '{0}' are incompatible between these types."),
         Call_signature_return_types_0_and_1_are_incompatible: diag(
@@ -10321,6 +10322,10 @@ ${lanes.join("\n")}
           case 33 /* exclamation */:
             if (text.charCodeAt(pos + 1) === 61 /* equals */) {
               if (text.charCodeAt(pos + 2) === 61 /* equals */) {
+                if (text.charCodeAt(pos + 3) === 61 /* equals */) {
+                  error2(Diagnostics.Unexpected_token_Did_you_mean_0, pos, 4, "!==");
+                  return pos += 4, token = 38 /* ExclamationEqualsEqualsToken */;
+                }
                 return pos += 3, token = 38 /* ExclamationEqualsEqualsToken */;
               }
               return pos += 2, token = 36 /* ExclamationEqualsToken */;
@@ -61941,37 +61946,7 @@ ${lanes.join("\n")}
       const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
       for (let i = 0; i < paramCount; i++) {
         const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-        let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
-        if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
-          targetType = mapType(targetType, (t) => {
-            if (!isTupleType(t) || // When both sides are tuples of the same structure, we don't want to "propagate" types from elements of variable positions
-            // to the following positions as that would disallow signatures of the exact same structures when trailing fixed elements are involved:
-            //
-            // let fn: (...rest: [...string[], number]) => void = (...rest: [...string[], number]) => {}; // ok
-            //
-            // Since we want to allow contextual types to flow into paremeters, we don't need to differentiate between rest and variadic elements
-            // as that doesn't affect the contextual type of the parameter
-            isTupleTypeStructureMatching(sourceType, t, 2 /* MatchVariable */)) {
-              return t;
-            }
-            const elementTypes = [];
-            const elementFlags = [];
-            const sourceArity = getTypeReferenceArity(sourceType);
-            const targetArity = getTypeReferenceArity(t);
-            for (let i2 = 0; i2 < sourceArity; i2++) {
-              if (i2 >= targetArity) {
-                if (sourceType.target.elementFlags[i2] & 3 /* Fixed */) {
-                  elementTypes.push(undefinedType);
-                  elementFlags.push(sourceType.target.elementFlags[i2]);
-                }
-                continue;
-              }
-              elementTypes.push(getTupleElementType(t, i2));
-              elementFlags.push(sourceType.target.elementFlags[i2]);
-            }
-            return createTupleType(elementTypes, elementFlags);
-          });
-        }
+        const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
         if (sourceType && targetType) {
           const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
           const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -65154,11 +65129,8 @@ ${lanes.join("\n")}
       }
       return void 0;
     }
-    function isTupleTypeStructureMatching(t1, t2, tupleStructureComparisonKind) {
-      return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f1, i) => {
-        const f2 = t2.target.elementFlags[i];
-        return f1 === f2 || !!(tupleStructureComparisonKind & 1 /* MatchFixed */ && f1 & 3 /* Fixed */ && f2 & 3 /* Fixed */) || !!(tupleStructureComparisonKind & 2 /* MatchVariable */ && f1 & 12 /* Variable */ && f2 & 12 /* Variable */);
-      });
+    function isTupleTypeStructureMatching(t1, t2) {
+      return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f, i) => (f & 12 /* Variable */) === (t2.target.elementFlags[i] & 12 /* Variable */));
     }
     function isZeroBigInt({ value }) {
       return value.base10Value === "0";
@@ -66354,7 +66326,7 @@ ${lanes.join("\n")}
               const targetArity = getTypeReferenceArity(target);
               const elementTypes = getTypeArguments(target);
               const elementFlags = target.target.elementFlags;
-              if (isTupleType(source) && isTupleTypeStructureMatching(source, target, 1 /* MatchFixed */)) {
+              if (isTupleType(source) && isTupleTypeStructureMatching(source, target)) {
                 for (let i = 0; i < targetArity; i++) {
                   inferFromTypes(getTypeArguments(source)[i], elementTypes[i]);
                 }
@@ -121381,6 +121353,9 @@ ${lanes.join("\n")}
         return directoryStructureHost.readDirectory(root, extensions, excludes, includes, depth);
       },
       readFile: (f) => directoryStructureHost.readFile(f),
+      directoryExists: maybeBind(directoryStructureHost, directoryStructureHost.directoryExists),
+      getDirectories: maybeBind(directoryStructureHost, directoryStructureHost.getDirectories),
+      realpath: maybeBind(directoryStructureHost, directoryStructureHost.realpath),
       useCaseSensitiveFileNames: host.useCaseSensitiveFileNames(),
       getCurrentDirectory: () => host.getCurrentDirectory(),
       onUnRecoverableConfigFileDiagnostic: host.onUnRecoverableConfigFileDiagnostic || returnUndefined,
@@ -141723,6 +141698,9 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         useCaseSensitiveFileNames: useCaseSensitiveFileNames2,
         fileExists: (fileName) => compilerHost.fileExists(fileName),
         readFile: (fileName) => compilerHost.readFile(fileName),
+        directoryExists: (f) => compilerHost.directoryExists(f),
+        getDirectories: (f) => compilerHost.getDirectories(f),
+        realpath: compilerHost.realpath,
         readDirectory: (...args) => compilerHost.readDirectory(...args),
         trace: compilerHost.trace,
         getCurrentDirectory: compilerHost.getCurrentDirectory,

package/lib/typescript.d.ts

@@ -2221,7 +2221,7 @@ declare namespace ts {
         getSourceFileByPath(path: Path): SourceFile | undefined;
         getCurrentDirectory(): string;
     }
-    interface ParseConfigHost {
+    interface ParseConfigHost extends ModuleResolutionHost {
         useCaseSensitiveFileNames: boolean;
         readDirectory(rootDir: string, extensions: readonly string[], excludes: readonly string[] | undefined, includes: readonly string[], depth?: number): readonly string[];
         /**

package/lib/typescript.js

@@ -7422,6 +7422,7 @@ ${lanes.join("\n")}
         The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration: diag(1493, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration_1493", "The left-hand side of a 'for...in' statement cannot be a 'using' declaration."),
         The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration: diag(1494, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration_1494", "The left-hand side of a 'for...in' statement cannot be an 'await using' declaration."),
         _0_modifier_cannot_appear_on_an_await_using_declaration: diag(1495, 1 /* Error */, "_0_modifier_cannot_appear_on_an_await_using_declaration_1495", "'{0}' modifier cannot appear on an 'await using' declaration."),
+        Unexpected_token_Did_you_mean_0: diag(1496, 1 /* Error */, "Unexpected_token_Did_you_mean_0_1496", "Unexpected token. Did you mean '{0}'?"),
         The_types_of_0_are_incompatible_between_these_types: diag(2200, 1 /* Error */, "The_types_of_0_are_incompatible_between_these_types_2200", "The types of '{0}' are incompatible between these types."),
         The_types_returned_by_0_are_incompatible_between_these_types: diag(2201, 1 /* Error */, "The_types_returned_by_0_are_incompatible_between_these_types_2201", "The types returned by '{0}' are incompatible between these types."),
         Call_signature_return_types_0_and_1_are_incompatible: diag(
@@ -10321,6 +10322,10 @@ ${lanes.join("\n")}
           case 33 /* exclamation */:
             if (text.charCodeAt(pos + 1) === 61 /* equals */) {
               if (text.charCodeAt(pos + 2) === 61 /* equals */) {
+                if (text.charCodeAt(pos + 3) === 61 /* equals */) {
+                  error2(Diagnostics.Unexpected_token_Did_you_mean_0, pos, 4, "!==");
+                  return pos += 4, token = 38 /* ExclamationEqualsEqualsToken */;
+                }
                 return pos += 3, token = 38 /* ExclamationEqualsEqualsToken */;
               }
               return pos += 2, token = 36 /* ExclamationEqualsToken */;
@@ -61941,37 +61946,7 @@ ${lanes.join("\n")}
       const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
       for (let i = 0; i < paramCount; i++) {
         const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-        let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
-        if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
-          targetType = mapType(targetType, (t) => {
-            if (!isTupleType(t) || // When both sides are tuples of the same structure, we don't want to "propagate" types from elements of variable positions
-            // to the following positions as that would disallow signatures of the exact same structures when trailing fixed elements are involved:
-            //
-            // let fn: (...rest: [...string[], number]) => void = (...rest: [...string[], number]) => {}; // ok
-            //
-            // Since we want to allow contextual types to flow into paremeters, we don't need to differentiate between rest and variadic elements
-            // as that doesn't affect the contextual type of the parameter
-            isTupleTypeStructureMatching(sourceType, t, 2 /* MatchVariable */)) {
-              return t;
-            }
-            const elementTypes = [];
-            const elementFlags = [];
-            const sourceArity = getTypeReferenceArity(sourceType);
-            const targetArity = getTypeReferenceArity(t);
-            for (let i2 = 0; i2 < sourceArity; i2++) {
-              if (i2 >= targetArity) {
-                if (sourceType.target.elementFlags[i2] & 3 /* Fixed */) {
-                  elementTypes.push(undefinedType);
-                  elementFlags.push(sourceType.target.elementFlags[i2]);
-                }
-                continue;
-              }
-              elementTypes.push(getTupleElementType(t, i2));
-              elementFlags.push(sourceType.target.elementFlags[i2]);
-            }
-            return createTupleType(elementTypes, elementFlags);
-          });
-        }
+        const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
         if (sourceType && targetType) {
           const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
           const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -65154,11 +65129,8 @@ ${lanes.join("\n")}
       }
       return void 0;
     }
-    function isTupleTypeStructureMatching(t1, t2, tupleStructureComparisonKind) {
-      return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f1, i) => {
-        const f2 = t2.target.elementFlags[i];
-        return f1 === f2 || !!(tupleStructureComparisonKind & 1 /* MatchFixed */ && f1 & 3 /* Fixed */ && f2 & 3 /* Fixed */) || !!(tupleStructureComparisonKind & 2 /* MatchVariable */ && f1 & 12 /* Variable */ && f2 & 12 /* Variable */);
-      });
+    function isTupleTypeStructureMatching(t1, t2) {
+      return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f, i) => (f & 12 /* Variable */) === (t2.target.elementFlags[i] & 12 /* Variable */));
     }
     function isZeroBigInt({ value }) {
       return value.base10Value === "0";
@@ -66354,7 +66326,7 @@ ${lanes.join("\n")}
               const targetArity = getTypeReferenceArity(target);
               const elementTypes = getTypeArguments(target);
               const elementFlags = target.target.elementFlags;
-              if (isTupleType(source) && isTupleTypeStructureMatching(source, target, 1 /* MatchFixed */)) {
+              if (isTupleType(source) && isTupleTypeStructureMatching(source, target)) {
                 for (let i = 0; i < targetArity; i++) {
                   inferFromTypes(getTypeArguments(source)[i], elementTypes[i]);
                 }
@@ -121381,6 +121353,9 @@ ${lanes.join("\n")}
         return directoryStructureHost.readDirectory(root, extensions, excludes, includes, depth);
       },
       readFile: (f) => directoryStructureHost.readFile(f),
+      directoryExists: maybeBind(directoryStructureHost, directoryStructureHost.directoryExists),
+      getDirectories: maybeBind(directoryStructureHost, directoryStructureHost.getDirectories),
+      realpath: maybeBind(directoryStructureHost, directoryStructureHost.realpath),
       useCaseSensitiveFileNames: host.useCaseSensitiveFileNames(),
       getCurrentDirectory: () => host.getCurrentDirectory(),
       onUnRecoverableConfigFileDiagnostic: host.onUnRecoverableConfigFileDiagnostic || returnUndefined,
@@ -141738,6 +141713,9 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         useCaseSensitiveFileNames: useCaseSensitiveFileNames2,
         fileExists: (fileName) => compilerHost.fileExists(fileName),
         readFile: (fileName) => compilerHost.readFile(fileName),
+        directoryExists: (f) => compilerHost.directoryExists(f),
+        getDirectories: (f) => compilerHost.getDirectories(f),
+        realpath: compilerHost.realpath,
         readDirectory: (...args) => compilerHost.readDirectory(...args),
         trace: compilerHost.trace,
         getCurrentDirectory: compilerHost.getCurrentDirectory,

package/lib/typingsInstaller.js

@@ -5492,6 +5492,7 @@ var Diagnostics = {
   The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration: diag(1493, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_a_using_declaration_1493", "The left-hand side of a 'for...in' statement cannot be a 'using' declaration."),
   The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration: diag(1494, 1 /* Error */, "The_left_hand_side_of_a_for_in_statement_cannot_be_an_await_using_declaration_1494", "The left-hand side of a 'for...in' statement cannot be an 'await using' declaration."),
   _0_modifier_cannot_appear_on_an_await_using_declaration: diag(1495, 1 /* Error */, "_0_modifier_cannot_appear_on_an_await_using_declaration_1495", "'{0}' modifier cannot appear on an 'await using' declaration."),
+  Unexpected_token_Did_you_mean_0: diag(1496, 1 /* Error */, "Unexpected_token_Did_you_mean_0_1496", "Unexpected token. Did you mean '{0}'?"),
   The_types_of_0_are_incompatible_between_these_types: diag(2200, 1 /* Error */, "The_types_of_0_are_incompatible_between_these_types_2200", "The types of '{0}' are incompatible between these types."),
   The_types_returned_by_0_are_incompatible_between_these_types: diag(2201, 1 /* Error */, "The_types_returned_by_0_are_incompatible_between_these_types_2201", "The types returned by '{0}' are incompatible between these types."),
   Call_signature_return_types_0_and_1_are_incompatible: diag(
@@ -8472,6 +8473,10 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
         case 33 /* exclamation */:
           if (text.charCodeAt(pos + 1) === 61 /* equals */) {
             if (text.charCodeAt(pos + 2) === 61 /* equals */) {
+              if (text.charCodeAt(pos + 3) === 61 /* equals */) {
+                error(Diagnostics.Unexpected_token_Did_you_mean_0, pos, 4, "!==");
+                return pos += 4, token = 38 /* ExclamationEqualsEqualsToken */;
+              }
               return pos += 3, token = 38 /* ExclamationEqualsEqualsToken */;
             }
             return pos += 2, token = 36 /* ExclamationEqualsToken */;

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.2.0-pr-49218-24",
+  "version": "5.2.0-pr-54891-7",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -115,5 +115,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "f606b3c7639589dc74f8db612faba767e394c163"
+  "gitHead": "10d90775d78339c5ac584cfad4943b07e0f2c868"
 }