typescript 5.3.0-dev.20230918 → 5.3.0-dev.20230919

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-dev.20230918`;
+var version = `${versionMajorMinor}.0-dev.20230919`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -40242,7 +40242,7 @@ function createBinder() {
   }
   function bindCaseBlock(node) {
     const clauses = node.clauses;
-    const isNarrowingSwitch = isNarrowingExpression(node.parent.expression);
+    const isNarrowingSwitch = node.parent.expression.kind === 112 /* TrueKeyword */ || isNarrowingExpression(node.parent.expression);
     let fallthroughFlow = unreachableFlow;
     for (let i = 0; i < clauses.length; i++) {
       const clauseStart = i;
@@ -65549,6 +65549,17 @@ function createTypeChecker(host) {
         type = narrowTypeBySwitchOnDiscriminant(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
       } else if (expr.kind === 221 /* TypeOfExpression */ && isMatchingReference(reference, expr.expression)) {
         type = narrowTypeBySwitchOnTypeOf(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
+      } else if (expr.kind === 112 /* TrueKeyword */) {
+        const clause = flow.switchStatement.caseBlock.clauses.find((_, index) => index === flow.clauseStart);
+        const clauseExpression = clause && clause.kind === 296 /* CaseClause */ ? clause.expression : void 0;
+        if (clauseExpression) {
+          type = narrowType(
+            type,
+            clauseExpression,
+            /*assumeTrue*/
+            true
+          );
+        }
       } else {
         if (strictNullChecks) {
           if (optionalChainContainsReference(expr, reference)) {

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-dev.20230918`;
+var version = `${versionMajorMinor}.0-dev.20230919`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -44897,7 +44897,7 @@ function createBinder() {
   }
   function bindCaseBlock(node) {
     const clauses = node.clauses;
-    const isNarrowingSwitch = isNarrowingExpression(node.parent.expression);
+    const isNarrowingSwitch = node.parent.expression.kind === 112 /* TrueKeyword */ || isNarrowingExpression(node.parent.expression);
     let fallthroughFlow = unreachableFlow;
     for (let i = 0; i < clauses.length; i++) {
       const clauseStart = i;
@@ -70249,6 +70249,17 @@ function createTypeChecker(host) {
         type = narrowTypeBySwitchOnDiscriminant(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
       } else if (expr.kind === 221 /* TypeOfExpression */ && isMatchingReference(reference, expr.expression)) {
         type = narrowTypeBySwitchOnTypeOf(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
+      } else if (expr.kind === 112 /* TrueKeyword */) {
+        const clause = flow.switchStatement.caseBlock.clauses.find((_, index) => index === flow.clauseStart);
+        const clauseExpression = clause && clause.kind === 296 /* CaseClause */ ? clause.expression : void 0;
+        if (clauseExpression) {
+          type = narrowType(
+            type,
+            clauseExpression,
+            /*assumeTrue*/
+            true
+          );
+        }
       } else {
         if (strictNullChecks) {
           if (optionalChainContainsReference(expr, reference)) {
@@ -151098,7 +151109,6 @@ function promoteFromTypeOnly(changes, aliasDeclaration, compilerOptions, sourceF
       if (aliasDeclaration.isTypeOnly) {
         const sortKind = ts_OrganizeImports_exports.detectImportSpecifierSorting(aliasDeclaration.parent.elements, preferences);
         if (aliasDeclaration.parent.elements.length > 1 && sortKind) {
-          changes.delete(sourceFile, aliasDeclaration);
           const newSpecifier = factory.updateImportSpecifier(
             aliasDeclaration,
             /*isTypeOnly*/
@@ -151108,10 +151118,13 @@ function promoteFromTypeOnly(changes, aliasDeclaration, compilerOptions, sourceF
           );
           const comparer = ts_OrganizeImports_exports.getOrganizeImportsComparer(preferences, sortKind === 2 /* CaseInsensitive */);
           const insertionIndex = ts_OrganizeImports_exports.getImportSpecifierInsertionIndex(aliasDeclaration.parent.elements, newSpecifier, comparer);
-          changes.insertImportSpecifierAtIndex(sourceFile, newSpecifier, aliasDeclaration.parent, insertionIndex);
-        } else {
-          changes.deleteRange(sourceFile, aliasDeclaration.getFirstToken());
+          if (aliasDeclaration.parent.elements.indexOf(aliasDeclaration) !== insertionIndex) {
+            changes.delete(sourceFile, aliasDeclaration);
+            changes.insertImportSpecifierAtIndex(sourceFile, newSpecifier, aliasDeclaration.parent, insertionIndex);
+            return aliasDeclaration;
+          }
         }
+        changes.deleteRange(sourceFile, aliasDeclaration.getFirstToken());
         return aliasDeclaration;
       } else {
         Debug.assert(aliasDeclaration.parent.parent.isTypeOnly);

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.3";
-      version = `${versionMajorMinor}.0-dev.20230918`;
+      version = `${versionMajorMinor}.0-dev.20230919`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -42744,7 +42744,7 @@ ${lanes.join("\n")}
     }
     function bindCaseBlock(node) {
       const clauses = node.clauses;
-      const isNarrowingSwitch = isNarrowingExpression(node.parent.expression);
+      const isNarrowingSwitch = node.parent.expression.kind === 112 /* TrueKeyword */ || isNarrowingExpression(node.parent.expression);
       let fallthroughFlow = unreachableFlow;
       for (let i = 0; i < clauses.length; i++) {
         const clauseStart = i;
@@ -68015,6 +68015,17 @@ ${lanes.join("\n")}
           type = narrowTypeBySwitchOnDiscriminant(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
         } else if (expr.kind === 221 /* TypeOfExpression */ && isMatchingReference(reference, expr.expression)) {
           type = narrowTypeBySwitchOnTypeOf(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
+        } else if (expr.kind === 112 /* TrueKeyword */) {
+          const clause = flow.switchStatement.caseBlock.clauses.find((_, index) => index === flow.clauseStart);
+          const clauseExpression = clause && clause.kind === 296 /* CaseClause */ ? clause.expression : void 0;
+          if (clauseExpression) {
+            type = narrowType(
+              type,
+              clauseExpression,
+              /*assumeTrue*/
+              true
+            );
+          }
         } else {
           if (strictNullChecks) {
             if (optionalChainContainsReference(expr, reference)) {
@@ -149825,7 +149836,6 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         if (aliasDeclaration.isTypeOnly) {
           const sortKind = ts_OrganizeImports_exports.detectImportSpecifierSorting(aliasDeclaration.parent.elements, preferences);
           if (aliasDeclaration.parent.elements.length > 1 && sortKind) {
-            changes.delete(sourceFile, aliasDeclaration);
             const newSpecifier = factory.updateImportSpecifier(
               aliasDeclaration,
               /*isTypeOnly*/
@@ -149835,10 +149845,13 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
             );
             const comparer = ts_OrganizeImports_exports.getOrganizeImportsComparer(preferences, sortKind === 2 /* CaseInsensitive */);
             const insertionIndex = ts_OrganizeImports_exports.getImportSpecifierInsertionIndex(aliasDeclaration.parent.elements, newSpecifier, comparer);
-            changes.insertImportSpecifierAtIndex(sourceFile, newSpecifier, aliasDeclaration.parent, insertionIndex);
-          } else {
-            changes.deleteRange(sourceFile, aliasDeclaration.getFirstToken());
+            if (aliasDeclaration.parent.elements.indexOf(aliasDeclaration) !== insertionIndex) {
+              changes.delete(sourceFile, aliasDeclaration);
+              changes.insertImportSpecifierAtIndex(sourceFile, newSpecifier, aliasDeclaration.parent, insertionIndex);
+              return aliasDeclaration;
+            }
           }
+          changes.deleteRange(sourceFile, aliasDeclaration.getFirstToken());
           return aliasDeclaration;
         } else {
           Debug.assert(aliasDeclaration.parent.parent.isTypeOnly);

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-dev.20230918`;
+var version = `${versionMajorMinor}.0-dev.20230919`;
 
 // src/compiler/core.ts
 var emptyArray = [];

package/package.json

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