@typescript-deploys/pr-build 5.3.0-pr-55779-6 → 5.3.0-pr-55793-6

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-insiders.20230919`;
+var version = `${versionMajorMinor}.0-insiders.20230920`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -16423,7 +16423,7 @@ function compilerOptionsAffectDeclarationPath(newOptions, oldOptions) {
   return optionsHaveChanges(oldOptions, newOptions, affectsDeclarationPathOptionDeclarations);
 }
 function getCompilerOptionValue(options, option) {
-  return option.strictFlag ? getStrictOptionValue(options, option.name) : options[option.name];
+  return option.strictFlag ? getStrictOptionValue(options, option.name) : option.allowJsFlag ? getAllowJSCompilerOption(options) : options[option.name];
 }
 function getJSXTransformEnabled(options) {
   const jsx = options.jsx;
@@ -34183,7 +34183,8 @@ var commandOptionsWithoutBuild = [
   {
     name: "allowJs",
     type: "boolean",
-    affectsModuleResolution: true,
+    allowJsFlag: true,
+    affectsBuildInfo: true,
     showInSimplifiedHelpView: true,
     category: Diagnostics.JavaScript_Support,
     description: Diagnostics.Allow_JavaScript_files_to_be_a_part_of_your_program_Use_the_checkJS_option_to_get_errors_from_these_files,
@@ -34193,6 +34194,8 @@ var commandOptionsWithoutBuild = [
     name: "checkJs",
     type: "boolean",
     affectsModuleResolution: true,
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
     showInSimplifiedHelpView: true,
     category: Diagnostics.JavaScript_Support,
     description: Diagnostics.Enable_error_reporting_in_type_checked_JavaScript_files,
@@ -34205,6 +34208,10 @@ var commandOptionsWithoutBuild = [
     affectsEmit: true,
     affectsBuildInfo: true,
     affectsModuleResolution: true,
+    // The checker emits an error when it sees JSX but this option is not set in compilerOptions.
+    // This is effectively a semantic error, so mark this option as affecting semantic diagnostics
+    // so we know to refresh errors when this option is changed.
+    affectsSemanticDiagnostics: true,
     paramType: Diagnostics.KIND,
     showInSimplifiedHelpView: true,
     category: Diagnostics.Language_and_Environment,
@@ -39922,7 +39929,7 @@ function createBinder() {
       case 36 /* ExclamationEqualsToken */:
       case 37 /* EqualsEqualsEqualsToken */:
       case 38 /* ExclamationEqualsEqualsToken */:
-        return isNarrowableOperand(expr.left) || isNarrowableOperand(expr.right) || isNarrowingTypeofOperands(expr.right, expr.left) || isNarrowingTypeofOperands(expr.left, expr.right);
+        return isNarrowableOperand(expr.left) || isNarrowableOperand(expr.right) || isNarrowingTypeofOperands(expr.right, expr.left) || isNarrowingTypeofOperands(expr.left, expr.right) || (isBooleanLiteral(expr.right) && isNarrowingExpression(expr.left) || isBooleanLiteral(expr.left) && isNarrowingExpression(expr.right));
       case 104 /* InstanceOfKeyword */:
         return isNarrowableOperand(expr.left);
       case 103 /* InKeyword */:
@@ -59697,8 +59704,16 @@ function createTypeChecker(host) {
     const paramCount = sourceRestType || targetRestType ? Math.min(sourceCount, targetCount) : Math.max(sourceCount, targetCount);
     const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
     for (let i = 0; i < paramCount; i++) {
-      const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-      const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+      const sourceType = i === restIndex ? getMutableArrayOrTupleType(
+        getRestTypeAtPosition(source, i),
+        /*forceVariadic*/
+        false
+      ) : tryGetTypeAtPosition(source, i);
+      const targetType = i === restIndex ? getMutableArrayOrTupleType(
+        getRestTypeAtPosition(target, i),
+        /*forceVariadic*/
+        false
+      ) : 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));
@@ -65807,6 +65822,10 @@ function createTypeChecker(host) {
       }
       return type;
     }
+    function narrowTypeByBooleanComparison(type, expr, bool, operator, assumeTrue) {
+      assumeTrue = assumeTrue !== (bool.kind === 112 /* TrueKeyword */) !== (operator !== 38 /* ExclamationEqualsEqualsToken */ && operator !== 36 /* ExclamationEqualsToken */);
+      return narrowType(type, expr, assumeTrue);
+    }
     function narrowTypeByBinaryExpression(type, expr, assumeTrue) {
       switch (expr.operatorToken.kind) {
         case 64 /* EqualsToken */:
@@ -65854,6 +65873,12 @@ function createTypeChecker(host) {
           if (isMatchingConstructorReference(right)) {
             return narrowTypeByConstructor(type, operator, left, assumeTrue);
           }
+          if (isBooleanLiteral(right)) {
+            return narrowTypeByBooleanComparison(type, left, right, operator, assumeTrue);
+          }
+          if (isBooleanLiteral(left)) {
+            return narrowTypeByBooleanComparison(type, right, left, operator, assumeTrue);
+          }
           break;
         case 104 /* InstanceOfKeyword */:
           return narrowTypeByInstanceof(type, expr, assumeTrue);
@@ -70208,14 +70233,14 @@ function createTypeChecker(host) {
     }
     return getInferredTypes(context);
   }
-  function getMutableArrayOrTupleType(type) {
-    return type.flags & 1048576 /* Union */ ? mapType(type, getMutableArrayOrTupleType) : type.flags & 1 /* Any */ || isMutableArrayOrTuple(getBaseConstraintOfType(type) || type) ? type : isTupleType(type) ? createTupleType(
+  function getMutableArrayOrTupleType(type, forceVariadic) {
+    return type.flags & 1048576 /* Union */ ? mapType(type, (t) => getMutableArrayOrTupleType(t, forceVariadic)) : type.flags & 1 /* Any */ || isMutableArrayOrTuple(getBaseConstraintOfType(type) || type) ? type : isTupleType(type) ? createTupleType(
       getElementTypes(type),
       type.target.elementFlags,
       /*readonly*/
       false,
       type.target.labeledElementDeclarations
-    ) : createTupleType([type], [8 /* Variadic */]);
+    ) : forceVariadic ? createTupleType([type], [8 /* Variadic */]) : type;
   }
   function getSpreadArgumentType(args, index, argCount, restType, context, checkMode) {
     const inConstContext = isConstTypeVariable(restType);
@@ -70224,7 +70249,11 @@ function createTypeChecker(host) {
       if (isSpreadArgument(arg)) {
         const spreadType = arg.kind === 237 /* SyntheticExpression */ ? arg.type : checkExpressionWithContextualType(arg.expression, restType, context, checkMode);
         if (isArrayLikeType(spreadType)) {
-          return getMutableArrayOrTupleType(spreadType);
+          return getMutableArrayOrTupleType(
+            spreadType,
+            /*forceVariadic*/
+            true
+          );
         }
         return createArrayType(checkIteratedTypeOrElementType(33 /* Spread */, spreadType, undefinedType, arg.kind === 230 /* SpreadElement */ ? arg.expression : arg), inConstContext);
       }

package/lib/tsserver.js

@@ -2328,7 +2328,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-insiders.20230919`;
+var version = `${versionMajorMinor}.0-insiders.20230920`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -20572,7 +20572,7 @@ function compilerOptionsAffectDeclarationPath(newOptions, oldOptions) {
   return optionsHaveChanges(oldOptions, newOptions, affectsDeclarationPathOptionDeclarations);
 }
 function getCompilerOptionValue(options, option) {
-  return option.strictFlag ? getStrictOptionValue(options, option.name) : options[option.name];
+  return option.strictFlag ? getStrictOptionValue(options, option.name) : option.allowJsFlag ? getAllowJSCompilerOption(options) : options[option.name];
 }
 function getJSXTransformEnabled(options) {
   const jsx = options.jsx;
@@ -38577,7 +38577,8 @@ var commandOptionsWithoutBuild = [
   {
     name: "allowJs",
     type: "boolean",
-    affectsModuleResolution: true,
+    allowJsFlag: true,
+    affectsBuildInfo: true,
     showInSimplifiedHelpView: true,
     category: Diagnostics.JavaScript_Support,
     description: Diagnostics.Allow_JavaScript_files_to_be_a_part_of_your_program_Use_the_checkJS_option_to_get_errors_from_these_files,
@@ -38587,6 +38588,8 @@ var commandOptionsWithoutBuild = [
     name: "checkJs",
     type: "boolean",
     affectsModuleResolution: true,
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
     showInSimplifiedHelpView: true,
     category: Diagnostics.JavaScript_Support,
     description: Diagnostics.Enable_error_reporting_in_type_checked_JavaScript_files,
@@ -38599,6 +38602,10 @@ var commandOptionsWithoutBuild = [
     affectsEmit: true,
     affectsBuildInfo: true,
     affectsModuleResolution: true,
+    // The checker emits an error when it sees JSX but this option is not set in compilerOptions.
+    // This is effectively a semantic error, so mark this option as affecting semantic diagnostics
+    // so we know to refresh errors when this option is changed.
+    affectsSemanticDiagnostics: true,
     paramType: Diagnostics.KIND,
     showInSimplifiedHelpView: true,
     category: Diagnostics.Language_and_Environment,
@@ -44577,7 +44584,7 @@ function createBinder() {
       case 36 /* ExclamationEqualsToken */:
       case 37 /* EqualsEqualsEqualsToken */:
       case 38 /* ExclamationEqualsEqualsToken */:
-        return isNarrowableOperand(expr.left) || isNarrowableOperand(expr.right) || isNarrowingTypeofOperands(expr.right, expr.left) || isNarrowingTypeofOperands(expr.left, expr.right);
+        return isNarrowableOperand(expr.left) || isNarrowableOperand(expr.right) || isNarrowingTypeofOperands(expr.right, expr.left) || isNarrowingTypeofOperands(expr.left, expr.right) || (isBooleanLiteral(expr.right) && isNarrowingExpression(expr.left) || isBooleanLiteral(expr.left) && isNarrowingExpression(expr.right));
       case 104 /* InstanceOfKeyword */:
         return isNarrowableOperand(expr.left);
       case 103 /* InKeyword */:
@@ -64397,8 +64404,16 @@ function createTypeChecker(host) {
     const paramCount = sourceRestType || targetRestType ? Math.min(sourceCount, targetCount) : Math.max(sourceCount, targetCount);
     const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
     for (let i = 0; i < paramCount; i++) {
-      const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-      const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+      const sourceType = i === restIndex ? getMutableArrayOrTupleType(
+        getRestTypeAtPosition(source, i),
+        /*forceVariadic*/
+        false
+      ) : tryGetTypeAtPosition(source, i);
+      const targetType = i === restIndex ? getMutableArrayOrTupleType(
+        getRestTypeAtPosition(target, i),
+        /*forceVariadic*/
+        false
+      ) : 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));
@@ -70507,6 +70522,10 @@ function createTypeChecker(host) {
       }
       return type;
     }
+    function narrowTypeByBooleanComparison(type, expr, bool, operator, assumeTrue) {
+      assumeTrue = assumeTrue !== (bool.kind === 112 /* TrueKeyword */) !== (operator !== 38 /* ExclamationEqualsEqualsToken */ && operator !== 36 /* ExclamationEqualsToken */);
+      return narrowType(type, expr, assumeTrue);
+    }
     function narrowTypeByBinaryExpression(type, expr, assumeTrue) {
       switch (expr.operatorToken.kind) {
         case 64 /* EqualsToken */:
@@ -70554,6 +70573,12 @@ function createTypeChecker(host) {
           if (isMatchingConstructorReference(right)) {
             return narrowTypeByConstructor(type, operator, left, assumeTrue);
           }
+          if (isBooleanLiteral(right)) {
+            return narrowTypeByBooleanComparison(type, left, right, operator, assumeTrue);
+          }
+          if (isBooleanLiteral(left)) {
+            return narrowTypeByBooleanComparison(type, right, left, operator, assumeTrue);
+          }
           break;
         case 104 /* InstanceOfKeyword */:
           return narrowTypeByInstanceof(type, expr, assumeTrue);
@@ -74908,14 +74933,14 @@ function createTypeChecker(host) {
     }
     return getInferredTypes(context);
   }
-  function getMutableArrayOrTupleType(type) {
-    return type.flags & 1048576 /* Union */ ? mapType(type, getMutableArrayOrTupleType) : type.flags & 1 /* Any */ || isMutableArrayOrTuple(getBaseConstraintOfType(type) || type) ? type : isTupleType(type) ? createTupleType(
+  function getMutableArrayOrTupleType(type, forceVariadic) {
+    return type.flags & 1048576 /* Union */ ? mapType(type, (t) => getMutableArrayOrTupleType(t, forceVariadic)) : type.flags & 1 /* Any */ || isMutableArrayOrTuple(getBaseConstraintOfType(type) || type) ? type : isTupleType(type) ? createTupleType(
       getElementTypes(type),
       type.target.elementFlags,
       /*readonly*/
       false,
       type.target.labeledElementDeclarations
-    ) : createTupleType([type], [8 /* Variadic */]);
+    ) : forceVariadic ? createTupleType([type], [8 /* Variadic */]) : type;
   }
   function getSpreadArgumentType(args, index, argCount, restType, context, checkMode) {
     const inConstContext = isConstTypeVariable(restType);
@@ -74924,7 +74949,11 @@ function createTypeChecker(host) {
       if (isSpreadArgument(arg)) {
         const spreadType = arg.kind === 237 /* SyntheticExpression */ ? arg.type : checkExpressionWithContextualType(arg.expression, restType, context, checkMode);
         if (isArrayLikeType(spreadType)) {
-          return getMutableArrayOrTupleType(spreadType);
+          return getMutableArrayOrTupleType(
+            spreadType,
+            /*forceVariadic*/
+            true
+          );
         }
         return createArrayType(checkIteratedTypeOrElementType(33 /* Spread */, spreadType, undefinedType, arg.kind === 230 /* SpreadElement */ ? arg.expression : arg), inConstContext);
       }
@@ -165327,6 +165356,11 @@ function getJsDocTagsFromDeclarations(declarations, checker) {
     }
     for (const tag of tags) {
       infos.push({ name: tag.tagName.text, text: getCommentDisplayParts(tag, checker) });
+      if (isJSDocPropertyLikeTag(tag) && tag.isNameFirst && tag.typeExpression && isJSDocTypeLiteral(tag.typeExpression.type)) {
+        forEach(tag.typeExpression.type.jsDocPropertyTags, (propTag) => {
+          infos.push({ name: propTag.tagName.text, text: getCommentDisplayParts(propTag, checker) });
+        });
+      }
     }
   });
   return infos;

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.3";
-      version = `${versionMajorMinor}.0-insiders.20230919`;
+      version = `${versionMajorMinor}.0-insiders.20230920`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -17860,7 +17860,7 @@ ${lanes.join("\n")}
     return optionsHaveChanges(oldOptions, newOptions, affectsDeclarationPathOptionDeclarations);
   }
   function getCompilerOptionValue(options, option) {
-    return option.strictFlag ? getStrictOptionValue(options, option.name) : options[option.name];
+    return option.strictFlag ? getStrictOptionValue(options, option.name) : option.allowJsFlag ? getAllowJSCompilerOption(options) : options[option.name];
   }
   function getJSXTransformEnabled(options) {
     const jsx = options.jsx;
@@ -38060,7 +38060,8 @@ ${lanes.join("\n")}
         {
           name: "allowJs",
           type: "boolean",
-          affectsModuleResolution: true,
+          allowJsFlag: true,
+          affectsBuildInfo: true,
           showInSimplifiedHelpView: true,
           category: Diagnostics.JavaScript_Support,
           description: Diagnostics.Allow_JavaScript_files_to_be_a_part_of_your_program_Use_the_checkJS_option_to_get_errors_from_these_files,
@@ -38070,6 +38071,8 @@ ${lanes.join("\n")}
           name: "checkJs",
           type: "boolean",
           affectsModuleResolution: true,
+          affectsSemanticDiagnostics: true,
+          affectsBuildInfo: true,
           showInSimplifiedHelpView: true,
           category: Diagnostics.JavaScript_Support,
           description: Diagnostics.Enable_error_reporting_in_type_checked_JavaScript_files,
@@ -38082,6 +38085,10 @@ ${lanes.join("\n")}
           affectsEmit: true,
           affectsBuildInfo: true,
           affectsModuleResolution: true,
+          // The checker emits an error when it sees JSX but this option is not set in compilerOptions.
+          // This is effectively a semantic error, so mark this option as affecting semantic diagnostics
+          // so we know to refresh errors when this option is changed.
+          affectsSemanticDiagnostics: true,
           paramType: Diagnostics.KIND,
           showInSimplifiedHelpView: true,
           category: Diagnostics.Language_and_Environment,
@@ -42424,7 +42431,7 @@ ${lanes.join("\n")}
         case 36 /* ExclamationEqualsToken */:
         case 37 /* EqualsEqualsEqualsToken */:
         case 38 /* ExclamationEqualsEqualsToken */:
-          return isNarrowableOperand(expr.left) || isNarrowableOperand(expr.right) || isNarrowingTypeofOperands(expr.right, expr.left) || isNarrowingTypeofOperands(expr.left, expr.right);
+          return isNarrowableOperand(expr.left) || isNarrowableOperand(expr.right) || isNarrowingTypeofOperands(expr.right, expr.left) || isNarrowingTypeofOperands(expr.left, expr.right) || (isBooleanLiteral(expr.right) && isNarrowingExpression(expr.left) || isBooleanLiteral(expr.left) && isNarrowingExpression(expr.right));
         case 104 /* InstanceOfKeyword */:
           return isNarrowableOperand(expr.left);
         case 103 /* InKeyword */:
@@ -62163,8 +62170,16 @@ ${lanes.join("\n")}
       const paramCount = sourceRestType || targetRestType ? Math.min(sourceCount, targetCount) : Math.max(sourceCount, targetCount);
       const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
       for (let i = 0; i < paramCount; i++) {
-        const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-        const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+        const sourceType = i === restIndex ? getMutableArrayOrTupleType(
+          getRestTypeAtPosition(source, i),
+          /*forceVariadic*/
+          false
+        ) : tryGetTypeAtPosition(source, i);
+        const targetType = i === restIndex ? getMutableArrayOrTupleType(
+          getRestTypeAtPosition(target, i),
+          /*forceVariadic*/
+          false
+        ) : 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));
@@ -68273,6 +68288,10 @@ ${lanes.join("\n")}
         }
         return type;
       }
+      function narrowTypeByBooleanComparison(type, expr, bool, operator, assumeTrue) {
+        assumeTrue = assumeTrue !== (bool.kind === 112 /* TrueKeyword */) !== (operator !== 38 /* ExclamationEqualsEqualsToken */ && operator !== 36 /* ExclamationEqualsToken */);
+        return narrowType(type, expr, assumeTrue);
+      }
       function narrowTypeByBinaryExpression(type, expr, assumeTrue) {
         switch (expr.operatorToken.kind) {
           case 64 /* EqualsToken */:
@@ -68320,6 +68339,12 @@ ${lanes.join("\n")}
             if (isMatchingConstructorReference(right)) {
               return narrowTypeByConstructor(type, operator, left, assumeTrue);
             }
+            if (isBooleanLiteral(right)) {
+              return narrowTypeByBooleanComparison(type, left, right, operator, assumeTrue);
+            }
+            if (isBooleanLiteral(left)) {
+              return narrowTypeByBooleanComparison(type, right, left, operator, assumeTrue);
+            }
             break;
           case 104 /* InstanceOfKeyword */:
             return narrowTypeByInstanceof(type, expr, assumeTrue);
@@ -72674,14 +72699,14 @@ ${lanes.join("\n")}
       }
       return getInferredTypes(context);
     }
-    function getMutableArrayOrTupleType(type) {
-      return type.flags & 1048576 /* Union */ ? mapType(type, getMutableArrayOrTupleType) : type.flags & 1 /* Any */ || isMutableArrayOrTuple(getBaseConstraintOfType(type) || type) ? type : isTupleType(type) ? createTupleType(
+    function getMutableArrayOrTupleType(type, forceVariadic) {
+      return type.flags & 1048576 /* Union */ ? mapType(type, (t) => getMutableArrayOrTupleType(t, forceVariadic)) : type.flags & 1 /* Any */ || isMutableArrayOrTuple(getBaseConstraintOfType(type) || type) ? type : isTupleType(type) ? createTupleType(
         getElementTypes(type),
         type.target.elementFlags,
         /*readonly*/
         false,
         type.target.labeledElementDeclarations
-      ) : createTupleType([type], [8 /* Variadic */]);
+      ) : forceVariadic ? createTupleType([type], [8 /* Variadic */]) : type;
     }
     function getSpreadArgumentType(args, index, argCount, restType, context, checkMode) {
       const inConstContext = isConstTypeVariable(restType);
@@ -72690,7 +72715,11 @@ ${lanes.join("\n")}
         if (isSpreadArgument(arg)) {
           const spreadType = arg.kind === 237 /* SyntheticExpression */ ? arg.type : checkExpressionWithContextualType(arg.expression, restType, context, checkMode);
           if (isArrayLikeType(spreadType)) {
-            return getMutableArrayOrTupleType(spreadType);
+            return getMutableArrayOrTupleType(
+              spreadType,
+              /*forceVariadic*/
+              true
+            );
           }
           return createArrayType(checkIteratedTypeOrElementType(33 /* Spread */, spreadType, undefinedType, arg.kind === 230 /* SpreadElement */ ? arg.expression : arg), inConstContext);
         }
@@ -164600,6 +164629,11 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       }
       for (const tag of tags) {
         infos.push({ name: tag.tagName.text, text: getCommentDisplayParts(tag, checker) });
+        if (isJSDocPropertyLikeTag(tag) && tag.isNameFirst && tag.typeExpression && isJSDocTypeLiteral(tag.typeExpression.type)) {
+          forEach(tag.typeExpression.type.jsDocPropertyTags, (propTag) => {
+            infos.push({ name: propTag.tagName.text, text: getCommentDisplayParts(propTag, checker) });
+          });
+        }
       }
     });
     return infos;

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-insiders.20230919`;
+var version = `${versionMajorMinor}.0-insiders.20230920`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -26005,7 +26005,8 @@ var commandOptionsWithoutBuild = [
   {
     name: "allowJs",
     type: "boolean",
-    affectsModuleResolution: true,
+    allowJsFlag: true,
+    affectsBuildInfo: true,
     showInSimplifiedHelpView: true,
     category: Diagnostics.JavaScript_Support,
     description: Diagnostics.Allow_JavaScript_files_to_be_a_part_of_your_program_Use_the_checkJS_option_to_get_errors_from_these_files,
@@ -26015,6 +26016,8 @@ var commandOptionsWithoutBuild = [
     name: "checkJs",
     type: "boolean",
     affectsModuleResolution: true,
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
     showInSimplifiedHelpView: true,
     category: Diagnostics.JavaScript_Support,
     description: Diagnostics.Enable_error_reporting_in_type_checked_JavaScript_files,
@@ -26027,6 +26030,10 @@ var commandOptionsWithoutBuild = [
     affectsEmit: true,
     affectsBuildInfo: true,
     affectsModuleResolution: true,
+    // The checker emits an error when it sees JSX but this option is not set in compilerOptions.
+    // This is effectively a semantic error, so mark this option as affecting semantic diagnostics
+    // so we know to refresh errors when this option is changed.
+    affectsSemanticDiagnostics: true,
     paramType: Diagnostics.KIND,
     showInSimplifiedHelpView: true,
     category: Diagnostics.Language_and_Environment,

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.3.0-pr-55779-6",
+  "version": "5.3.0-pr-55793-6",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -114,5 +114,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "1bd6193dd17b73a073ca88599548ec08e4db3f2f"
+  "gitHead": "090f760a7fea5adf2a8e4d1e6483f7140cdf90a2"
 }