typescript 5.6.0-dev.20240722 → 5.6.0-dev.20240723

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.20240722`;
+var version = `${versionMajorMinor}.0-dev.20240723`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -4969,7 +4969,7 @@ var sys = (() => {
       setTimeout,
       clearTimeout,
       clearScreen: () => {
-        process.stdout.write("\x1Bc");
+        process.stdout.write("\x1B[2J\x1B[3J\x1B[H");
       },
       setBlocking: () => {
         var _a;
@@ -6691,6 +6691,11 @@ var Diagnostics = {
   Import_0_conflicts_with_global_value_used_in_this_file_so_must_be_declared_with_a_type_only_import_when_isolatedModules_is_enabled: diag(2866, 1 /* Error */, "Import_0_conflicts_with_global_value_used_in_this_file_so_must_be_declared_with_a_type_only_import_w_2866", "Import '{0}' conflicts with global value used in this file, so must be declared with a type-only import when 'isolatedModules' is enabled."),
   Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun: diag(2867, 1 /* Error */, "Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun_2867", "Cannot find name '{0}'. Do you need to install type definitions for Bun? Try `npm i --save-dev @types/bun`."),
   Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun_and_then_add_bun_to_the_types_field_in_your_tsconfig: diag(2868, 1 /* Error */, "Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun_2868", "Cannot find name '{0}'. Do you need to install type definitions for Bun? Try `npm i --save-dev @types/bun` and then add 'bun' to the types field in your tsconfig."),
+  Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish: diag(2869, 1 /* Error */, "Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish_2869", "Right operand of ?? is unreachable because the left operand is never nullish."),
+  This_binary_expression_is_never_nullish_Are_you_missing_parentheses: diag(2870, 1 /* Error */, "This_binary_expression_is_never_nullish_Are_you_missing_parentheses_2870", "This binary expression is never nullish. Are you missing parentheses?"),
+  This_expression_is_always_nullish: diag(2871, 1 /* Error */, "This_expression_is_always_nullish_2871", "This expression is always nullish."),
+  This_kind_of_expression_is_always_truthy: diag(2872, 1 /* Error */, "This_kind_of_expression_is_always_truthy_2872", "This kind of expression is always truthy."),
+  This_kind_of_expression_is_always_falsy: diag(2873, 1 /* Error */, "This_kind_of_expression_is_always_falsy_2873", "This kind of expression is always falsy."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -77686,7 +77691,7 @@ function createTypeChecker(host) {
         setLastResult(state, checkExpression(node.right, checkMode));
         return state;
       }
-      checkGrammarNullishCoalesceWithLogicalExpression(node);
+      checkNullishCoalesceOperands(node);
       const operator = node.operatorToken.kind;
       if (operator === 64 /* EqualsToken */ && (node.left.kind === 210 /* ObjectLiteralExpression */ || node.left.kind === 209 /* ArrayLiteralExpression */)) {
         state.skip = true;
@@ -77719,7 +77724,9 @@ function createTypeChecker(host) {
           if (operator === 56 /* AmpersandAmpersandToken */ || isIfStatement(parent)) {
             checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(node.left, leftType, isIfStatement(parent) ? parent.thenStatement : void 0);
           }
-          checkTruthinessOfType(leftType, node.left);
+          if (isBinaryLogicalOperator(operator)) {
+            checkTruthinessOfType(leftType, node.left);
+          }
         }
       }
     }
@@ -77776,7 +77783,7 @@ function createTypeChecker(host) {
       state.typeStack[state.stackIndex + 1] = type;
     }
   }
-  function checkGrammarNullishCoalesceWithLogicalExpression(node) {
+  function checkNullishCoalesceOperands(node) {
     const { left, operatorToken, right } = node;
     if (operatorToken.kind === 61 /* QuestionQuestionToken */) {
       if (isBinaryExpression(left) && (left.operatorToken.kind === 57 /* BarBarToken */ || left.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
@@ -77785,15 +77792,62 @@ function createTypeChecker(host) {
       if (isBinaryExpression(right) && (right.operatorToken.kind === 57 /* BarBarToken */ || right.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
         grammarErrorOnNode(right, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(right.operatorToken.kind), tokenToString(operatorToken.kind));
       }
+      const leftTarget = skipOuterExpressions(left, 15 /* All */);
+      const nullishSemantics = getSyntacticNullishnessSemantics(leftTarget);
+      if (nullishSemantics !== 3 /* Sometimes */) {
+        if (node.parent.kind === 226 /* BinaryExpression */) {
+          error(leftTarget, Diagnostics.This_binary_expression_is_never_nullish_Are_you_missing_parentheses);
+        } else {
+          if (nullishSemantics === 1 /* Always */) {
+            error(leftTarget, Diagnostics.This_expression_is_always_nullish);
+          } else {
+            error(leftTarget, Diagnostics.Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish);
+          }
+        }
+      }
     }
   }
+  function getSyntacticNullishnessSemantics(node) {
+    node = skipOuterExpressions(node);
+    switch (node.kind) {
+      case 223 /* AwaitExpression */:
+      case 213 /* CallExpression */:
+      case 212 /* ElementAccessExpression */:
+      case 214 /* NewExpression */:
+      case 211 /* PropertyAccessExpression */:
+      case 229 /* YieldExpression */:
+        return 3 /* Sometimes */;
+      case 226 /* BinaryExpression */:
+        switch (node.operatorToken.kind) {
+          case 64 /* EqualsToken */:
+          case 61 /* QuestionQuestionToken */:
+          case 78 /* QuestionQuestionEqualsToken */:
+          case 57 /* BarBarToken */:
+          case 76 /* BarBarEqualsToken */:
+          case 56 /* AmpersandAmpersandToken */:
+          case 77 /* AmpersandAmpersandEqualsToken */:
+            return 3 /* Sometimes */;
+        }
+        return 2 /* Never */;
+      case 227 /* ConditionalExpression */:
+        return getSyntacticNullishnessSemantics(node.whenTrue) | getSyntacticNullishnessSemantics(node.whenFalse);
+      case 106 /* NullKeyword */:
+        return 1 /* Always */;
+      case 80 /* Identifier */:
+        if (getResolvedSymbol(node) === undefinedSymbol) {
+          return 1 /* Always */;
+        }
+        return 3 /* Sometimes */;
+    }
+    return 2 /* Never */;
+  }
   function checkBinaryLikeExpression(left, operatorToken, right, checkMode, errorNode) {
     const operator = operatorToken.kind;
     if (operator === 64 /* EqualsToken */ && (left.kind === 210 /* ObjectLiteralExpression */ || left.kind === 209 /* ArrayLiteralExpression */)) {
       return checkDestructuringAssignment(left, checkExpression(right, checkMode), checkMode, right.kind === 110 /* ThisKeyword */);
     }
     let leftType;
-    if (isLogicalOrCoalescingBinaryOperator(operator)) {
+    if (isBinaryLogicalOperator(operator)) {
       leftType = checkTruthinessExpression(left, checkMode);
     } else {
       leftType = checkExpression(left, checkMode);
@@ -81399,9 +81453,51 @@ function createTypeChecker(host) {
   function checkTruthinessOfType(type, node) {
     if (type.flags & 16384 /* Void */) {
       error(node, Diagnostics.An_expression_of_type_void_cannot_be_tested_for_truthiness);
+    } else {
+      const semantics = getSyntacticTruthySemantics(node);
+      if (semantics !== 3 /* Sometimes */) {
+        error(
+          node,
+          semantics === 1 /* Always */ ? Diagnostics.This_kind_of_expression_is_always_truthy : Diagnostics.This_kind_of_expression_is_always_falsy
+        );
+      }
     }
     return type;
   }
+  function getSyntacticTruthySemantics(node) {
+    node = skipOuterExpressions(node);
+    switch (node.kind) {
+      case 9 /* NumericLiteral */:
+        if (node.text === "0" || node.text === "1") {
+          return 3 /* Sometimes */;
+        }
+        return 1 /* Always */;
+      case 209 /* ArrayLiteralExpression */:
+      case 219 /* ArrowFunction */:
+      case 10 /* BigIntLiteral */:
+      case 231 /* ClassExpression */:
+      case 218 /* FunctionExpression */:
+      case 284 /* JsxElement */:
+      case 285 /* JsxSelfClosingElement */:
+      case 210 /* ObjectLiteralExpression */:
+      case 14 /* RegularExpressionLiteral */:
+        return 1 /* Always */;
+      case 222 /* VoidExpression */:
+      case 106 /* NullKeyword */:
+        return 2 /* Never */;
+      case 15 /* NoSubstitutionTemplateLiteral */:
+      case 11 /* StringLiteral */:
+        return !!node.text ? 1 /* Always */ : 2 /* Never */;
+      case 227 /* ConditionalExpression */:
+        return getSyntacticTruthySemantics(node.whenTrue) | getSyntacticTruthySemantics(node.whenFalse);
+      case 80 /* Identifier */:
+        if (getResolvedSymbol(node) === undefinedSymbol) {
+          return 2 /* Never */;
+        }
+        return 3 /* Sometimes */;
+    }
+    return 3 /* Sometimes */;
+  }
   function checkTruthinessExpression(node, checkMode) {
     return checkTruthinessOfType(checkExpression(node, checkMode), node);
   }
@@ -89856,7 +89952,7 @@ function collectExternalModuleInfo(context, sourceFile) {
     }
   }
   function addExportedFunctionDeclaration(node, name, isDefault) {
-    exportedFunctions.add(node);
+    exportedFunctions.add(getOriginalNode(node, isFunctionDeclaration));
     if (isDefault) {
       if (!hasExportDefault) {
         multiMapSparseArrayAdd(exportedBindings, getOriginalNodeId(node), name ?? context.factory.getDeclarationName(node));
@@ -94259,6 +94355,7 @@ function transformClassFields(context) {
     addRange(statementsOut, visitNodes2(statementsIn, visitor, isStatement, statementOffset));
   }
   function transformConstructorBody(node, constructor, isDerivedClass) {
+    var _a;
     const instanceProperties = getProperties(
       node,
       /*requireInitializer*/
@@ -94352,12 +94449,12 @@ function transformClassFields(context) {
         setTextRange(
           factory2.createNodeArray(statements),
           /*location*/
-          constructor ? constructor.body.statements : node.members
+          ((_a = constructor == null ? void 0 : constructor.body) == null ? void 0 : _a.statements) ?? node.members
         ),
         multiLine
       ),
       /*location*/
-      constructor ? constructor.body : void 0
+      constructor == null ? void 0 : constructor.body
     );
   }
   function addPropertyOrClassStaticBlockStatements(statements, properties, receiver) {
@@ -107791,7 +107888,7 @@ function transformModule(context) {
     return factory2.updateLabeledStatement(
       node,
       node.label,
-      Debug.checkDefined(visitNode(node.statement, topLevelNestedVisitor, isStatement, factory2.liftToBlock))
+      visitNode(node.statement, topLevelNestedVisitor, isStatement, factory2.liftToBlock) ?? factory2.createExpressionStatement(factory2.createIdentifier(""))
     );
   }
   function visitWithStatement(node) {
@@ -107805,7 +107902,7 @@ function transformModule(context) {
     return factory2.updateIfStatement(
       node,
       visitNode(node.expression, visitor, isExpression),
-      Debug.checkDefined(visitNode(node.thenStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock)),
+      visitNode(node.thenStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock) ?? factory2.createBlock([]),
       visitNode(node.elseStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock)
     );
   }
@@ -109908,7 +110005,7 @@ function transformSystemModule(context) {
     return factory2.updateLabeledStatement(
       node,
       node.label,
-      Debug.checkDefined(visitNode(node.statement, topLevelNestedVisitor, isStatement, factory2.liftToBlock))
+      visitNode(node.statement, topLevelNestedVisitor, isStatement, factory2.liftToBlock) ?? factory2.createExpressionStatement(factory2.createIdentifier(""))
     );
   }
   function visitWithStatement(node) {
@@ -109922,7 +110019,7 @@ function transformSystemModule(context) {
     return factory2.updateIfStatement(
       node,
       visitNode(node.expression, visitor, isExpression),
-      Debug.checkDefined(visitNode(node.thenStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock)),
+      visitNode(node.thenStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock) ?? factory2.createBlock([]),
       visitNode(node.elseStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock)
     );
   }

package/lib/typescript.js

@@ -142,6 +142,7 @@ __export(typescript_exports, {
   PollingInterval: () => PollingInterval,
   PollingWatchKind: () => PollingWatchKind,
   PragmaKindFlags: () => PragmaKindFlags,
+  PredicateSemantics: () => PredicateSemantics,
   PrivateIdentifierKind: () => PrivateIdentifierKind,
   ProcessLevel: () => ProcessLevel,
   ProgramUpdateLevel: () => ProgramUpdateLevel,
@@ -1178,6 +1179,7 @@ __export(typescript_exports, {
   isAwaitKeyword: () => isAwaitKeyword,
   isBigIntLiteral: () => isBigIntLiteral,
   isBinaryExpression: () => isBinaryExpression,
+  isBinaryLogicalOperator: () => isBinaryLogicalOperator,
   isBinaryOperatorToken: () => isBinaryOperatorToken,
   isBindableObjectDefinePropertyCall: () => isBindableObjectDefinePropertyCall,
   isBindableStaticAccessExpression: () => isBindableStaticAccessExpression,
@@ -2257,7 +2259,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.6";
-var version = `${versionMajorMinor}.0-dev.20240722`;
+var version = `${versionMajorMinor}.0-dev.20240723`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -5994,6 +5996,13 @@ var RelationComparisonResult = /* @__PURE__ */ ((RelationComparisonResult3) => {
   RelationComparisonResult3[RelationComparisonResult3["Overflow"] = 96] = "Overflow";
   return RelationComparisonResult3;
 })(RelationComparisonResult || {});
+var PredicateSemantics = /* @__PURE__ */ ((PredicateSemantics2) => {
+  PredicateSemantics2[PredicateSemantics2["None"] = 0] = "None";
+  PredicateSemantics2[PredicateSemantics2["Always"] = 1] = "Always";
+  PredicateSemantics2[PredicateSemantics2["Never"] = 2] = "Never";
+  PredicateSemantics2[PredicateSemantics2["Sometimes"] = 3] = "Sometimes";
+  return PredicateSemantics2;
+})(PredicateSemantics || {});
 var GeneratedIdentifierFlags = /* @__PURE__ */ ((GeneratedIdentifierFlags2) => {
   GeneratedIdentifierFlags2[GeneratedIdentifierFlags2["None"] = 0] = "None";
   GeneratedIdentifierFlags2[GeneratedIdentifierFlags2["Auto"] = 1] = "Auto";
@@ -8337,7 +8346,7 @@ var sys = (() => {
       setTimeout,
       clearTimeout,
       clearScreen: () => {
-        process.stdout.write("\x1Bc");
+        process.stdout.write("\x1B[2J\x1B[3J\x1B[H");
       },
       setBlocking: () => {
         var _a;
@@ -10078,6 +10087,11 @@ var Diagnostics = {
   Import_0_conflicts_with_global_value_used_in_this_file_so_must_be_declared_with_a_type_only_import_when_isolatedModules_is_enabled: diag(2866, 1 /* Error */, "Import_0_conflicts_with_global_value_used_in_this_file_so_must_be_declared_with_a_type_only_import_w_2866", "Import '{0}' conflicts with global value used in this file, so must be declared with a type-only import when 'isolatedModules' is enabled."),
   Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun: diag(2867, 1 /* Error */, "Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun_2867", "Cannot find name '{0}'. Do you need to install type definitions for Bun? Try `npm i --save-dev @types/bun`."),
   Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun_and_then_add_bun_to_the_types_field_in_your_tsconfig: diag(2868, 1 /* Error */, "Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun_2868", "Cannot find name '{0}'. Do you need to install type definitions for Bun? Try `npm i --save-dev @types/bun` and then add 'bun' to the types field in your tsconfig."),
+  Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish: diag(2869, 1 /* Error */, "Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish_2869", "Right operand of ?? is unreachable because the left operand is never nullish."),
+  This_binary_expression_is_never_nullish_Are_you_missing_parentheses: diag(2870, 1 /* Error */, "This_binary_expression_is_never_nullish_Are_you_missing_parentheses_2870", "This binary expression is never nullish. Are you missing parentheses?"),
+  This_expression_is_always_nullish: diag(2871, 1 /* Error */, "This_expression_is_always_nullish_2871", "This expression is always nullish."),
+  This_kind_of_expression_is_always_truthy: diag(2872, 1 /* Error */, "This_kind_of_expression_is_always_truthy_2872", "This kind of expression is always truthy."),
+  This_kind_of_expression_is_always_falsy: diag(2873, 1 /* Error */, "This_kind_of_expression_is_always_falsy_2873", "This kind of expression is always falsy."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -82295,7 +82309,7 @@ function createTypeChecker(host) {
         setLastResult(state, checkExpression(node.right, checkMode));
         return state;
       }
-      checkGrammarNullishCoalesceWithLogicalExpression(node);
+      checkNullishCoalesceOperands(node);
       const operator = node.operatorToken.kind;
       if (operator === 64 /* EqualsToken */ && (node.left.kind === 210 /* ObjectLiteralExpression */ || node.left.kind === 209 /* ArrayLiteralExpression */)) {
         state.skip = true;
@@ -82328,7 +82342,9 @@ function createTypeChecker(host) {
           if (operator === 56 /* AmpersandAmpersandToken */ || isIfStatement(parent2)) {
             checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(node.left, leftType, isIfStatement(parent2) ? parent2.thenStatement : void 0);
           }
-          checkTruthinessOfType(leftType, node.left);
+          if (isBinaryLogicalOperator(operator)) {
+            checkTruthinessOfType(leftType, node.left);
+          }
         }
       }
     }
@@ -82385,7 +82401,7 @@ function createTypeChecker(host) {
       state.typeStack[state.stackIndex + 1] = type;
     }
   }
-  function checkGrammarNullishCoalesceWithLogicalExpression(node) {
+  function checkNullishCoalesceOperands(node) {
     const { left, operatorToken, right } = node;
     if (operatorToken.kind === 61 /* QuestionQuestionToken */) {
       if (isBinaryExpression(left) && (left.operatorToken.kind === 57 /* BarBarToken */ || left.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
@@ -82394,7 +82410,54 @@ function createTypeChecker(host) {
       if (isBinaryExpression(right) && (right.operatorToken.kind === 57 /* BarBarToken */ || right.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
         grammarErrorOnNode(right, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(right.operatorToken.kind), tokenToString(operatorToken.kind));
       }
+      const leftTarget = skipOuterExpressions(left, 15 /* All */);
+      const nullishSemantics = getSyntacticNullishnessSemantics(leftTarget);
+      if (nullishSemantics !== 3 /* Sometimes */) {
+        if (node.parent.kind === 226 /* BinaryExpression */) {
+          error2(leftTarget, Diagnostics.This_binary_expression_is_never_nullish_Are_you_missing_parentheses);
+        } else {
+          if (nullishSemantics === 1 /* Always */) {
+            error2(leftTarget, Diagnostics.This_expression_is_always_nullish);
+          } else {
+            error2(leftTarget, Diagnostics.Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish);
+          }
+        }
+      }
+    }
+  }
+  function getSyntacticNullishnessSemantics(node) {
+    node = skipOuterExpressions(node);
+    switch (node.kind) {
+      case 223 /* AwaitExpression */:
+      case 213 /* CallExpression */:
+      case 212 /* ElementAccessExpression */:
+      case 214 /* NewExpression */:
+      case 211 /* PropertyAccessExpression */:
+      case 229 /* YieldExpression */:
+        return 3 /* Sometimes */;
+      case 226 /* BinaryExpression */:
+        switch (node.operatorToken.kind) {
+          case 64 /* EqualsToken */:
+          case 61 /* QuestionQuestionToken */:
+          case 78 /* QuestionQuestionEqualsToken */:
+          case 57 /* BarBarToken */:
+          case 76 /* BarBarEqualsToken */:
+          case 56 /* AmpersandAmpersandToken */:
+          case 77 /* AmpersandAmpersandEqualsToken */:
+            return 3 /* Sometimes */;
+        }
+        return 2 /* Never */;
+      case 227 /* ConditionalExpression */:
+        return getSyntacticNullishnessSemantics(node.whenTrue) | getSyntacticNullishnessSemantics(node.whenFalse);
+      case 106 /* NullKeyword */:
+        return 1 /* Always */;
+      case 80 /* Identifier */:
+        if (getResolvedSymbol(node) === undefinedSymbol) {
+          return 1 /* Always */;
+        }
+        return 3 /* Sometimes */;
     }
+    return 2 /* Never */;
   }
   function checkBinaryLikeExpression(left, operatorToken, right, checkMode, errorNode) {
     const operator = operatorToken.kind;
@@ -82402,7 +82465,7 @@ function createTypeChecker(host) {
       return checkDestructuringAssignment(left, checkExpression(right, checkMode), checkMode, right.kind === 110 /* ThisKeyword */);
     }
     let leftType;
-    if (isLogicalOrCoalescingBinaryOperator(operator)) {
+    if (isBinaryLogicalOperator(operator)) {
       leftType = checkTruthinessExpression(left, checkMode);
     } else {
       leftType = checkExpression(left, checkMode);
@@ -86008,9 +86071,51 @@ function createTypeChecker(host) {
   function checkTruthinessOfType(type, node) {
     if (type.flags & 16384 /* Void */) {
       error2(node, Diagnostics.An_expression_of_type_void_cannot_be_tested_for_truthiness);
+    } else {
+      const semantics = getSyntacticTruthySemantics(node);
+      if (semantics !== 3 /* Sometimes */) {
+        error2(
+          node,
+          semantics === 1 /* Always */ ? Diagnostics.This_kind_of_expression_is_always_truthy : Diagnostics.This_kind_of_expression_is_always_falsy
+        );
+      }
     }
     return type;
   }
+  function getSyntacticTruthySemantics(node) {
+    node = skipOuterExpressions(node);
+    switch (node.kind) {
+      case 9 /* NumericLiteral */:
+        if (node.text === "0" || node.text === "1") {
+          return 3 /* Sometimes */;
+        }
+        return 1 /* Always */;
+      case 209 /* ArrayLiteralExpression */:
+      case 219 /* ArrowFunction */:
+      case 10 /* BigIntLiteral */:
+      case 231 /* ClassExpression */:
+      case 218 /* FunctionExpression */:
+      case 284 /* JsxElement */:
+      case 285 /* JsxSelfClosingElement */:
+      case 210 /* ObjectLiteralExpression */:
+      case 14 /* RegularExpressionLiteral */:
+        return 1 /* Always */;
+      case 222 /* VoidExpression */:
+      case 106 /* NullKeyword */:
+        return 2 /* Never */;
+      case 15 /* NoSubstitutionTemplateLiteral */:
+      case 11 /* StringLiteral */:
+        return !!node.text ? 1 /* Always */ : 2 /* Never */;
+      case 227 /* ConditionalExpression */:
+        return getSyntacticTruthySemantics(node.whenTrue) | getSyntacticTruthySemantics(node.whenFalse);
+      case 80 /* Identifier */:
+        if (getResolvedSymbol(node) === undefinedSymbol) {
+          return 2 /* Never */;
+        }
+        return 3 /* Sometimes */;
+    }
+    return 3 /* Sometimes */;
+  }
   function checkTruthinessExpression(node, checkMode) {
     return checkTruthinessOfType(checkExpression(node, checkMode), node);
   }
@@ -94637,7 +94742,7 @@ function collectExternalModuleInfo(context, sourceFile) {
     }
   }
   function addExportedFunctionDeclaration(node, name, isDefault) {
-    exportedFunctions.add(node);
+    exportedFunctions.add(getOriginalNode(node, isFunctionDeclaration));
     if (isDefault) {
       if (!hasExportDefault) {
         multiMapSparseArrayAdd(exportedBindings, getOriginalNodeId(node), name ?? context.factory.getDeclarationName(node));
@@ -99050,6 +99155,7 @@ function transformClassFields(context) {
     addRange(statementsOut, visitNodes2(statementsIn, visitor, isStatement, statementOffset));
   }
   function transformConstructorBody(node, constructor, isDerivedClass) {
+    var _a;
     const instanceProperties = getProperties(
       node,
       /*requireInitializer*/
@@ -99143,12 +99249,12 @@ function transformClassFields(context) {
         setTextRange(
           factory2.createNodeArray(statements),
           /*location*/
-          constructor ? constructor.body.statements : node.members
+          ((_a = constructor == null ? void 0 : constructor.body) == null ? void 0 : _a.statements) ?? node.members
         ),
         multiLine
       ),
       /*location*/
-      constructor ? constructor.body : void 0
+      constructor == null ? void 0 : constructor.body
     );
   }
   function addPropertyOrClassStaticBlockStatements(statements, properties, receiver) {
@@ -112582,7 +112688,7 @@ function transformModule(context) {
     return factory2.updateLabeledStatement(
       node,
       node.label,
-      Debug.checkDefined(visitNode(node.statement, topLevelNestedVisitor, isStatement, factory2.liftToBlock))
+      visitNode(node.statement, topLevelNestedVisitor, isStatement, factory2.liftToBlock) ?? factory2.createExpressionStatement(factory2.createIdentifier(""))
     );
   }
   function visitWithStatement(node) {
@@ -112596,7 +112702,7 @@ function transformModule(context) {
     return factory2.updateIfStatement(
       node,
       visitNode(node.expression, visitor, isExpression),
-      Debug.checkDefined(visitNode(node.thenStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock)),
+      visitNode(node.thenStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock) ?? factory2.createBlock([]),
       visitNode(node.elseStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock)
     );
   }
@@ -114699,7 +114805,7 @@ function transformSystemModule(context) {
     return factory2.updateLabeledStatement(
       node,
       node.label,
-      Debug.checkDefined(visitNode(node.statement, topLevelNestedVisitor, isStatement, factory2.liftToBlock))
+      visitNode(node.statement, topLevelNestedVisitor, isStatement, factory2.liftToBlock) ?? factory2.createExpressionStatement(factory2.createIdentifier(""))
     );
   }
   function visitWithStatement(node) {
@@ -114713,7 +114819,7 @@ function transformSystemModule(context) {
     return factory2.updateIfStatement(
       node,
       visitNode(node.expression, visitor, isExpression),
-      Debug.checkDefined(visitNode(node.thenStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock)),
+      visitNode(node.thenStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock) ?? factory2.createBlock([]),
       visitNode(node.elseStatement, topLevelNestedVisitor, isStatement, factory2.liftToBlock)
     );
   }
@@ -140232,10 +140338,8 @@ var DocumentHighlights;
           return [...nodes, container];
         }
         return nodes;
-      case 210 /* ObjectLiteralExpression */:
-        return void 0;
       default:
-        Debug.assertNever(container, "Invalid container kind.");
+        return void 0;
     }
   }
   function pushKeywordIf(keywordList, token, ...expected) {
@@ -178879,6 +178983,7 @@ __export(ts_exports2, {
   PollingInterval: () => PollingInterval,
   PollingWatchKind: () => PollingWatchKind,
   PragmaKindFlags: () => PragmaKindFlags,
+  PredicateSemantics: () => PredicateSemantics,
   PrivateIdentifierKind: () => PrivateIdentifierKind,
   ProcessLevel: () => ProcessLevel,
   ProgramUpdateLevel: () => ProgramUpdateLevel,
@@ -179915,6 +180020,7 @@ __export(ts_exports2, {
   isAwaitKeyword: () => isAwaitKeyword,
   isBigIntLiteral: () => isBigIntLiteral,
   isBinaryExpression: () => isBinaryExpression,
+  isBinaryLogicalOperator: () => isBinaryLogicalOperator,
   isBinaryOperatorToken: () => isBinaryOperatorToken,
   isBindableObjectDefinePropertyCall: () => isBindableObjectDefinePropertyCall,
   isBindableStaticAccessExpression: () => isBindableStaticAccessExpression,
@@ -184183,13 +184289,13 @@ var Project2 = class _Project {
     var _a, _b, _c, _d;
     const originalProgram = this.program;
     const rootSourceFile = Debug.checkDefined((_a = this.program) == null ? void 0 : _a.getSourceFile(rootFile), "Expected file to be part of program");
-    const originalText = Debug.checkDefined(rootSourceFile.getText());
+    const originalText = Debug.checkDefined(rootSourceFile.getFullText());
     (_b = this.getScriptInfo(rootFile)) == null ? void 0 : _b.editContent(0, originalText.length, updatedText);
     this.updateGraph();
     try {
       cb(this.program, originalProgram, (_c = this.program) == null ? void 0 : _c.getSourceFile(rootFile));
     } finally {
-      (_d = this.getScriptInfo(rootFile)) == null ? void 0 : _d.editContent(0, this.program.getSourceFile(rootFile).getText().length, originalText);
+      (_d = this.getScriptInfo(rootFile)) == null ? void 0 : _d.editContent(0, updatedText.length, originalText);
     }
   }
   getCompilerOptionsForNoDtsResolutionProject() {
@@ -193244,6 +193350,7 @@ if (typeof console !== "undefined") {
   PollingInterval,
   PollingWatchKind,
   PragmaKindFlags,
+  PredicateSemantics,
   PrivateIdentifierKind,
   ProcessLevel,
   ProgramUpdateLevel,
@@ -194280,6 +194387,7 @@ if (typeof console !== "undefined") {
   isAwaitKeyword,
   isBigIntLiteral,
   isBinaryExpression,
+  isBinaryLogicalOperator,
   isBinaryOperatorToken,
   isBindableObjectDefinePropertyCall,
   isBindableStaticAccessExpression,

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.6.0-dev.20240722",
+    "version": "5.6.0-dev.20240723",
     "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": "5929c963781a3f026a499746c7109a71b2400437"
+    "gitHead": "b04c8a0edd3a750cf5ae701d82fd164daa594381"
 }