typescript 5.0.0-dev.20221229 → 5.0.0-dev.20221230

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-dev.20221229`;
+var version = `${versionMajorMinor}.0-dev.20221230`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -3416,6 +3416,7 @@ var NodeFlags = /* @__PURE__ */ ((NodeFlags3) => {
   NodeFlags3[NodeFlags3["JsonFile"] = 67108864] = "JsonFile";
   NodeFlags3[NodeFlags3["TypeCached"] = 134217728] = "TypeCached";
   NodeFlags3[NodeFlags3["Deprecated"] = 268435456] = "Deprecated";
+  NodeFlags3[NodeFlags3["ConditionalTypeContext"] = 536870912] = "ConditionalTypeContext";
   NodeFlags3[NodeFlags3["BlockScoped"] = 3] = "BlockScoped";
   NodeFlags3[NodeFlags3["ReachabilityCheckFlags"] = 768] = "ReachabilityCheckFlags";
   NodeFlags3[NodeFlags3["ReachabilityAndEmitFlags"] = 2816] = "ReachabilityAndEmitFlags";
@@ -7208,6 +7209,8 @@ var Diagnostics = {
   The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_compiler_option: diag(17016, 1 /* Error */, "The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_com_17016", "The 'jsxFragmentFactory' compiler option must be provided to use JSX fragments with the 'jsxFactory' compiler option."),
   An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments: diag(17017, 1 /* Error */, "An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments_17017", "An @jsxFrag pragma is required when using an @jsx pragma with JSX fragments."),
   Unknown_type_acquisition_option_0_Did_you_mean_1: diag(17018, 1 /* Error */, "Unknown_type_acquisition_option_0_Did_you_mean_1_17018", "Unknown type acquisition option '{0}'. Did you mean '{1}'?"),
+  _0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17019, 1 /* Error */, "_0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17019", "'{0}' at the end of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
+  _0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17020, 1 /* Error */, "_0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17020", "'{0}' at the start of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
   Circularity_detected_while_resolving_configuration_Colon_0: diag(18e3, 1 /* Error */, "Circularity_detected_while_resolving_configuration_Colon_0_18000", "Circularity detected while resolving configuration: {0}"),
   The_files_list_in_config_file_0_is_empty: diag(18002, 1 /* Error */, "The_files_list_in_config_file_0_is_empty_18002", "The 'files' list in config file '{0}' is empty."),
   No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2: diag(18003, 1 /* Error */, "No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2_18003", "No inputs were found in config file '{0}'. Specified 'include' paths were '{1}' and 'exclude' paths were '{2}'."),
@@ -58578,7 +58581,7 @@ function createTypeChecker(host) {
       return type;
     }
     function narrowType(type, expr, assumeTrue) {
-      if (isExpressionOfOptionalChainRoot(expr) || isBinaryExpression(expr.parent) && expr.parent.operatorToken.kind === 60 /* QuestionQuestionToken */ && expr.parent.left === expr) {
+      if (isExpressionOfOptionalChainRoot(expr) || isBinaryExpression(expr.parent) && (expr.parent.operatorToken.kind === 60 /* QuestionQuestionToken */ || expr.parent.operatorToken.kind === 77 /* QuestionQuestionEqualsToken */) && expr.parent.left === expr) {
         return narrowTypeByOptionality(type, expr, assumeTrue);
       }
       switch (expr.kind) {
@@ -70796,7 +70799,17 @@ function createTypeChecker(host) {
   }
   function checkJSDocTypeIsInJsFile(node) {
     if (!isInJSFile(node)) {
-      grammarErrorOnNode(node, Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments);
+      if (isJSDocNonNullableType(node) || isJSDocNullableType(node)) {
+        const token = tokenToString(isJSDocNonNullableType(node) ? 53 /* ExclamationToken */ : 57 /* QuestionToken */);
+        const diagnostic = node.postfix ? Diagnostics._0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1 : Diagnostics._0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1;
+        const typeNode = node.type;
+        const type = getTypeFromTypeNode(typeNode);
+        grammarErrorOnNode(node, diagnostic, token, typeToString(
+          isJSDocNullableType(node) && !(type === neverType || type === voidType) ? getUnionType(append([type, undefinedType], node.postfix ? void 0 : nullType)) : type
+        ));
+      } else {
+        grammarErrorOnNode(node, Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments);
+      }
     }
   }
   function checkJSDocVariadicType(node) {

package/lib/tsserver.js

@@ -2670,7 +2670,7 @@ __export(ts_server_exports3, {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-dev.20221229`;
+var version = `${versionMajorMinor}.0-dev.20221230`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -6576,6 +6576,7 @@ var NodeFlags = /* @__PURE__ */ ((NodeFlags4) => {
   NodeFlags4[NodeFlags4["JsonFile"] = 67108864] = "JsonFile";
   NodeFlags4[NodeFlags4["TypeCached"] = 134217728] = "TypeCached";
   NodeFlags4[NodeFlags4["Deprecated"] = 268435456] = "Deprecated";
+  NodeFlags4[NodeFlags4["ConditionalTypeContext"] = 536870912] = "ConditionalTypeContext";
   NodeFlags4[NodeFlags4["BlockScoped"] = 3] = "BlockScoped";
   NodeFlags4[NodeFlags4["ReachabilityCheckFlags"] = 768] = "ReachabilityCheckFlags";
   NodeFlags4[NodeFlags4["ReachabilityAndEmitFlags"] = 2816] = "ReachabilityAndEmitFlags";
@@ -11156,6 +11157,8 @@ var Diagnostics = {
   The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_compiler_option: diag(17016, 1 /* Error */, "The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_com_17016", "The 'jsxFragmentFactory' compiler option must be provided to use JSX fragments with the 'jsxFactory' compiler option."),
   An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments: diag(17017, 1 /* Error */, "An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments_17017", "An @jsxFrag pragma is required when using an @jsx pragma with JSX fragments."),
   Unknown_type_acquisition_option_0_Did_you_mean_1: diag(17018, 1 /* Error */, "Unknown_type_acquisition_option_0_Did_you_mean_1_17018", "Unknown type acquisition option '{0}'. Did you mean '{1}'?"),
+  _0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17019, 1 /* Error */, "_0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17019", "'{0}' at the end of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
+  _0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17020, 1 /* Error */, "_0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17020", "'{0}' at the start of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
   Circularity_detected_while_resolving_configuration_Colon_0: diag(18e3, 1 /* Error */, "Circularity_detected_while_resolving_configuration_Colon_0_18000", "Circularity detected while resolving configuration: {0}"),
   The_files_list_in_config_file_0_is_empty: diag(18002, 1 /* Error */, "The_files_list_in_config_file_0_is_empty_18002", "The 'files' list in config file '{0}' is empty."),
   No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2: diag(18003, 1 /* Error */, "No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2_18003", "No inputs were found in config file '{0}'. Specified 'include' paths were '{1}' and 'exclude' paths were '{2}'."),
@@ -63554,7 +63557,7 @@ function createTypeChecker(host) {
       return type;
     }
     function narrowType(type, expr, assumeTrue) {
-      if (isExpressionOfOptionalChainRoot(expr) || isBinaryExpression(expr.parent) && expr.parent.operatorToken.kind === 60 /* QuestionQuestionToken */ && expr.parent.left === expr) {
+      if (isExpressionOfOptionalChainRoot(expr) || isBinaryExpression(expr.parent) && (expr.parent.operatorToken.kind === 60 /* QuestionQuestionToken */ || expr.parent.operatorToken.kind === 77 /* QuestionQuestionEqualsToken */) && expr.parent.left === expr) {
         return narrowTypeByOptionality(type, expr, assumeTrue);
       }
       switch (expr.kind) {
@@ -75772,7 +75775,17 @@ function createTypeChecker(host) {
   }
   function checkJSDocTypeIsInJsFile(node) {
     if (!isInJSFile(node)) {
-      grammarErrorOnNode(node, Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments);
+      if (isJSDocNonNullableType(node) || isJSDocNullableType(node)) {
+        const token = tokenToString(isJSDocNonNullableType(node) ? 53 /* ExclamationToken */ : 57 /* QuestionToken */);
+        const diagnostic = node.postfix ? Diagnostics._0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1 : Diagnostics._0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1;
+        const typeNode = node.type;
+        const type = getTypeFromTypeNode(typeNode);
+        grammarErrorOnNode(node, diagnostic, token, typeToString(
+          isJSDocNullableType(node) && !(type === neverType || type === voidType) ? getUnionType(append([type, undefinedType], node.postfix ? void 0 : nullType)) : type
+        ));
+      } else {
+        grammarErrorOnNode(node, Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments);
+      }
     }
   }
   function checkJSDocVariadicType(node) {
@@ -131780,7 +131793,11 @@ function doChange19(changes, sourceFile, start2) {
 // src/services/codefixes/fixJSDocTypes.ts
 var fixIdPlain = "fixJSDocTypes_plain";
 var fixIdNullable = "fixJSDocTypes_nullable";
-var errorCodes44 = [Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments.code];
+var errorCodes44 = [
+  Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments.code,
+  Diagnostics._0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1.code,
+  Diagnostics._0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1.code
+];
 registerCodeFix({
   errorCodes: errorCodes44,
   getCodeActions(context) {
@@ -131793,7 +131810,7 @@ registerCodeFix({
     const original = typeNode.getText(sourceFile);
     const actions2 = [fix(type, fixIdPlain, Diagnostics.Change_all_jsdoc_style_types_to_TypeScript)];
     if (typeNode.kind === 317 /* JSDocNullableType */) {
-      actions2.push(fix(checker.getNullableType(type, 32768 /* Undefined */), fixIdNullable, Diagnostics.Change_all_jsdoc_style_types_to_TypeScript_and_add_undefined_to_nullable_types));
+      actions2.push(fix(type, fixIdNullable, Diagnostics.Change_all_jsdoc_style_types_to_TypeScript_and_add_undefined_to_nullable_types));
     }
     return actions2;
     function fix(type2, fixId52, fixAllDescription) {
@@ -131821,7 +131838,7 @@ function doChange20(changes, sourceFile, oldTypeNode, newType, checker) {
 function getInfo11(sourceFile, pos, checker) {
   const decl = findAncestor(getTokenAtPosition(sourceFile, pos), isTypeContainer);
   const typeNode = decl && decl.type;
-  return typeNode && { typeNode, type: checker.getTypeFromTypeNode(typeNode) };
+  return typeNode && { typeNode, type: getType(checker, typeNode) };
 }
 function isTypeContainer(node) {
   switch (node.kind) {
@@ -131846,6 +131863,18 @@ function isTypeContainer(node) {
       return false;
   }
 }
+function getType(checker, node) {
+  if (isJSDocNullableType(node)) {
+    const type = checker.getTypeFromTypeNode(node.type);
+    if (type === checker.getNeverType() || type === checker.getVoidType()) {
+      return type;
+    }
+    return checker.getUnionType(
+      append([type, checker.getUndefinedType()], node.postfix ? void 0 : checker.getNullType())
+    );
+  }
+  return checker.getTypeFromTypeNode(node);
+}
 
 // src/services/codefixes/fixMissingCallParentheses.ts
 var fixId35 = "fixMissingCallParentheses";

package/lib/tsserverlibrary.js

@@ -42,7 +42,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-dev.20221229`;
+      version = `${versionMajorMinor}.0-dev.20221230`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -4006,6 +4006,7 @@ ${lanes.join("\n")}
         NodeFlags4[NodeFlags4["JsonFile"] = 67108864] = "JsonFile";
         NodeFlags4[NodeFlags4["TypeCached"] = 134217728] = "TypeCached";
         NodeFlags4[NodeFlags4["Deprecated"] = 268435456] = "Deprecated";
+        NodeFlags4[NodeFlags4["ConditionalTypeContext"] = 536870912] = "ConditionalTypeContext";
         NodeFlags4[NodeFlags4["BlockScoped"] = 3] = "BlockScoped";
         NodeFlags4[NodeFlags4["ReachabilityCheckFlags"] = 768] = "ReachabilityCheckFlags";
         NodeFlags4[NodeFlags4["ReachabilityAndEmitFlags"] = 2816] = "ReachabilityAndEmitFlags";
@@ -8603,6 +8604,8 @@ ${lanes.join("\n")}
         The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_compiler_option: diag(17016, 1 /* Error */, "The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_com_17016", "The 'jsxFragmentFactory' compiler option must be provided to use JSX fragments with the 'jsxFactory' compiler option."),
         An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments: diag(17017, 1 /* Error */, "An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments_17017", "An @jsxFrag pragma is required when using an @jsx pragma with JSX fragments."),
         Unknown_type_acquisition_option_0_Did_you_mean_1: diag(17018, 1 /* Error */, "Unknown_type_acquisition_option_0_Did_you_mean_1_17018", "Unknown type acquisition option '{0}'. Did you mean '{1}'?"),
+        _0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17019, 1 /* Error */, "_0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17019", "'{0}' at the end of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
+        _0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17020, 1 /* Error */, "_0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17020", "'{0}' at the start of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
         Circularity_detected_while_resolving_configuration_Colon_0: diag(18e3, 1 /* Error */, "Circularity_detected_while_resolving_configuration_Colon_0_18000", "Circularity detected while resolving configuration: {0}"),
         The_files_list_in_config_file_0_is_empty: diag(18002, 1 /* Error */, "The_files_list_in_config_file_0_is_empty_18002", "The 'files' list in config file '{0}' is empty."),
         No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2: diag(18003, 1 /* Error */, "No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2_18003", "No inputs were found in config file '{0}'. Specified 'include' paths were '{1}' and 'exclude' paths were '{2}'."),
@@ -60988,7 +60991,7 @@ ${lanes.join("\n")}
         return type;
       }
       function narrowType(type, expr, assumeTrue) {
-        if (isExpressionOfOptionalChainRoot(expr) || isBinaryExpression(expr.parent) && expr.parent.operatorToken.kind === 60 /* QuestionQuestionToken */ && expr.parent.left === expr) {
+        if (isExpressionOfOptionalChainRoot(expr) || isBinaryExpression(expr.parent) && (expr.parent.operatorToken.kind === 60 /* QuestionQuestionToken */ || expr.parent.operatorToken.kind === 77 /* QuestionQuestionEqualsToken */) && expr.parent.left === expr) {
           return narrowTypeByOptionality(type, expr, assumeTrue);
         }
         switch (expr.kind) {
@@ -73206,7 +73209,17 @@ ${lanes.join("\n")}
     }
     function checkJSDocTypeIsInJsFile(node) {
       if (!isInJSFile(node)) {
-        grammarErrorOnNode(node, Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments);
+        if (isJSDocNonNullableType(node) || isJSDocNullableType(node)) {
+          const token = tokenToString(isJSDocNonNullableType(node) ? 53 /* ExclamationToken */ : 57 /* QuestionToken */);
+          const diagnostic = node.postfix ? Diagnostics._0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1 : Diagnostics._0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1;
+          const typeNode = node.type;
+          const type = getTypeFromTypeNode(typeNode);
+          grammarErrorOnNode(node, diagnostic, token, typeToString(
+            isJSDocNullableType(node) && !(type === neverType || type === voidType) ? getUnionType(append([type, undefinedType], node.postfix ? void 0 : nullType)) : type
+          ));
+        } else {
+          grammarErrorOnNode(node, Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments);
+        }
       }
     }
     function checkJSDocVariadicType(node) {
@@ -127599,7 +127612,7 @@ ${lanes.join("\n")}
   function getInfo11(sourceFile, pos, checker) {
     const decl = findAncestor(getTokenAtPosition(sourceFile, pos), isTypeContainer);
     const typeNode = decl && decl.type;
-    return typeNode && { typeNode, type: checker.getTypeFromTypeNode(typeNode) };
+    return typeNode && { typeNode, type: getType(checker, typeNode) };
   }
   function isTypeContainer(node) {
     switch (node.kind) {
@@ -127624,6 +127637,18 @@ ${lanes.join("\n")}
         return false;
     }
   }
+  function getType(checker, node) {
+    if (isJSDocNullableType(node)) {
+      const type = checker.getTypeFromTypeNode(node.type);
+      if (type === checker.getNeverType() || type === checker.getVoidType()) {
+        return type;
+      }
+      return checker.getUnionType(
+        append([type, checker.getUndefinedType()], node.postfix ? void 0 : checker.getNullType())
+      );
+    }
+    return checker.getTypeFromTypeNode(node);
+  }
   var fixIdPlain, fixIdNullable, errorCodes44;
   var init_fixJSDocTypes = __esm({
     "src/services/codefixes/fixJSDocTypes.ts"() {
@@ -127632,7 +127657,11 @@ ${lanes.join("\n")}
       init_ts_codefix();
       fixIdPlain = "fixJSDocTypes_plain";
       fixIdNullable = "fixJSDocTypes_nullable";
-      errorCodes44 = [Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments.code];
+      errorCodes44 = [
+        Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments.code,
+        Diagnostics._0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1.code,
+        Diagnostics._0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1.code
+      ];
       registerCodeFix({
         errorCodes: errorCodes44,
         getCodeActions(context) {
@@ -127645,7 +127674,7 @@ ${lanes.join("\n")}
           const original = typeNode.getText(sourceFile);
           const actions2 = [fix(type, fixIdPlain, Diagnostics.Change_all_jsdoc_style_types_to_TypeScript)];
           if (typeNode.kind === 317 /* JSDocNullableType */) {
-            actions2.push(fix(checker.getNullableType(type, 32768 /* Undefined */), fixIdNullable, Diagnostics.Change_all_jsdoc_style_types_to_TypeScript_and_add_undefined_to_nullable_types));
+            actions2.push(fix(type, fixIdNullable, Diagnostics.Change_all_jsdoc_style_types_to_TypeScript_and_add_undefined_to_nullable_types));
           }
           return actions2;
           function fix(type2, fixId52, fixAllDescription) {

package/lib/typescript.js

@@ -42,7 +42,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-dev.20221229`;
+      version = `${versionMajorMinor}.0-dev.20221230`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -4006,6 +4006,7 @@ ${lanes.join("\n")}
         NodeFlags4[NodeFlags4["JsonFile"] = 67108864] = "JsonFile";
         NodeFlags4[NodeFlags4["TypeCached"] = 134217728] = "TypeCached";
         NodeFlags4[NodeFlags4["Deprecated"] = 268435456] = "Deprecated";
+        NodeFlags4[NodeFlags4["ConditionalTypeContext"] = 536870912] = "ConditionalTypeContext";
         NodeFlags4[NodeFlags4["BlockScoped"] = 3] = "BlockScoped";
         NodeFlags4[NodeFlags4["ReachabilityCheckFlags"] = 768] = "ReachabilityCheckFlags";
         NodeFlags4[NodeFlags4["ReachabilityAndEmitFlags"] = 2816] = "ReachabilityAndEmitFlags";
@@ -8603,6 +8604,8 @@ ${lanes.join("\n")}
         The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_compiler_option: diag(17016, 1 /* Error */, "The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_com_17016", "The 'jsxFragmentFactory' compiler option must be provided to use JSX fragments with the 'jsxFactory' compiler option."),
         An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments: diag(17017, 1 /* Error */, "An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments_17017", "An @jsxFrag pragma is required when using an @jsx pragma with JSX fragments."),
         Unknown_type_acquisition_option_0_Did_you_mean_1: diag(17018, 1 /* Error */, "Unknown_type_acquisition_option_0_Did_you_mean_1_17018", "Unknown type acquisition option '{0}'. Did you mean '{1}'?"),
+        _0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17019, 1 /* Error */, "_0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17019", "'{0}' at the end of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
+        _0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17020, 1 /* Error */, "_0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17020", "'{0}' at the start of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
         Circularity_detected_while_resolving_configuration_Colon_0: diag(18e3, 1 /* Error */, "Circularity_detected_while_resolving_configuration_Colon_0_18000", "Circularity detected while resolving configuration: {0}"),
         The_files_list_in_config_file_0_is_empty: diag(18002, 1 /* Error */, "The_files_list_in_config_file_0_is_empty_18002", "The 'files' list in config file '{0}' is empty."),
         No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2: diag(18003, 1 /* Error */, "No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2_18003", "No inputs were found in config file '{0}'. Specified 'include' paths were '{1}' and 'exclude' paths were '{2}'."),
@@ -60988,7 +60991,7 @@ ${lanes.join("\n")}
         return type;
       }
       function narrowType(type, expr, assumeTrue) {
-        if (isExpressionOfOptionalChainRoot(expr) || isBinaryExpression(expr.parent) && expr.parent.operatorToken.kind === 60 /* QuestionQuestionToken */ && expr.parent.left === expr) {
+        if (isExpressionOfOptionalChainRoot(expr) || isBinaryExpression(expr.parent) && (expr.parent.operatorToken.kind === 60 /* QuestionQuestionToken */ || expr.parent.operatorToken.kind === 77 /* QuestionQuestionEqualsToken */) && expr.parent.left === expr) {
           return narrowTypeByOptionality(type, expr, assumeTrue);
         }
         switch (expr.kind) {
@@ -73206,7 +73209,17 @@ ${lanes.join("\n")}
     }
     function checkJSDocTypeIsInJsFile(node) {
       if (!isInJSFile(node)) {
-        grammarErrorOnNode(node, Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments);
+        if (isJSDocNonNullableType(node) || isJSDocNullableType(node)) {
+          const token = tokenToString(isJSDocNonNullableType(node) ? 53 /* ExclamationToken */ : 57 /* QuestionToken */);
+          const diagnostic = node.postfix ? Diagnostics._0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1 : Diagnostics._0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1;
+          const typeNode = node.type;
+          const type = getTypeFromTypeNode(typeNode);
+          grammarErrorOnNode(node, diagnostic, token, typeToString(
+            isJSDocNullableType(node) && !(type === neverType || type === voidType) ? getUnionType(append([type, undefinedType], node.postfix ? void 0 : nullType)) : type
+          ));
+        } else {
+          grammarErrorOnNode(node, Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments);
+        }
       }
     }
     function checkJSDocVariadicType(node) {
@@ -127613,7 +127626,7 @@ ${lanes.join("\n")}
   function getInfo11(sourceFile, pos, checker) {
     const decl = findAncestor(getTokenAtPosition(sourceFile, pos), isTypeContainer);
     const typeNode = decl && decl.type;
-    return typeNode && { typeNode, type: checker.getTypeFromTypeNode(typeNode) };
+    return typeNode && { typeNode, type: getType(checker, typeNode) };
   }
   function isTypeContainer(node) {
     switch (node.kind) {
@@ -127638,6 +127651,18 @@ ${lanes.join("\n")}
         return false;
     }
   }
+  function getType(checker, node) {
+    if (isJSDocNullableType(node)) {
+      const type = checker.getTypeFromTypeNode(node.type);
+      if (type === checker.getNeverType() || type === checker.getVoidType()) {
+        return type;
+      }
+      return checker.getUnionType(
+        append([type, checker.getUndefinedType()], node.postfix ? void 0 : checker.getNullType())
+      );
+    }
+    return checker.getTypeFromTypeNode(node);
+  }
   var fixIdPlain, fixIdNullable, errorCodes44;
   var init_fixJSDocTypes = __esm({
     "src/services/codefixes/fixJSDocTypes.ts"() {
@@ -127646,7 +127671,11 @@ ${lanes.join("\n")}
       init_ts_codefix();
       fixIdPlain = "fixJSDocTypes_plain";
       fixIdNullable = "fixJSDocTypes_nullable";
-      errorCodes44 = [Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments.code];
+      errorCodes44 = [
+        Diagnostics.JSDoc_types_can_only_be_used_inside_documentation_comments.code,
+        Diagnostics._0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1.code,
+        Diagnostics._0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1.code
+      ];
       registerCodeFix({
         errorCodes: errorCodes44,
         getCodeActions(context) {
@@ -127659,7 +127688,7 @@ ${lanes.join("\n")}
           const original = typeNode.getText(sourceFile);
           const actions2 = [fix(type, fixIdPlain, Diagnostics.Change_all_jsdoc_style_types_to_TypeScript)];
           if (typeNode.kind === 317 /* JSDocNullableType */) {
-            actions2.push(fix(checker.getNullableType(type, 32768 /* Undefined */), fixIdNullable, Diagnostics.Change_all_jsdoc_style_types_to_TypeScript_and_add_undefined_to_nullable_types));
+            actions2.push(fix(type, fixIdNullable, Diagnostics.Change_all_jsdoc_style_types_to_TypeScript_and_add_undefined_to_nullable_types));
           }
           return actions2;
           function fix(type2, fixId52, fixAllDescription) {

package/lib/typingsInstaller.js

@@ -50,7 +50,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-dev.20221229`;
+var version = `${versionMajorMinor}.0-dev.20221230`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -2929,6 +2929,7 @@ var NodeFlags = /* @__PURE__ */ ((NodeFlags3) => {
   NodeFlags3[NodeFlags3["JsonFile"] = 67108864] = "JsonFile";
   NodeFlags3[NodeFlags3["TypeCached"] = 134217728] = "TypeCached";
   NodeFlags3[NodeFlags3["Deprecated"] = 268435456] = "Deprecated";
+  NodeFlags3[NodeFlags3["ConditionalTypeContext"] = 536870912] = "ConditionalTypeContext";
   NodeFlags3[NodeFlags3["BlockScoped"] = 3] = "BlockScoped";
   NodeFlags3[NodeFlags3["ReachabilityCheckFlags"] = 768] = "ReachabilityCheckFlags";
   NodeFlags3[NodeFlags3["ReachabilityAndEmitFlags"] = 2816] = "ReachabilityAndEmitFlags";
@@ -6651,6 +6652,8 @@ var Diagnostics = {
   The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_compiler_option: diag(17016, 1 /* Error */, "The_jsxFragmentFactory_compiler_option_must_be_provided_to_use_JSX_fragments_with_the_jsxFactory_com_17016", "The 'jsxFragmentFactory' compiler option must be provided to use JSX fragments with the 'jsxFactory' compiler option."),
   An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments: diag(17017, 1 /* Error */, "An_jsxFrag_pragma_is_required_when_using_an_jsx_pragma_with_JSX_fragments_17017", "An @jsxFrag pragma is required when using an @jsx pragma with JSX fragments."),
   Unknown_type_acquisition_option_0_Did_you_mean_1: diag(17018, 1 /* Error */, "Unknown_type_acquisition_option_0_Did_you_mean_1_17018", "Unknown type acquisition option '{0}'. Did you mean '{1}'?"),
+  _0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17019, 1 /* Error */, "_0_at_the_end_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17019", "'{0}' at the end of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
+  _0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1: diag(17020, 1 /* Error */, "_0_at_the_start_of_a_type_is_not_valid_TypeScript_syntax_Did_you_mean_to_write_1_17020", "'{0}' at the start of a type is not valid TypeScript syntax. Did you mean to write '{1}'?"),
   Circularity_detected_while_resolving_configuration_Colon_0: diag(18e3, 1 /* Error */, "Circularity_detected_while_resolving_configuration_Colon_0_18000", "Circularity detected while resolving configuration: {0}"),
   The_files_list_in_config_file_0_is_empty: diag(18002, 1 /* Error */, "The_files_list_in_config_file_0_is_empty_18002", "The 'files' list in config file '{0}' is empty."),
   No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2: diag(18003, 1 /* Error */, "No_inputs_were_found_in_config_file_0_Specified_include_paths_were_1_and_exclude_paths_were_2_18003", "No inputs were found in config file '{0}'. Specified 'include' paths were '{1}' and 'exclude' paths were '{2}'."),

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.0.0-dev.20221229",
+    "version": "5.0.0-dev.20221230",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [