typescript 5.6.0-dev.20240710 → 5.6.0-dev.20240711

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.6";
-var version = `${versionMajorMinor}.0-dev.20240710`;
+var version = `${versionMajorMinor}.0-dev.20240711`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -8550,6 +8550,7 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
     hasExtendedUnicodeEscape: () => (tokenFlags & 8 /* ExtendedUnicodeEscape */) !== 0,
     hasPrecedingLineBreak: () => (tokenFlags & 1 /* PrecedingLineBreak */) !== 0,
     hasPrecedingJSDocComment: () => (tokenFlags & 2 /* PrecedingJSDocComment */) !== 0,
+    hasPrecedingJSDocLeadingAsterisks: () => (tokenFlags & 32768 /* PrecedingJSDocLeadingAsterisks */) !== 0,
     isIdentifier: () => token === 80 /* Identifier */ || token > 118 /* LastReservedWord */,
     isReservedWord: () => token >= 83 /* FirstReservedWord */ && token <= 118 /* LastReservedWord */,
     isUnterminated: () => (tokenFlags & 4 /* Unterminated */) !== 0,
@@ -9190,7 +9191,6 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
   function scan() {
     fullStartPos = pos;
     tokenFlags = 0 /* None */;
-    let asteriskSeen = false;
     while (true) {
       tokenStart = pos;
       if (pos >= end) {
@@ -9306,8 +9306,8 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
             return pos += 2, token = 43 /* AsteriskAsteriskToken */;
           }
           pos++;
-          if (skipJsDocLeadingAsterisks && !asteriskSeen && tokenFlags & 1 /* PrecedingLineBreak */) {
-            asteriskSeen = true;
+          if (skipJsDocLeadingAsterisks && (tokenFlags & 32768 /* PrecedingJSDocLeadingAsterisks */) === 0 && tokenFlags & 1 /* PrecedingLineBreak */) {
+            tokenFlags |= 32768 /* PrecedingJSDocLeadingAsterisks */;
             continue;
           }
           return token = 42 /* AsteriskToken */;
@@ -28948,7 +28948,7 @@ var Parser;
   function createIdentifier(isIdentifier3, diagnosticMessage, privateIdentifierDiagnosticMessage) {
     if (isIdentifier3) {
       identifierCount++;
-      const pos = getNodePos();
+      const pos = scanner.hasPrecedingJSDocLeadingAsterisks() ? scanner.getTokenStart() : getNodePos();
       const originalKeywordKind = token();
       const text = internIdentifier(scanner.getTokenValue());
       const hasExtendedUnicodeEscape = scanner.hasExtendedUnicodeEscape();
@@ -36078,6 +36078,7 @@ var commandOptionsWithoutBuild = [
     type: "boolean",
     affectsEmit: true,
     affectsBuildInfo: true,
+    affectsSourceFile: true,
     category: Diagnostics.Emit,
     description: Diagnostics.Allow_importing_helper_functions_from_tslib_once_per_project_instead_of_including_them_per_file,
     defaultValueDescription: false
@@ -36542,6 +36543,7 @@ var commandOptionsWithoutBuild = [
     affectsEmit: true,
     affectsBuildInfo: true,
     affectsModuleResolution: true,
+    affectsSourceFile: true,
     category: Diagnostics.Language_and_Environment,
     description: Diagnostics.Specify_module_specifier_used_to_import_the_JSX_factory_functions_when_using_jsx_Colon_react_jsx_Asterisk,
     defaultValueDescription: "react"
@@ -49430,11 +49432,11 @@ function createTypeChecker(host) {
     function tryReuseExistingTypeNode(context, typeNode, type, host2, addUndefined) {
       const originalType = type;
       if (addUndefined) {
-        type = getOptionalType(type);
+        type = getOptionalType(type, !isParameter(host2));
       }
       const clone = tryReuseExistingNonParameterTypeNode(context, typeNode, type, host2);
       if (clone) {
-        if (addUndefined && !someType(getTypeFromTypeNode2(context, typeNode), (t) => !!(t.flags & 32768 /* Undefined */))) {
+        if (addUndefined && containsNonMissingUndefinedType(type) && !someType(getTypeFromTypeNode2(context, typeNode), (t) => !!(t.flags & 32768 /* Undefined */))) {
           return factory.createUnionTypeNode([clone, factory.createKeywordTypeNode(157 /* UndefinedKeyword */)]);
         }
         return clone;
@@ -51381,8 +51383,8 @@ function createTypeChecker(host) {
       return enclosingDeclaration;
     }
     function serializeTypeForDeclaration(context, declaration, type, symbol) {
-      var _a;
-      const addUndefined = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
+      var _a, _b;
+      const addUndefinedForParameter = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
       const enclosingDeclaration = context.enclosingDeclaration;
       const oldFlags = context.flags;
       if (declaration && hasInferredType(declaration) && !(context.flags & -2147483648 /* NoSyntacticPrinter */)) {
@@ -51393,6 +51395,7 @@ function createTypeChecker(host) {
         const declWithExistingAnnotation = declaration && getNonlocalEffectiveTypeAnnotationNode(declaration) ? declaration : getDeclarationWithTypeAnnotation(symbol);
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getNonlocalEffectiveTypeAnnotationNode(declWithExistingAnnotation);
+          const addUndefined = addUndefinedForParameter || !!(symbol.flags & 4 /* Property */ && symbol.flags & 16777216 /* Optional */ && isOptionalDeclaration(declWithExistingAnnotation) && ((_a = symbol.links) == null ? void 0 : _a.mappedType) && containsNonMissingUndefinedType(type));
           const result2 = !isTypePredicateNode(existing) && tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined);
           if (result2) {
             context.flags = oldFlags;
@@ -51403,9 +51406,9 @@ function createTypeChecker(host) {
       if (type.flags & 8192 /* UniqueESSymbol */ && type.symbol === symbol && (!context.enclosingDeclaration || some(symbol.declarations, (d) => getSourceFileOfNode(d) === getSourceFileOfNode(context.enclosingDeclaration)))) {
         context.flags |= 1048576 /* AllowUniqueESSymbolType */;
       }
-      const decl = declaration ?? symbol.valueDeclaration ?? ((_a = symbol.declarations) == null ? void 0 : _a[0]);
+      const decl = declaration ?? symbol.valueDeclaration ?? ((_b = symbol.declarations) == null ? void 0 : _b[0]);
       const expr = decl && isDeclarationWithPossibleInnerTypeNodeReuse(decl) ? getPossibleTypeNodeReuseExpression(decl) : void 0;
-      const result = expressionOrTypeToTypeNode(context, expr, type, addUndefined);
+      const result = expressionOrTypeToTypeNode(context, expr, type, addUndefinedForParameter);
       context.flags = oldFlags;
       return result;
     }
@@ -62686,6 +62689,10 @@ function createTypeChecker(host) {
   function containsUndefinedType(type) {
     return !!((type.flags & 1048576 /* Union */ ? type.types[0] : type).flags & 32768 /* Undefined */);
   }
+  function containsNonMissingUndefinedType(type) {
+    const candidate = type.flags & 1048576 /* Union */ ? type.types[0] : type;
+    return !!(candidate.flags & 32768 /* Undefined */) && candidate !== missingType;
+  }
   function isStringIndexSignatureOnlyType(type) {
     return type.flags & 524288 /* Object */ && !isGenericMappedType(type) && getPropertiesOfType(type).length === 0 && getIndexInfosOfType(type).length === 1 && !!getIndexInfoOfType(type, stringType) || type.flags & 3145728 /* UnionOrIntersection */ && every(type.types, isStringIndexSignatureOnlyType) || false;
   }

package/lib/typescript.js

@@ -2251,7 +2251,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.6";
-var version = `${versionMajorMinor}.0-dev.20240710`;
+var version = `${versionMajorMinor}.0-dev.20240711`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -6028,6 +6028,7 @@ var TokenFlags = /* @__PURE__ */ ((TokenFlags2) => {
   TokenFlags2[TokenFlags2["HexEscape"] = 4096] = "HexEscape";
   TokenFlags2[TokenFlags2["ContainsLeadingZero"] = 8192] = "ContainsLeadingZero";
   TokenFlags2[TokenFlags2["ContainsInvalidSeparator"] = 16384] = "ContainsInvalidSeparator";
+  TokenFlags2[TokenFlags2["PrecedingJSDocLeadingAsterisks"] = 32768] = "PrecedingJSDocLeadingAsterisks";
   TokenFlags2[TokenFlags2["BinaryOrOctalSpecifier"] = 384] = "BinaryOrOctalSpecifier";
   TokenFlags2[TokenFlags2["WithSpecifier"] = 448] = "WithSpecifier";
   TokenFlags2[TokenFlags2["StringLiteralFlags"] = 7176] = "StringLiteralFlags";
@@ -11953,6 +11954,7 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
     hasExtendedUnicodeEscape: () => (tokenFlags & 8 /* ExtendedUnicodeEscape */) !== 0,
     hasPrecedingLineBreak: () => (tokenFlags & 1 /* PrecedingLineBreak */) !== 0,
     hasPrecedingJSDocComment: () => (tokenFlags & 2 /* PrecedingJSDocComment */) !== 0,
+    hasPrecedingJSDocLeadingAsterisks: () => (tokenFlags & 32768 /* PrecedingJSDocLeadingAsterisks */) !== 0,
     isIdentifier: () => token === 80 /* Identifier */ || token > 118 /* LastReservedWord */,
     isReservedWord: () => token >= 83 /* FirstReservedWord */ && token <= 118 /* LastReservedWord */,
     isUnterminated: () => (tokenFlags & 4 /* Unterminated */) !== 0,
@@ -12593,7 +12595,6 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
   function scan() {
     fullStartPos = pos;
     tokenFlags = 0 /* None */;
-    let asteriskSeen = false;
     while (true) {
       tokenStart = pos;
       if (pos >= end) {
@@ -12709,8 +12710,8 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
             return pos += 2, token = 43 /* AsteriskAsteriskToken */;
           }
           pos++;
-          if (skipJsDocLeadingAsterisks && !asteriskSeen && tokenFlags & 1 /* PrecedingLineBreak */) {
-            asteriskSeen = true;
+          if (skipJsDocLeadingAsterisks && (tokenFlags & 32768 /* PrecedingJSDocLeadingAsterisks */) === 0 && tokenFlags & 1 /* PrecedingLineBreak */) {
+            tokenFlags |= 32768 /* PrecedingJSDocLeadingAsterisks */;
             continue;
           }
           return token = 42 /* AsteriskToken */;
@@ -33200,7 +33201,7 @@ var Parser;
   function createIdentifier(isIdentifier3, diagnosticMessage, privateIdentifierDiagnosticMessage) {
     if (isIdentifier3) {
       identifierCount++;
-      const pos = getNodePos();
+      const pos = scanner2.hasPrecedingJSDocLeadingAsterisks() ? scanner2.getTokenStart() : getNodePos();
       const originalKeywordKind = token();
       const text = internIdentifier(scanner2.getTokenValue());
       const hasExtendedUnicodeEscape = scanner2.hasExtendedUnicodeEscape();
@@ -40330,6 +40331,7 @@ var commandOptionsWithoutBuild = [
     type: "boolean",
     affectsEmit: true,
     affectsBuildInfo: true,
+    affectsSourceFile: true,
     category: Diagnostics.Emit,
     description: Diagnostics.Allow_importing_helper_functions_from_tslib_once_per_project_instead_of_including_them_per_file,
     defaultValueDescription: false
@@ -40794,6 +40796,7 @@ var commandOptionsWithoutBuild = [
     affectsEmit: true,
     affectsBuildInfo: true,
     affectsModuleResolution: true,
+    affectsSourceFile: true,
     category: Diagnostics.Language_and_Environment,
     description: Diagnostics.Specify_module_specifier_used_to_import_the_JSX_factory_functions_when_using_jsx_Colon_react_jsx_Asterisk,
     defaultValueDescription: "react"
@@ -54031,11 +54034,11 @@ function createTypeChecker(host) {
     function tryReuseExistingTypeNode(context, typeNode, type, host2, addUndefined) {
       const originalType = type;
       if (addUndefined) {
-        type = getOptionalType(type);
+        type = getOptionalType(type, !isParameter(host2));
       }
       const clone2 = tryReuseExistingNonParameterTypeNode(context, typeNode, type, host2);
       if (clone2) {
-        if (addUndefined && !someType(getTypeFromTypeNode2(context, typeNode), (t) => !!(t.flags & 32768 /* Undefined */))) {
+        if (addUndefined && containsNonMissingUndefinedType(type) && !someType(getTypeFromTypeNode2(context, typeNode), (t) => !!(t.flags & 32768 /* Undefined */))) {
           return factory.createUnionTypeNode([clone2, factory.createKeywordTypeNode(157 /* UndefinedKeyword */)]);
         }
         return clone2;
@@ -55982,8 +55985,8 @@ function createTypeChecker(host) {
       return enclosingDeclaration;
     }
     function serializeTypeForDeclaration(context, declaration, type, symbol) {
-      var _a;
-      const addUndefined = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
+      var _a, _b;
+      const addUndefinedForParameter = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
       const enclosingDeclaration = context.enclosingDeclaration;
       const oldFlags = context.flags;
       if (declaration && hasInferredType(declaration) && !(context.flags & -2147483648 /* NoSyntacticPrinter */)) {
@@ -55994,6 +55997,7 @@ function createTypeChecker(host) {
         const declWithExistingAnnotation = declaration && getNonlocalEffectiveTypeAnnotationNode(declaration) ? declaration : getDeclarationWithTypeAnnotation(symbol);
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getNonlocalEffectiveTypeAnnotationNode(declWithExistingAnnotation);
+          const addUndefined = addUndefinedForParameter || !!(symbol.flags & 4 /* Property */ && symbol.flags & 16777216 /* Optional */ && isOptionalDeclaration(declWithExistingAnnotation) && ((_a = symbol.links) == null ? void 0 : _a.mappedType) && containsNonMissingUndefinedType(type));
           const result2 = !isTypePredicateNode(existing) && tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined);
           if (result2) {
             context.flags = oldFlags;
@@ -56004,9 +56008,9 @@ function createTypeChecker(host) {
       if (type.flags & 8192 /* UniqueESSymbol */ && type.symbol === symbol && (!context.enclosingDeclaration || some(symbol.declarations, (d) => getSourceFileOfNode(d) === getSourceFileOfNode(context.enclosingDeclaration)))) {
         context.flags |= 1048576 /* AllowUniqueESSymbolType */;
       }
-      const decl = declaration ?? symbol.valueDeclaration ?? ((_a = symbol.declarations) == null ? void 0 : _a[0]);
+      const decl = declaration ?? symbol.valueDeclaration ?? ((_b = symbol.declarations) == null ? void 0 : _b[0]);
       const expr = decl && isDeclarationWithPossibleInnerTypeNodeReuse(decl) ? getPossibleTypeNodeReuseExpression(decl) : void 0;
-      const result = expressionOrTypeToTypeNode(context, expr, type, addUndefined);
+      const result = expressionOrTypeToTypeNode(context, expr, type, addUndefinedForParameter);
       context.flags = oldFlags;
       return result;
     }
@@ -67287,6 +67291,10 @@ function createTypeChecker(host) {
   function containsUndefinedType(type) {
     return !!((type.flags & 1048576 /* Union */ ? type.types[0] : type).flags & 32768 /* Undefined */);
   }
+  function containsNonMissingUndefinedType(type) {
+    const candidate = type.flags & 1048576 /* Union */ ? type.types[0] : type;
+    return !!(candidate.flags & 32768 /* Undefined */) && candidate !== missingType;
+  }
   function isStringIndexSignatureOnlyType(type) {
     return type.flags & 524288 /* Object */ && !isGenericMappedType(type) && getPropertiesOfType(type).length === 0 && getIndexInfosOfType(type).length === 1 && !!getIndexInfoOfType(type, stringType) || type.flags & 3145728 /* UnionOrIntersection */ && every(type.types, isStringIndexSignatureOnlyType) || false;
   }
@@ -138879,6 +138887,7 @@ function isImportableSymbol(symbol, checker) {
 function forEachNameOfDefaultExport(defaultExport, checker, compilerOptions, preferCapitalizedNames, cb) {
   let chain;
   let current = defaultExport;
+  const seen = /* @__PURE__ */ new Map();
   while (current) {
     const fromDeclaration = getDefaultLikeExportNameFromDeclaration(current);
     if (fromDeclaration) {
@@ -138890,6 +138899,7 @@ function forEachNameOfDefaultExport(defaultExport, checker, compilerOptions, pre
       if (final) return final;
     }
     chain = append(chain, current);
+    if (!addToSeen(seen, current)) break;
     current = current.flags & 2097152 /* Alias */ ? checker.getImmediateAliasedSymbol(current) : void 0;
   }
   for (const symbol of chain ?? emptyArray) {

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.6.0-dev.20240710",
+    "version": "5.6.0-dev.20240711",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -113,5 +113,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "a6a0f4ad58fc0d1a66c4a844dbeb53a855c13ab5"
+    "gitHead": "e450c463c610136ee86392f90025e03071334def"
 }