typescript 5.7.0-dev.20240925 → 5.7.0-dev.20240926

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-dev.20240925`;
+var version = `${versionMajorMinor}.0-dev.20240926`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -48696,7 +48696,7 @@ function createTypeChecker(host) {
     return isStringLiteralLike(moduleReferenceExpression) ? resolveExternalModule(location, moduleReferenceExpression.text, moduleNotFoundError, !ignoreErrors ? moduleReferenceExpression : void 0, isForAugmentation) : void 0;
   }
   function resolveExternalModule(location, moduleReference, moduleNotFoundError, errorNode, isForAugmentation = false) {
-    var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k, _l;
+    var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k;
     if (errorNode && startsWith(moduleReference, "@types/")) {
       const diag2 = Diagnostics.Cannot_import_type_declaration_files_Consider_importing_0_instead_of_1;
       const withoutAtTypePrefix = removePrefix(moduleReference, "@types/");
@@ -48711,14 +48711,14 @@ function createTypeChecker(host) {
       return ambientModule;
     }
     const currentSourceFile = getSourceFileOfNode(location);
-    const contextSpecifier = isStringLiteralLike(location) ? location : ((_a = isModuleDeclaration(location) ? location : location.parent && isModuleDeclaration(location.parent) && location.parent.name === location ? location.parent : void 0) == null ? void 0 : _a.name) || ((_b = isLiteralImportTypeNode(location) ? location : void 0) == null ? void 0 : _b.argument.literal) || (isInJSFile(location) && isJSDocImportTag(location) ? location.moduleSpecifier : void 0) || (isVariableDeclaration(location) && location.initializer && isRequireCall(
+    const contextSpecifier = isStringLiteralLike(location) ? location : ((_a = isModuleDeclaration(location) ? location : location.parent && isModuleDeclaration(location.parent) && location.parent.name === location ? location.parent : void 0) == null ? void 0 : _a.name) || ((_b = isLiteralImportTypeNode(location) ? location : void 0) == null ? void 0 : _b.argument.literal) || (isVariableDeclaration(location) && location.initializer && isRequireCall(
       location.initializer,
       /*requireStringLiteralLikeArgument*/
       true
-    ) ? location.initializer.arguments[0] : void 0) || ((_c = findAncestor(location, isImportCall)) == null ? void 0 : _c.arguments[0]) || ((_d = findAncestor(location, isImportDeclaration)) == null ? void 0 : _d.moduleSpecifier) || ((_e = findAncestor(location, isExternalModuleImportEqualsDeclaration)) == null ? void 0 : _e.moduleReference.expression) || ((_f = findAncestor(location, isExportDeclaration)) == null ? void 0 : _f.moduleSpecifier);
+    ) ? location.initializer.arguments[0] : void 0) || ((_c = findAncestor(location, isImportCall)) == null ? void 0 : _c.arguments[0]) || ((_d = findAncestor(location, or(isImportDeclaration, isJSDocImportTag, isExportDeclaration))) == null ? void 0 : _d.moduleSpecifier) || ((_e = findAncestor(location, isExternalModuleImportEqualsDeclaration)) == null ? void 0 : _e.moduleReference.expression);
     const mode = contextSpecifier && isStringLiteralLike(contextSpecifier) ? host.getModeForUsageLocation(currentSourceFile, contextSpecifier) : host.getDefaultResolutionModeForFile(currentSourceFile);
     const moduleResolutionKind = getEmitModuleResolutionKind(compilerOptions);
-    const resolvedModule = (_g = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _g.resolvedModule;
+    const resolvedModule = (_f = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _f.resolvedModule;
     const resolutionDiagnostic = errorNode && resolvedModule && getResolutionDiagnostic(compilerOptions, resolvedModule, currentSourceFile);
     const sourceFile = resolvedModule && (!resolutionDiagnostic || resolutionDiagnostic === Diagnostics.Module_0_was_resolved_to_1_but_jsx_is_not_set) && host.getSourceFile(resolvedModule.resolvedFileName);
     if (sourceFile) {
@@ -48726,7 +48726,7 @@ function createTypeChecker(host) {
         error(errorNode, resolutionDiagnostic, moduleReference, resolvedModule.resolvedFileName);
       }
       if (resolvedModule.resolvedUsingTsExtension && isDeclarationFileName(moduleReference)) {
-        const importOrExport = ((_h = findAncestor(location, isImportDeclaration)) == null ? void 0 : _h.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
+        const importOrExport = ((_g = findAncestor(location, isImportDeclaration)) == null ? void 0 : _g.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
         if (errorNode && importOrExport && !importOrExport.isTypeOnly || findAncestor(location, isImportCall)) {
           error(
             errorNode,
@@ -48735,7 +48735,7 @@ function createTypeChecker(host) {
           );
         }
       } else if (resolvedModule.resolvedUsingTsExtension && !shouldAllowImportingTsExtension(compilerOptions, currentSourceFile.fileName)) {
-        const importOrExport = ((_i = findAncestor(location, isImportDeclaration)) == null ? void 0 : _i.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
+        const importOrExport = ((_h = findAncestor(location, isImportDeclaration)) == null ? void 0 : _h.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
         if (errorNode && !((importOrExport == null ? void 0 : importOrExport.isTypeOnly) || findAncestor(location, isImportTypeNode))) {
           const tsExtension = Debug.checkDefined(tryExtractTSExtension(moduleReference));
           error(errorNode, Diagnostics.An_import_path_can_only_end_with_a_0_extension_when_allowImportingTsExtensions_is_enabled, tsExtension);
@@ -48765,7 +48765,7 @@ function createTypeChecker(host) {
               if (ext === ".ts" /* Ts */ || ext === ".js" /* Js */ || ext === ".tsx" /* Tsx */ || ext === ".jsx" /* Jsx */) {
                 diagnosticDetails = createModeMismatchDetails(currentSourceFile);
               }
-              const message = (overrideHost == null ? void 0 : overrideHost.kind) === 272 /* ImportDeclaration */ && ((_j = overrideHost.importClause) == null ? void 0 : _j.isTypeOnly) ? Diagnostics.Type_only_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : (overrideHost == null ? void 0 : overrideHost.kind) === 205 /* ImportType */ ? Diagnostics.Type_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : Diagnostics.The_current_file_is_a_CommonJS_module_whose_imports_will_produce_require_calls_however_the_referenced_file_is_an_ECMAScript_module_and_cannot_be_imported_with_require_Consider_writing_a_dynamic_import_0_call_instead;
+              const message = (overrideHost == null ? void 0 : overrideHost.kind) === 272 /* ImportDeclaration */ && ((_i = overrideHost.importClause) == null ? void 0 : _i.isTypeOnly) ? Diagnostics.Type_only_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : (overrideHost == null ? void 0 : overrideHost.kind) === 205 /* ImportType */ ? Diagnostics.Type_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : Diagnostics.The_current_file_is_a_CommonJS_module_whose_imports_will_produce_require_calls_however_the_referenced_file_is_an_ECMAScript_module_and_cannot_be_imported_with_require_Consider_writing_a_dynamic_import_0_call_instead;
               diagnostics.add(createDiagnosticForNodeFromMessageChain(
                 getSourceFileOfNode(errorNode),
                 errorNode,
@@ -48828,14 +48828,14 @@ function createTypeChecker(host) {
           error(errorNode, Diagnostics.Cannot_find_module_0_Consider_using_resolveJsonModule_to_import_module_with_json_extension, moduleReference);
         } else if (mode === 99 /* ESNext */ && resolutionIsNode16OrNext && isExtensionlessRelativePathImport) {
           const absoluteRef = getNormalizedAbsolutePath(moduleReference, getDirectoryPath(currentSourceFile.path));
-          const suggestedExt = (_k = suggestedExtensions.find(([actualExt, _importExt]) => host.fileExists(absoluteRef + actualExt))) == null ? void 0 : _k[1];
+          const suggestedExt = (_j = suggestedExtensions.find(([actualExt, _importExt]) => host.fileExists(absoluteRef + actualExt))) == null ? void 0 : _j[1];
           if (suggestedExt) {
             error(errorNode, Diagnostics.Relative_import_paths_need_explicit_file_extensions_in_ECMAScript_imports_when_moduleResolution_is_node16_or_nodenext_Did_you_mean_0, moduleReference + suggestedExt);
           } else {
             error(errorNode, Diagnostics.Relative_import_paths_need_explicit_file_extensions_in_ECMAScript_imports_when_moduleResolution_is_node16_or_nodenext_Consider_adding_an_extension_to_the_import_path);
           }
         } else {
-          if ((_l = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _l.alternateResult) {
+          if ((_k = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _k.alternateResult) {
             const errorInfo = createModuleNotFoundChain(currentSourceFile, host, moduleReference, mode, moduleReference);
             errorOrSuggestion(
               /*isError*/
@@ -52034,7 +52034,13 @@ function createTypeChecker(host) {
       if (typeFromTypeNode === type) {
         return true;
       }
-      if (annotatedDeclaration && (isParameter(annotatedDeclaration) || isPropertySignature(annotatedDeclaration) || isPropertyDeclaration(annotatedDeclaration)) && annotatedDeclaration.questionToken) {
+      if (!annotatedDeclaration) {
+        return false;
+      }
+      if ((isPropertySignature(annotatedDeclaration) || isPropertyDeclaration(annotatedDeclaration)) && annotatedDeclaration.questionToken) {
+        return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
+      }
+      if (isParameter(annotatedDeclaration) && hasEffectiveQuestionToken(annotatedDeclaration)) {
         return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
       }
       return false;
@@ -52995,7 +53001,9 @@ function createTypeChecker(host) {
         const skipMembershipCheck = !isPrivate;
         if (skipMembershipCheck || !!length(symbol.declarations) && some(symbol.declarations, (d) => !!findAncestor(d, (n) => n === enclosingDeclaration))) {
           const scopeCleanup = cloneNodeBuilderContext(context);
+          context.tracker.pushErrorFallbackNode(find(symbol.declarations, (d) => getSourceFileOfNode(d) === context.enclosingFile));
           serializeSymbolWorker(symbol, isPrivate, propertyAsAlias);
+          context.tracker.popErrorFallbackNode();
           scopeCleanup();
         }
       }
@@ -56998,8 +57006,13 @@ function createTypeChecker(host) {
     if (left.typeParameters && right.typeParameters) {
       paramMapper = createTypeMapper(right.typeParameters, left.typeParameters);
     }
+    let flags = (left.flags | right.flags) & (167 /* PropagatingFlags */ & ~1 /* HasRestParameter */);
     const declaration = left.declaration;
     const params = combineUnionParameters(left, right, paramMapper);
+    const lastParam = lastOrUndefined(params);
+    if (lastParam && getCheckFlags(lastParam) & 32768 /* RestParameter */) {
+      flags |= 1 /* HasRestParameter */;
+    }
     const thisParam = combineUnionThisParam(left.thisParameter, right.thisParameter, paramMapper);
     const minArgCount = Math.max(left.minArgumentCount, right.minArgumentCount);
     const result = createSignature(
@@ -57012,7 +57025,7 @@ function createTypeChecker(host) {
       /*resolvedTypePredicate*/
       void 0,
       minArgCount,
-      (left.flags | right.flags) & 167 /* PropagatingFlags */
+      flags
     );
     result.compositeKind = 1048576 /* Union */;
     result.compositeSignatures = concatenate(left.compositeKind !== 2097152 /* Intersection */ && left.compositeSignatures || [left], [right]);
@@ -72445,13 +72458,14 @@ function createTypeChecker(host) {
       const paramName = leftName === rightName ? leftName : !leftName ? rightName : !rightName ? leftName : void 0;
       const paramSymbol = createSymbol(
         1 /* FunctionScopedVariable */ | (isOptional && !isRestParam ? 16777216 /* Optional */ : 0),
-        paramName || `arg${i}`
+        paramName || `arg${i}`,
+        isRestParam ? 32768 /* RestParameter */ : isOptional ? 16384 /* OptionalParameter */ : 0
       );
       paramSymbol.links.type = isRestParam ? createArrayType(unionParamType) : unionParamType;
       params[i] = paramSymbol;
     }
     if (needsExtraRestElement) {
-      const restParamSymbol = createSymbol(1 /* FunctionScopedVariable */, "args");
+      const restParamSymbol = createSymbol(1 /* FunctionScopedVariable */, "args", 32768 /* RestParameter */);
       restParamSymbol.links.type = createArrayType(getTypeAtPosition(shorter, longestCount));
       if (shorter === right) {
         restParamSymbol.links.type = instantiateType(restParamSymbol.links.type, mapper);
@@ -72466,8 +72480,13 @@ function createTypeChecker(host) {
     if (left.typeParameters && right.typeParameters) {
       paramMapper = createTypeMapper(right.typeParameters, left.typeParameters);
     }
+    let flags = (left.flags | right.flags) & (167 /* PropagatingFlags */ & ~1 /* HasRestParameter */);
     const declaration = left.declaration;
     const params = combineIntersectionParameters(left, right, paramMapper);
+    const lastParam = lastOrUndefined(params);
+    if (lastParam && getCheckFlags(lastParam) & 32768 /* RestParameter */) {
+      flags |= 1 /* HasRestParameter */;
+    }
     const thisParam = combineIntersectionThisParam(left.thisParameter, right.thisParameter, paramMapper);
     const minArgCount = Math.max(left.minArgumentCount, right.minArgumentCount);
     const result = createSignature(
@@ -72480,7 +72499,7 @@ function createTypeChecker(host) {
       /*resolvedTypePredicate*/
       void 0,
       minArgCount,
-      (left.flags | right.flags) & 167 /* PropagatingFlags */
+      flags
     );
     result.compositeKind = 2097152 /* Intersection */;
     result.compositeSignatures = concatenate(left.compositeKind === 2097152 /* Intersection */ && left.compositeSignatures || [left], [right]);
@@ -88995,6 +89014,14 @@ var SymbolTrackerImpl = class _SymbolTrackerImpl {
       this.inner.reportInferenceFallback(node);
     }
   }
+  pushErrorFallbackNode(node) {
+    var _a, _b;
+    return (_b = (_a = this.inner) == null ? void 0 : _a.pushErrorFallbackNode) == null ? void 0 : _b.call(_a, node);
+  }
+  popErrorFallbackNode() {
+    var _a, _b;
+    return (_b = (_a = this.inner) == null ? void 0 : _a.popErrorFallbackNode) == null ? void 0 : _b.call(_a);
+  }
 };
 
 // src/compiler/visitorPublic.ts
@@ -112151,6 +112178,7 @@ function transformDeclarations(context) {
   let suppressNewDiagnosticContexts;
   const { factory: factory2 } = context;
   const host = context.getEmitHost();
+  let restoreFallbackNode = () => void 0;
   const symbolTracker = {
     trackSymbol,
     reportInaccessibleThisError,
@@ -112162,7 +112190,19 @@ function transformDeclarations(context) {
     moduleResolverHost: host,
     reportNonlocalAugmentation,
     reportNonSerializableProperty,
-    reportInferenceFallback
+    reportInferenceFallback,
+    pushErrorFallbackNode(node) {
+      const currentFallback = errorFallbackNode;
+      const currentRestore = restoreFallbackNode;
+      restoreFallbackNode = () => {
+        restoreFallbackNode = currentRestore;
+        errorFallbackNode = currentFallback;
+      };
+      errorFallbackNode = node;
+    },
+    popErrorFallbackNode() {
+      restoreFallbackNode();
+    }
   };
   let errorNameNode;
   let errorFallbackNode;

package/lib/typescript.js

@@ -2270,7 +2270,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-dev.20240925`;
+var version = `${versionMajorMinor}.0-dev.20240926`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -53292,7 +53292,7 @@ function createTypeChecker(host) {
     return isStringLiteralLike(moduleReferenceExpression) ? resolveExternalModule(location, moduleReferenceExpression.text, moduleNotFoundError, !ignoreErrors ? moduleReferenceExpression : void 0, isForAugmentation) : void 0;
   }
   function resolveExternalModule(location, moduleReference, moduleNotFoundError, errorNode, isForAugmentation = false) {
-    var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k, _l;
+    var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k;
     if (errorNode && startsWith(moduleReference, "@types/")) {
       const diag2 = Diagnostics.Cannot_import_type_declaration_files_Consider_importing_0_instead_of_1;
       const withoutAtTypePrefix = removePrefix(moduleReference, "@types/");
@@ -53307,14 +53307,14 @@ function createTypeChecker(host) {
       return ambientModule;
     }
     const currentSourceFile = getSourceFileOfNode(location);
-    const contextSpecifier = isStringLiteralLike(location) ? location : ((_a = isModuleDeclaration(location) ? location : location.parent && isModuleDeclaration(location.parent) && location.parent.name === location ? location.parent : void 0) == null ? void 0 : _a.name) || ((_b = isLiteralImportTypeNode(location) ? location : void 0) == null ? void 0 : _b.argument.literal) || (isInJSFile(location) && isJSDocImportTag(location) ? location.moduleSpecifier : void 0) || (isVariableDeclaration(location) && location.initializer && isRequireCall(
+    const contextSpecifier = isStringLiteralLike(location) ? location : ((_a = isModuleDeclaration(location) ? location : location.parent && isModuleDeclaration(location.parent) && location.parent.name === location ? location.parent : void 0) == null ? void 0 : _a.name) || ((_b = isLiteralImportTypeNode(location) ? location : void 0) == null ? void 0 : _b.argument.literal) || (isVariableDeclaration(location) && location.initializer && isRequireCall(
       location.initializer,
       /*requireStringLiteralLikeArgument*/
       true
-    ) ? location.initializer.arguments[0] : void 0) || ((_c = findAncestor(location, isImportCall)) == null ? void 0 : _c.arguments[0]) || ((_d = findAncestor(location, isImportDeclaration)) == null ? void 0 : _d.moduleSpecifier) || ((_e = findAncestor(location, isExternalModuleImportEqualsDeclaration)) == null ? void 0 : _e.moduleReference.expression) || ((_f = findAncestor(location, isExportDeclaration)) == null ? void 0 : _f.moduleSpecifier);
+    ) ? location.initializer.arguments[0] : void 0) || ((_c = findAncestor(location, isImportCall)) == null ? void 0 : _c.arguments[0]) || ((_d = findAncestor(location, or(isImportDeclaration, isJSDocImportTag, isExportDeclaration))) == null ? void 0 : _d.moduleSpecifier) || ((_e = findAncestor(location, isExternalModuleImportEqualsDeclaration)) == null ? void 0 : _e.moduleReference.expression);
     const mode = contextSpecifier && isStringLiteralLike(contextSpecifier) ? host.getModeForUsageLocation(currentSourceFile, contextSpecifier) : host.getDefaultResolutionModeForFile(currentSourceFile);
     const moduleResolutionKind = getEmitModuleResolutionKind(compilerOptions);
-    const resolvedModule = (_g = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _g.resolvedModule;
+    const resolvedModule = (_f = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _f.resolvedModule;
     const resolutionDiagnostic = errorNode && resolvedModule && getResolutionDiagnostic(compilerOptions, resolvedModule, currentSourceFile);
     const sourceFile = resolvedModule && (!resolutionDiagnostic || resolutionDiagnostic === Diagnostics.Module_0_was_resolved_to_1_but_jsx_is_not_set) && host.getSourceFile(resolvedModule.resolvedFileName);
     if (sourceFile) {
@@ -53322,7 +53322,7 @@ function createTypeChecker(host) {
         error2(errorNode, resolutionDiagnostic, moduleReference, resolvedModule.resolvedFileName);
       }
       if (resolvedModule.resolvedUsingTsExtension && isDeclarationFileName(moduleReference)) {
-        const importOrExport = ((_h = findAncestor(location, isImportDeclaration)) == null ? void 0 : _h.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
+        const importOrExport = ((_g = findAncestor(location, isImportDeclaration)) == null ? void 0 : _g.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
         if (errorNode && importOrExport && !importOrExport.isTypeOnly || findAncestor(location, isImportCall)) {
           error2(
             errorNode,
@@ -53331,7 +53331,7 @@ function createTypeChecker(host) {
           );
         }
       } else if (resolvedModule.resolvedUsingTsExtension && !shouldAllowImportingTsExtension(compilerOptions, currentSourceFile.fileName)) {
-        const importOrExport = ((_i = findAncestor(location, isImportDeclaration)) == null ? void 0 : _i.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
+        const importOrExport = ((_h = findAncestor(location, isImportDeclaration)) == null ? void 0 : _h.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
         if (errorNode && !((importOrExport == null ? void 0 : importOrExport.isTypeOnly) || findAncestor(location, isImportTypeNode))) {
           const tsExtension = Debug.checkDefined(tryExtractTSExtension(moduleReference));
           error2(errorNode, Diagnostics.An_import_path_can_only_end_with_a_0_extension_when_allowImportingTsExtensions_is_enabled, tsExtension);
@@ -53361,7 +53361,7 @@ function createTypeChecker(host) {
               if (ext === ".ts" /* Ts */ || ext === ".js" /* Js */ || ext === ".tsx" /* Tsx */ || ext === ".jsx" /* Jsx */) {
                 diagnosticDetails = createModeMismatchDetails(currentSourceFile);
               }
-              const message = (overrideHost == null ? void 0 : overrideHost.kind) === 272 /* ImportDeclaration */ && ((_j = overrideHost.importClause) == null ? void 0 : _j.isTypeOnly) ? Diagnostics.Type_only_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : (overrideHost == null ? void 0 : overrideHost.kind) === 205 /* ImportType */ ? Diagnostics.Type_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : Diagnostics.The_current_file_is_a_CommonJS_module_whose_imports_will_produce_require_calls_however_the_referenced_file_is_an_ECMAScript_module_and_cannot_be_imported_with_require_Consider_writing_a_dynamic_import_0_call_instead;
+              const message = (overrideHost == null ? void 0 : overrideHost.kind) === 272 /* ImportDeclaration */ && ((_i = overrideHost.importClause) == null ? void 0 : _i.isTypeOnly) ? Diagnostics.Type_only_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : (overrideHost == null ? void 0 : overrideHost.kind) === 205 /* ImportType */ ? Diagnostics.Type_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : Diagnostics.The_current_file_is_a_CommonJS_module_whose_imports_will_produce_require_calls_however_the_referenced_file_is_an_ECMAScript_module_and_cannot_be_imported_with_require_Consider_writing_a_dynamic_import_0_call_instead;
               diagnostics.add(createDiagnosticForNodeFromMessageChain(
                 getSourceFileOfNode(errorNode),
                 errorNode,
@@ -53424,14 +53424,14 @@ function createTypeChecker(host) {
           error2(errorNode, Diagnostics.Cannot_find_module_0_Consider_using_resolveJsonModule_to_import_module_with_json_extension, moduleReference);
         } else if (mode === 99 /* ESNext */ && resolutionIsNode16OrNext && isExtensionlessRelativePathImport) {
           const absoluteRef = getNormalizedAbsolutePath(moduleReference, getDirectoryPath(currentSourceFile.path));
-          const suggestedExt = (_k = suggestedExtensions.find(([actualExt, _importExt]) => host.fileExists(absoluteRef + actualExt))) == null ? void 0 : _k[1];
+          const suggestedExt = (_j = suggestedExtensions.find(([actualExt, _importExt]) => host.fileExists(absoluteRef + actualExt))) == null ? void 0 : _j[1];
           if (suggestedExt) {
             error2(errorNode, Diagnostics.Relative_import_paths_need_explicit_file_extensions_in_ECMAScript_imports_when_moduleResolution_is_node16_or_nodenext_Did_you_mean_0, moduleReference + suggestedExt);
           } else {
             error2(errorNode, Diagnostics.Relative_import_paths_need_explicit_file_extensions_in_ECMAScript_imports_when_moduleResolution_is_node16_or_nodenext_Consider_adding_an_extension_to_the_import_path);
           }
         } else {
-          if ((_l = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _l.alternateResult) {
+          if ((_k = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _k.alternateResult) {
             const errorInfo = createModuleNotFoundChain(currentSourceFile, host, moduleReference, mode, moduleReference);
             errorOrSuggestion(
               /*isError*/
@@ -56630,7 +56630,13 @@ function createTypeChecker(host) {
       if (typeFromTypeNode === type) {
         return true;
       }
-      if (annotatedDeclaration && (isParameter(annotatedDeclaration) || isPropertySignature(annotatedDeclaration) || isPropertyDeclaration(annotatedDeclaration)) && annotatedDeclaration.questionToken) {
+      if (!annotatedDeclaration) {
+        return false;
+      }
+      if ((isPropertySignature(annotatedDeclaration) || isPropertyDeclaration(annotatedDeclaration)) && annotatedDeclaration.questionToken) {
+        return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
+      }
+      if (isParameter(annotatedDeclaration) && hasEffectiveQuestionToken(annotatedDeclaration)) {
         return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
       }
       return false;
@@ -57591,7 +57597,9 @@ function createTypeChecker(host) {
         const skipMembershipCheck = !isPrivate;
         if (skipMembershipCheck || !!length(symbol.declarations) && some(symbol.declarations, (d) => !!findAncestor(d, (n) => n === enclosingDeclaration))) {
           const scopeCleanup = cloneNodeBuilderContext(context);
+          context.tracker.pushErrorFallbackNode(find(symbol.declarations, (d) => getSourceFileOfNode(d) === context.enclosingFile));
           serializeSymbolWorker(symbol, isPrivate, propertyAsAlias);
+          context.tracker.popErrorFallbackNode();
           scopeCleanup();
         }
       }
@@ -61594,8 +61602,13 @@ function createTypeChecker(host) {
     if (left.typeParameters && right.typeParameters) {
       paramMapper = createTypeMapper(right.typeParameters, left.typeParameters);
     }
+    let flags = (left.flags | right.flags) & (167 /* PropagatingFlags */ & ~1 /* HasRestParameter */);
     const declaration = left.declaration;
     const params = combineUnionParameters(left, right, paramMapper);
+    const lastParam = lastOrUndefined(params);
+    if (lastParam && getCheckFlags(lastParam) & 32768 /* RestParameter */) {
+      flags |= 1 /* HasRestParameter */;
+    }
     const thisParam = combineUnionThisParam(left.thisParameter, right.thisParameter, paramMapper);
     const minArgCount = Math.max(left.minArgumentCount, right.minArgumentCount);
     const result = createSignature(
@@ -61608,7 +61621,7 @@ function createTypeChecker(host) {
       /*resolvedTypePredicate*/
       void 0,
       minArgCount,
-      (left.flags | right.flags) & 167 /* PropagatingFlags */
+      flags
     );
     result.compositeKind = 1048576 /* Union */;
     result.compositeSignatures = concatenate(left.compositeKind !== 2097152 /* Intersection */ && left.compositeSignatures || [left], [right]);
@@ -77041,13 +77054,14 @@ function createTypeChecker(host) {
       const paramName = leftName === rightName ? leftName : !leftName ? rightName : !rightName ? leftName : void 0;
       const paramSymbol = createSymbol(
         1 /* FunctionScopedVariable */ | (isOptional && !isRestParam ? 16777216 /* Optional */ : 0),
-        paramName || `arg${i}`
+        paramName || `arg${i}`,
+        isRestParam ? 32768 /* RestParameter */ : isOptional ? 16384 /* OptionalParameter */ : 0
       );
       paramSymbol.links.type = isRestParam ? createArrayType(unionParamType) : unionParamType;
       params[i] = paramSymbol;
     }
     if (needsExtraRestElement) {
-      const restParamSymbol = createSymbol(1 /* FunctionScopedVariable */, "args");
+      const restParamSymbol = createSymbol(1 /* FunctionScopedVariable */, "args", 32768 /* RestParameter */);
       restParamSymbol.links.type = createArrayType(getTypeAtPosition(shorter, longestCount));
       if (shorter === right) {
         restParamSymbol.links.type = instantiateType(restParamSymbol.links.type, mapper);
@@ -77062,8 +77076,13 @@ function createTypeChecker(host) {
     if (left.typeParameters && right.typeParameters) {
       paramMapper = createTypeMapper(right.typeParameters, left.typeParameters);
     }
+    let flags = (left.flags | right.flags) & (167 /* PropagatingFlags */ & ~1 /* HasRestParameter */);
     const declaration = left.declaration;
     const params = combineIntersectionParameters(left, right, paramMapper);
+    const lastParam = lastOrUndefined(params);
+    if (lastParam && getCheckFlags(lastParam) & 32768 /* RestParameter */) {
+      flags |= 1 /* HasRestParameter */;
+    }
     const thisParam = combineIntersectionThisParam(left.thisParameter, right.thisParameter, paramMapper);
     const minArgCount = Math.max(left.minArgumentCount, right.minArgumentCount);
     const result = createSignature(
@@ -77076,7 +77095,7 @@ function createTypeChecker(host) {
       /*resolvedTypePredicate*/
       void 0,
       minArgCount,
-      (left.flags | right.flags) & 167 /* PropagatingFlags */
+      flags
     );
     result.compositeKind = 2097152 /* Intersection */;
     result.compositeSignatures = concatenate(left.compositeKind === 2097152 /* Intersection */ && left.compositeSignatures || [left], [right]);
@@ -93591,6 +93610,14 @@ var SymbolTrackerImpl = class _SymbolTrackerImpl {
       this.inner.reportInferenceFallback(node);
     }
   }
+  pushErrorFallbackNode(node) {
+    var _a, _b;
+    return (_b = (_a = this.inner) == null ? void 0 : _a.pushErrorFallbackNode) == null ? void 0 : _b.call(_a, node);
+  }
+  popErrorFallbackNode() {
+    var _a, _b;
+    return (_b = (_a = this.inner) == null ? void 0 : _a.popErrorFallbackNode) == null ? void 0 : _b.call(_a);
+  }
 };
 
 // src/compiler/visitorPublic.ts
@@ -116929,6 +116956,7 @@ function transformDeclarations(context) {
   let suppressNewDiagnosticContexts;
   const { factory: factory2 } = context;
   const host = context.getEmitHost();
+  let restoreFallbackNode = () => void 0;
   const symbolTracker = {
     trackSymbol,
     reportInaccessibleThisError,
@@ -116940,7 +116968,19 @@ function transformDeclarations(context) {
     moduleResolverHost: host,
     reportNonlocalAugmentation,
     reportNonSerializableProperty,
-    reportInferenceFallback
+    reportInferenceFallback,
+    pushErrorFallbackNode(node) {
+      const currentFallback = errorFallbackNode;
+      const currentRestore = restoreFallbackNode;
+      restoreFallbackNode = () => {
+        restoreFallbackNode = currentRestore;
+        errorFallbackNode = currentFallback;
+      };
+      errorFallbackNode = node;
+    },
+    popErrorFallbackNode() {
+      restoreFallbackNode();
+    }
   };
   let errorNameNode;
   let errorFallbackNode;
@@ -149757,6 +149797,7 @@ var SymbolObject = class {
     if (context) {
       if (isGetAccessor(context)) {
         if (!this.contextualGetAccessorDocumentationComment) {
+          this.contextualGetAccessorDocumentationComment = emptyArray;
           this.contextualGetAccessorDocumentationComment = getDocumentationComment(filter(this.declarations, isGetAccessor), checker);
         }
         if (length(this.contextualGetAccessorDocumentationComment)) {
@@ -149765,6 +149806,7 @@ var SymbolObject = class {
       }
       if (isSetAccessor(context)) {
         if (!this.contextualSetAccessorDocumentationComment) {
+          this.contextualSetAccessorDocumentationComment = emptyArray;
           this.contextualSetAccessorDocumentationComment = getDocumentationComment(filter(this.declarations, isSetAccessor), checker);
         }
         if (length(this.contextualSetAccessorDocumentationComment)) {
@@ -149785,6 +149827,7 @@ var SymbolObject = class {
     if (context) {
       if (isGetAccessor(context)) {
         if (!this.contextualGetAccessorTags) {
+          this.contextualGetAccessorTags = emptyArray;
           this.contextualGetAccessorTags = getJsDocTagsOfDeclarations(filter(this.declarations, isGetAccessor), checker);
         }
         if (length(this.contextualGetAccessorTags)) {
@@ -149793,6 +149836,7 @@ var SymbolObject = class {
       }
       if (isSetAccessor(context)) {
         if (!this.contextualSetAccessorTags) {
+          this.contextualSetAccessorTags = emptyArray;
           this.contextualSetAccessorTags = getJsDocTagsOfDeclarations(filter(this.declarations, isSetAccessor), checker);
         }
         if (length(this.contextualSetAccessorTags)) {

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.7.0-dev.20240925",
+    "version": "5.7.0-dev.20240926",
     "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": "e962037df334de071b8d3a9c70b13e3a600d1bc9"
+    "gitHead": "3ad0f752482f5e846dc35a69572ccb43311826c0"
 }