typescript 5.6.0-dev.20240814 → 5.6.0-dev.20240815

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.20240814`;
+var version = `${versionMajorMinor}.0-dev.20240815`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -7390,6 +7390,7 @@ var Diagnostics = {
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
   Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported: diag(6805, 3 /* Message */, "Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported_6805", "Disable full type checking (only critical parse and emit errors will be reported)."),
   Check_side_effect_imports: diag(6806, 3 /* Message */, "Check_side_effect_imports_6806", "Check side effect imports."),
+  This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2: diag(6807, 1 /* Error */, "This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2_6807", "This operation can be simplified. This shift is identical to `{0} {1} {2}`."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -44067,21 +44068,25 @@ function createBinder() {
       const reportError = (
         // report error on all statements except empty ones
         isStatementButNotDeclaration(node) && node.kind !== 242 /* EmptyStatement */ || // report error on class declarations
-        node.kind === 263 /* ClassDeclaration */ || // report error on instantiated modules or const-enums only modules if preserveConstEnums is set
+        node.kind === 263 /* ClassDeclaration */ || // report errors on enums with preserved emit
+        isEnumDeclarationWithPreservedEmit(node, options) || // report error on instantiated modules
         node.kind === 267 /* ModuleDeclaration */ && shouldReportErrorOnModuleDeclaration(node)
       );
       if (reportError) {
         currentFlow = reportedUnreachableFlow;
         if (!options.allowUnreachableCode) {
           const isError = unreachableCodeIsError(options) && !(node.flags & 33554432 /* Ambient */) && (!isVariableStatement(node) || !!(getCombinedNodeFlags(node.declarationList) & 7 /* BlockScoped */) || node.declarationList.declarations.some((d) => !!d.initializer));
-          eachUnreachableRange(node, (start, end) => errorOrSuggestionOnRange(isError, start, end, Diagnostics.Unreachable_code_detected));
+          eachUnreachableRange(node, options, (start, end) => errorOrSuggestionOnRange(isError, start, end, Diagnostics.Unreachable_code_detected));
         }
       }
     }
     return true;
   }
 }
-function eachUnreachableRange(node, cb) {
+function isEnumDeclarationWithPreservedEmit(node, options) {
+  return node.kind === 266 /* EnumDeclaration */ && (!isEnumConst(node) || shouldPreserveConstEnums(options));
+}
+function eachUnreachableRange(node, options, cb) {
   if (isStatement(node) && isExecutableStatement(node) && isBlock(node.parent)) {
     const { statements } = node.parent;
     const slice = sliceAfter(statements, node);
@@ -44089,22 +44094,22 @@ function eachUnreachableRange(node, cb) {
   } else {
     cb(node, node);
   }
-}
-function isExecutableStatement(s) {
-  return !isFunctionDeclaration(s) && !isPurelyTypeDeclaration(s) && !isEnumDeclaration(s) && // `var x;` may declare a variable used above
-  !(isVariableStatement(s) && !(getCombinedNodeFlags(s) & 7 /* BlockScoped */) && s.declarationList.declarations.some((d) => !d.initializer));
-}
-function isPurelyTypeDeclaration(s) {
-  switch (s.kind) {
-    case 264 /* InterfaceDeclaration */:
-    case 265 /* TypeAliasDeclaration */:
-      return true;
-    case 267 /* ModuleDeclaration */:
-      return getModuleInstanceState(s) !== 1 /* Instantiated */;
-    case 266 /* EnumDeclaration */:
-      return hasSyntacticModifier(s, 4096 /* Const */);
-    default:
-      return false;
+  function isExecutableStatement(s) {
+    return !isFunctionDeclaration(s) && !isPurelyTypeDeclaration(s) && // `var x;` may declare a variable used above
+    !(isVariableStatement(s) && !(getCombinedNodeFlags(s) & 7 /* BlockScoped */) && s.declarationList.declarations.some((d) => !d.initializer));
+  }
+  function isPurelyTypeDeclaration(s) {
+    switch (s.kind) {
+      case 264 /* InterfaceDeclaration */:
+      case 265 /* TypeAliasDeclaration */:
+        return true;
+      case 267 /* ModuleDeclaration */:
+        return getModuleInstanceState(s) !== 1 /* Instantiated */;
+      case 266 /* EnumDeclaration */:
+        return !isEnumDeclarationWithPreservedEmit(s, options);
+      default:
+        return false;
+    }
   }
 }
 function isExportsOrModuleExportsOrAlias(sourceFile, node) {
@@ -60239,7 +60244,7 @@ function createTypeChecker(host) {
         } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && (t.types[0].flags & 65536 /* Null */ || t.types[1].flags & 65536 /* Null */)))) {
           removeFromEach(typeSet, 65536 /* Null */);
           result = getUnionType([getIntersectionType(typeSet, flags), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
-        } else if (typeSet.length >= 4) {
+        } else if (typeSet.length >= 3 && types.length > 2) {
           const middle = Math.floor(typeSet.length / 2);
           result = getIntersectionType([getIntersectionType(typeSet.slice(0, middle), flags), getIntersectionType(typeSet.slice(middle), flags)], flags, aliasSymbol, aliasTypeArguments);
         } else {
@@ -78136,6 +78141,29 @@ function createTypeChecker(host) {
           }
           if (leftOk && rightOk) {
             checkAssignmentOperator(resultType2);
+            switch (operator) {
+              case 48 /* LessThanLessThanToken */:
+              case 71 /* LessThanLessThanEqualsToken */:
+              case 49 /* GreaterThanGreaterThanToken */:
+              case 72 /* GreaterThanGreaterThanEqualsToken */:
+              case 50 /* GreaterThanGreaterThanGreaterThanToken */:
+              case 73 /* GreaterThanGreaterThanGreaterThanEqualsToken */:
+                const rhsEval = evaluate(right);
+                if (typeof rhsEval.value === "number" && Math.abs(rhsEval.value) >= 32) {
+                  errorOrSuggestion(
+                    isEnumMember(walkUpParenthesizedExpressions(right.parent.parent)),
+                    // elevate from suggestion to error within an enum member
+                    errorNode || operatorToken,
+                    Diagnostics.This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2,
+                    getTextOfNode(left),
+                    tokenToString(operator),
+                    rhsEval.value % 32
+                  );
+                }
+                break;
+              default:
+                break;
+            }
           }
           return resultType2;
         }

package/lib/typescript.js

@@ -2262,7 +2262,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.6";
-var version = `${versionMajorMinor}.0-dev.20240814`;
+var version = `${versionMajorMinor}.0-dev.20240815`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -10787,6 +10787,7 @@ var Diagnostics = {
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
   Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported: diag(6805, 3 /* Message */, "Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported_6805", "Disable full type checking (only critical parse and emit errors will be reported)."),
   Check_side_effect_imports: diag(6806, 3 /* Message */, "Check_side_effect_imports_6806", "Check side effect imports."),
+  This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2: diag(6807, 1 /* Error */, "This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2_6807", "This operation can be simplified. This shift is identical to `{0} {1} {2}`."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -48586,21 +48587,25 @@ function createBinder() {
       const reportError = (
         // report error on all statements except empty ones
         isStatementButNotDeclaration(node) && node.kind !== 242 /* EmptyStatement */ || // report error on class declarations
-        node.kind === 263 /* ClassDeclaration */ || // report error on instantiated modules or const-enums only modules if preserveConstEnums is set
+        node.kind === 263 /* ClassDeclaration */ || // report errors on enums with preserved emit
+        isEnumDeclarationWithPreservedEmit(node, options) || // report error on instantiated modules
         node.kind === 267 /* ModuleDeclaration */ && shouldReportErrorOnModuleDeclaration(node)
       );
       if (reportError) {
         currentFlow = reportedUnreachableFlow;
         if (!options.allowUnreachableCode) {
           const isError = unreachableCodeIsError(options) && !(node.flags & 33554432 /* Ambient */) && (!isVariableStatement(node) || !!(getCombinedNodeFlags(node.declarationList) & 7 /* BlockScoped */) || node.declarationList.declarations.some((d) => !!d.initializer));
-          eachUnreachableRange(node, (start, end) => errorOrSuggestionOnRange(isError, start, end, Diagnostics.Unreachable_code_detected));
+          eachUnreachableRange(node, options, (start, end) => errorOrSuggestionOnRange(isError, start, end, Diagnostics.Unreachable_code_detected));
         }
       }
     }
     return true;
   }
 }
-function eachUnreachableRange(node, cb) {
+function isEnumDeclarationWithPreservedEmit(node, options) {
+  return node.kind === 266 /* EnumDeclaration */ && (!isEnumConst(node) || shouldPreserveConstEnums(options));
+}
+function eachUnreachableRange(node, options, cb) {
   if (isStatement(node) && isExecutableStatement(node) && isBlock(node.parent)) {
     const { statements } = node.parent;
     const slice = sliceAfter(statements, node);
@@ -48608,22 +48613,22 @@ function eachUnreachableRange(node, cb) {
   } else {
     cb(node, node);
   }
-}
-function isExecutableStatement(s) {
-  return !isFunctionDeclaration(s) && !isPurelyTypeDeclaration(s) && !isEnumDeclaration(s) && // `var x;` may declare a variable used above
-  !(isVariableStatement(s) && !(getCombinedNodeFlags(s) & 7 /* BlockScoped */) && s.declarationList.declarations.some((d) => !d.initializer));
-}
-function isPurelyTypeDeclaration(s) {
-  switch (s.kind) {
-    case 264 /* InterfaceDeclaration */:
-    case 265 /* TypeAliasDeclaration */:
-      return true;
-    case 267 /* ModuleDeclaration */:
-      return getModuleInstanceState(s) !== 1 /* Instantiated */;
-    case 266 /* EnumDeclaration */:
-      return hasSyntacticModifier(s, 4096 /* Const */);
-    default:
-      return false;
+  function isExecutableStatement(s) {
+    return !isFunctionDeclaration(s) && !isPurelyTypeDeclaration(s) && // `var x;` may declare a variable used above
+    !(isVariableStatement(s) && !(getCombinedNodeFlags(s) & 7 /* BlockScoped */) && s.declarationList.declarations.some((d) => !d.initializer));
+  }
+  function isPurelyTypeDeclaration(s) {
+    switch (s.kind) {
+      case 264 /* InterfaceDeclaration */:
+      case 265 /* TypeAliasDeclaration */:
+        return true;
+      case 267 /* ModuleDeclaration */:
+        return getModuleInstanceState(s) !== 1 /* Instantiated */;
+      case 266 /* EnumDeclaration */:
+        return !isEnumDeclarationWithPreservedEmit(s, options);
+      default:
+        return false;
+    }
   }
 }
 function isExportsOrModuleExportsOrAlias(sourceFile, node) {
@@ -64858,7 +64863,7 @@ function createTypeChecker(host) {
         } else if (every(typeSet, (t) => !!(t.flags & 1048576 /* Union */ && (t.types[0].flags & 65536 /* Null */ || t.types[1].flags & 65536 /* Null */)))) {
           removeFromEach(typeSet, 65536 /* Null */);
           result = getUnionType([getIntersectionType(typeSet, flags), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
-        } else if (typeSet.length >= 4) {
+        } else if (typeSet.length >= 3 && types.length > 2) {
           const middle = Math.floor(typeSet.length / 2);
           result = getIntersectionType([getIntersectionType(typeSet.slice(0, middle), flags), getIntersectionType(typeSet.slice(middle), flags)], flags, aliasSymbol, aliasTypeArguments);
         } else {
@@ -82755,6 +82760,29 @@ function createTypeChecker(host) {
           }
           if (leftOk && rightOk) {
             checkAssignmentOperator(resultType2);
+            switch (operator) {
+              case 48 /* LessThanLessThanToken */:
+              case 71 /* LessThanLessThanEqualsToken */:
+              case 49 /* GreaterThanGreaterThanToken */:
+              case 72 /* GreaterThanGreaterThanEqualsToken */:
+              case 50 /* GreaterThanGreaterThanGreaterThanToken */:
+              case 73 /* GreaterThanGreaterThanGreaterThanEqualsToken */:
+                const rhsEval = evaluate(right);
+                if (typeof rhsEval.value === "number" && Math.abs(rhsEval.value) >= 32) {
+                  errorOrSuggestion(
+                    isEnumMember(walkUpParenthesizedExpressions(right.parent.parent)),
+                    // elevate from suggestion to error within an enum member
+                    errorNode || operatorToken,
+                    Diagnostics.This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2,
+                    getTextOfNode(left),
+                    tokenToString(operator),
+                    rhsEval.value % 32
+                  );
+                }
+                break;
+              default:
+                break;
+            }
           }
           return resultType2;
         }
@@ -142063,7 +142091,8 @@ function computeSuggestionDiagnostics(sourceFile, program, cancellationToken) {
   }
   addRange(diags, sourceFile.bindSuggestionDiagnostics);
   addRange(diags, program.getSuggestionDiagnostics(sourceFile, cancellationToken));
-  return diags.sort((d1, d2) => d1.start - d2.start);
+  diags.sort((d1, d2) => d1.start - d2.start);
+  return diags;
   function check(node) {
     if (isJsFile) {
       if (canBeConvertedToClass(node, checker)) {
@@ -142504,7 +142533,8 @@ function getContainers(declaration) {
     }
     container = getContainerNode(container);
   }
-  return containers.reverse();
+  containers.reverse();
+  return containers;
 }
 function compareNavigateToItems(i1, i2) {
   return compareValues(i1.matchKind, i2.matchKind) || compareStringsCaseSensitiveUI(i1.name, i2.name);
@@ -147404,8 +147434,8 @@ function extractFunctionInScope(node, scope, { usages: usagesInScope, typeParame
     callArguments.push(factory.createIdentifier(name));
   });
   const typeParametersAndDeclarations = arrayFrom(typeParameterUsages.values(), (type) => ({ type, declaration: getFirstDeclarationBeforePosition(type, context.startPosition) }));
-  const sortedTypeParametersAndDeclarations = typeParametersAndDeclarations.sort(compareTypesByDeclarationOrder);
-  const typeParameters = sortedTypeParametersAndDeclarations.length === 0 ? void 0 : mapDefined(sortedTypeParametersAndDeclarations, ({ declaration }) => declaration);
+  typeParametersAndDeclarations.sort(compareTypesByDeclarationOrder);
+  const typeParameters = typeParametersAndDeclarations.length === 0 ? void 0 : mapDefined(typeParametersAndDeclarations, ({ declaration }) => declaration);
   const callTypeArguments = typeParameters !== void 0 ? typeParameters.map((decl) => factory.createTypeReferenceNode(
     decl.name,
     /*typeArguments*/
@@ -172494,9 +172524,10 @@ ${content}
       parsedNodes.push({ sourceFile: sourceFile2, body: bod });
     }
   }
-  const { body } = parsedNodes.sort(
+  parsedNodes.sort(
     (a, b) => a.sourceFile.parseDiagnostics.length - b.sourceFile.parseDiagnostics.length
-  )[0];
+  );
+  const { body } = parsedNodes[0];
   return body;
 }
 function placeNodeGroup(originalFile, changeTracker, changes, focusLocations) {
@@ -173307,7 +173338,8 @@ function collectElements(sourceFile, cancellationToken) {
   const res = [];
   addNodeOutliningSpans(sourceFile, cancellationToken, res);
   addRegionOutliningSpans(sourceFile, res);
-  return res.sort((span1, span2) => span1.textSpan.start - span2.textSpan.start);
+  res.sort((span1, span2) => span1.textSpan.start - span2.textSpan.start);
+  return res;
 }
 function addNodeOutliningSpans(sourceFile, cancellationToken, out) {
   let depthRemaining = 40;

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.6.0-dev.20240814",
+    "version": "5.6.0-dev.20240815",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -53,6 +53,7 @@
         "@types/source-map-support": "^0.5.10",
         "@types/which": "^3.0.4",
         "@typescript-eslint/rule-tester": "^8.1.0",
+        "@typescript-eslint/type-utils": "^8.1.0",
         "@typescript-eslint/utils": "^8.1.0",
         "azure-devops-node-api": "^14.0.2",
         "c8": "^10.1.2",
@@ -116,5 +117,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "77534875918d98c75006123a910ebf89fd4fb1be"
+    "gitHead": "3ed2e8ed34419890228935f0cd59df80e7a10f1f"
 }