@typescript-deploys/pr-build 5.5.0-pr-57465-44 → 5.5.0-pr-57465-61

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-insiders.20240223`;
+var version = `${versionMajorMinor}.0-insiders.20240226`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -74444,6 +74444,7 @@ function createTypeChecker(host) {
     if (functionFlags !== 0 /* Normal */ || func.parameters.length === 0)
       return void 0;
     let singleReturn;
+    let singleReturnStatement;
     if (func.body && func.body.kind !== 241 /* Block */) {
       singleReturn = func.body;
     } else {
@@ -74452,13 +74453,12 @@ function createTypeChecker(host) {
       const bailedEarly = forEachReturnStatement(func.body, (returnStatement) => {
         if (singleReturn || !returnStatement.expression)
           return true;
+        singleReturnStatement = returnStatement;
         singleReturn = returnStatement.expression;
       });
       if (bailedEarly || !singleReturn)
         return void 0;
     }
-    if (isTriviallyNonBoolean(singleReturn))
-      return void 0;
     const predicate = checkIfExpressionRefinesAnyParameter(singleReturn);
     if (predicate) {
       const [i, type] = predicate;
@@ -74474,36 +74474,21 @@ function createTypeChecker(host) {
         /*excludeJSDocTypeAssertions*/
         true
       );
-      const type = checkExpressionCached(expr, 64 /* TypeOnly */);
-      if (type !== booleanType || !func.body)
+      const type = checkExpressionCached(expr);
+      if (type !== booleanType)
         return void 0;
       return forEach(func.parameters, (param, i) => {
         const initType = getSymbolLinks(param.symbol).type;
         if (!initType || initType === booleanType || isSymbolAssigned(param.symbol)) {
           return;
         }
-        const trueType2 = checkIfExpressionRefinesParameter(
-          expr,
-          param,
-          initType,
-          /*forceFullCheck*/
-          false
-        );
+        const trueType2 = checkIfExpressionRefinesParameter(expr, param, initType);
         if (trueType2) {
-          const trueSubtype = checkIfExpressionRefinesParameter(
-            expr,
-            param,
-            trueType2,
-            /*forceFullCheck*/
-            true
-          );
-          if (trueSubtype) {
-            return [i, trueType2];
-          }
+          return [i, trueType2];
         }
       });
     }
-    function checkIfExpressionRefinesParameter(expr, param, initType, forceFullCheck) {
+    function checkIfExpressionRefinesParameter(expr, param, initType) {
       const antecedent = expr.flowNode ?? { flags: 2 /* Start */ };
       const trueCondition = {
         flags: 32 /* TrueCondition */,
@@ -74511,29 +74496,22 @@ function createTypeChecker(host) {
         antecedent
       };
       const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
-      if (trueType2 === initType && !forceFullCheck)
+      if (trueType2 === initType)
         return void 0;
       const falseCondition = {
         ...trueCondition,
         flags: 64 /* FalseCondition */
       };
-      const falseType2 = getFlowTypeOfReference(param.name, initType, initType, func, falseCondition);
-      const candidateFalse = filterType(initType, (t) => !isTypeSubtypeOf(t, trueType2));
-      if (isTypeIdenticalTo(candidateFalse, falseType2)) {
-        return trueType2;
-      }
-    }
-    function isTriviallyNonBoolean(expr) {
-      if (isLiteralExpression(expr) || isLiteralExpressionOfObject(expr)) {
-        return true;
-      }
-      if (isIdentifier(expr)) {
-        const sym = getResolvedSymbol(expr);
-        if (sym.flags & (32 /* Class */ | 4096 /* ObjectLiteral */ | 16 /* Function */ | 384 /* Enum */ | 8 /* EnumMember */)) {
-          return true;
+      const falseSubtype = getFlowTypeOfReference(param.name, trueType2, trueType2, func, falseCondition);
+      if (!isTypeIdenticalTo(falseSubtype, neverType))
+        return void 0;
+      if (singleReturnStatement == null ? void 0 : singleReturnStatement.flowNode) {
+        const typeAtReturn = getFlowTypeOfReference(param.name, initType, initType, func, singleReturnStatement == null ? void 0 : singleReturnStatement.flowNode);
+        if (typeAtReturn !== initType) {
+          return void 0;
         }
       }
-      return false;
+      return trueType2;
     }
   }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {

package/lib/tsserver.js

@@ -2341,7 +2341,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-insiders.20240223`;
+var version = `${versionMajorMinor}.0-insiders.20240226`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -79189,6 +79189,7 @@ function createTypeChecker(host) {
     if (functionFlags !== 0 /* Normal */ || func.parameters.length === 0)
       return void 0;
     let singleReturn;
+    let singleReturnStatement;
     if (func.body && func.body.kind !== 241 /* Block */) {
       singleReturn = func.body;
     } else {
@@ -79197,13 +79198,12 @@ function createTypeChecker(host) {
       const bailedEarly = forEachReturnStatement(func.body, (returnStatement) => {
         if (singleReturn || !returnStatement.expression)
           return true;
+        singleReturnStatement = returnStatement;
         singleReturn = returnStatement.expression;
       });
       if (bailedEarly || !singleReturn)
         return void 0;
     }
-    if (isTriviallyNonBoolean(singleReturn))
-      return void 0;
     const predicate = checkIfExpressionRefinesAnyParameter(singleReturn);
     if (predicate) {
       const [i, type] = predicate;
@@ -79219,36 +79219,21 @@ function createTypeChecker(host) {
         /*excludeJSDocTypeAssertions*/
         true
       );
-      const type = checkExpressionCached(expr, 64 /* TypeOnly */);
-      if (type !== booleanType || !func.body)
+      const type = checkExpressionCached(expr);
+      if (type !== booleanType)
         return void 0;
       return forEach(func.parameters, (param, i) => {
         const initType = getSymbolLinks(param.symbol).type;
         if (!initType || initType === booleanType || isSymbolAssigned(param.symbol)) {
           return;
         }
-        const trueType2 = checkIfExpressionRefinesParameter(
-          expr,
-          param,
-          initType,
-          /*forceFullCheck*/
-          false
-        );
+        const trueType2 = checkIfExpressionRefinesParameter(expr, param, initType);
         if (trueType2) {
-          const trueSubtype = checkIfExpressionRefinesParameter(
-            expr,
-            param,
-            trueType2,
-            /*forceFullCheck*/
-            true
-          );
-          if (trueSubtype) {
-            return [i, trueType2];
-          }
+          return [i, trueType2];
         }
       });
     }
-    function checkIfExpressionRefinesParameter(expr, param, initType, forceFullCheck) {
+    function checkIfExpressionRefinesParameter(expr, param, initType) {
       const antecedent = expr.flowNode ?? { flags: 2 /* Start */ };
       const trueCondition = {
         flags: 32 /* TrueCondition */,
@@ -79256,29 +79241,22 @@ function createTypeChecker(host) {
         antecedent
       };
       const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
-      if (trueType2 === initType && !forceFullCheck)
+      if (trueType2 === initType)
         return void 0;
       const falseCondition = {
         ...trueCondition,
         flags: 64 /* FalseCondition */
       };
-      const falseType2 = getFlowTypeOfReference(param.name, initType, initType, func, falseCondition);
-      const candidateFalse = filterType(initType, (t) => !isTypeSubtypeOf(t, trueType2));
-      if (isTypeIdenticalTo(candidateFalse, falseType2)) {
-        return trueType2;
-      }
-    }
-    function isTriviallyNonBoolean(expr) {
-      if (isLiteralExpression(expr) || isLiteralExpressionOfObject(expr)) {
-        return true;
-      }
-      if (isIdentifier(expr)) {
-        const sym = getResolvedSymbol(expr);
-        if (sym.flags & (32 /* Class */ | 4096 /* ObjectLiteral */ | 16 /* Function */ | 384 /* Enum */ | 8 /* EnumMember */)) {
-          return true;
+      const falseSubtype = getFlowTypeOfReference(param.name, trueType2, trueType2, func, falseCondition);
+      if (!isTypeIdenticalTo(falseSubtype, neverType))
+        return void 0;
+      if (singleReturnStatement == null ? void 0 : singleReturnStatement.flowNode) {
+        const typeAtReturn = getFlowTypeOfReference(param.name, initType, initType, func, singleReturnStatement == null ? void 0 : singleReturnStatement.flowNode);
+        if (typeAtReturn !== initType) {
+          return void 0;
         }
       }
-      return false;
+      return trueType2;
     }
   }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.5";
-      version = `${versionMajorMinor}.0-insiders.20240223`;
+      version = `${versionMajorMinor}.0-insiders.20240226`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -76943,6 +76943,7 @@ ${lanes.join("\n")}
       if (functionFlags !== 0 /* Normal */ || func.parameters.length === 0)
         return void 0;
       let singleReturn;
+      let singleReturnStatement;
       if (func.body && func.body.kind !== 241 /* Block */) {
         singleReturn = func.body;
       } else {
@@ -76951,13 +76952,12 @@ ${lanes.join("\n")}
         const bailedEarly = forEachReturnStatement(func.body, (returnStatement) => {
           if (singleReturn || !returnStatement.expression)
             return true;
+          singleReturnStatement = returnStatement;
           singleReturn = returnStatement.expression;
         });
         if (bailedEarly || !singleReturn)
           return void 0;
       }
-      if (isTriviallyNonBoolean(singleReturn))
-        return void 0;
       const predicate = checkIfExpressionRefinesAnyParameter(singleReturn);
       if (predicate) {
         const [i, type] = predicate;
@@ -76973,36 +76973,21 @@ ${lanes.join("\n")}
           /*excludeJSDocTypeAssertions*/
           true
         );
-        const type = checkExpressionCached(expr, 64 /* TypeOnly */);
-        if (type !== booleanType || !func.body)
+        const type = checkExpressionCached(expr);
+        if (type !== booleanType)
           return void 0;
         return forEach(func.parameters, (param, i) => {
           const initType = getSymbolLinks(param.symbol).type;
           if (!initType || initType === booleanType || isSymbolAssigned(param.symbol)) {
             return;
           }
-          const trueType2 = checkIfExpressionRefinesParameter(
-            expr,
-            param,
-            initType,
-            /*forceFullCheck*/
-            false
-          );
+          const trueType2 = checkIfExpressionRefinesParameter(expr, param, initType);
           if (trueType2) {
-            const trueSubtype = checkIfExpressionRefinesParameter(
-              expr,
-              param,
-              trueType2,
-              /*forceFullCheck*/
-              true
-            );
-            if (trueSubtype) {
-              return [i, trueType2];
-            }
+            return [i, trueType2];
           }
         });
       }
-      function checkIfExpressionRefinesParameter(expr, param, initType, forceFullCheck) {
+      function checkIfExpressionRefinesParameter(expr, param, initType) {
         const antecedent = expr.flowNode ?? { flags: 2 /* Start */ };
         const trueCondition = {
           flags: 32 /* TrueCondition */,
@@ -77010,29 +76995,22 @@ ${lanes.join("\n")}
           antecedent
         };
         const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
-        if (trueType2 === initType && !forceFullCheck)
+        if (trueType2 === initType)
           return void 0;
         const falseCondition = {
           ...trueCondition,
           flags: 64 /* FalseCondition */
         };
-        const falseType2 = getFlowTypeOfReference(param.name, initType, initType, func, falseCondition);
-        const candidateFalse = filterType(initType, (t) => !isTypeSubtypeOf(t, trueType2));
-        if (isTypeIdenticalTo(candidateFalse, falseType2)) {
-          return trueType2;
-        }
-      }
-      function isTriviallyNonBoolean(expr) {
-        if (isLiteralExpression(expr) || isLiteralExpressionOfObject(expr)) {
-          return true;
-        }
-        if (isIdentifier(expr)) {
-          const sym = getResolvedSymbol(expr);
-          if (sym.flags & (32 /* Class */ | 4096 /* ObjectLiteral */ | 16 /* Function */ | 384 /* Enum */ | 8 /* EnumMember */)) {
-            return true;
+        const falseSubtype = getFlowTypeOfReference(param.name, trueType2, trueType2, func, falseCondition);
+        if (!isTypeIdenticalTo(falseSubtype, neverType))
+          return void 0;
+        if (singleReturnStatement == null ? void 0 : singleReturnStatement.flowNode) {
+          const typeAtReturn = getFlowTypeOfReference(param.name, initType, initType, func, singleReturnStatement == null ? void 0 : singleReturnStatement.flowNode);
+          if (typeAtReturn !== initType) {
+            return void 0;
           }
         }
-        return false;
+        return trueType2;
       }
     }
     function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-insiders.20240223`;
+var version = `${versionMajorMinor}.0-insiders.20240226`;
 
 // src/compiler/core.ts
 var emptyArray = [];

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.5.0-pr-57465-44",
+  "version": "5.5.0-pr-57465-61",
   "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": "38a3acfa5adb621582815eb125e8f5d5ebb602cf"
+  "gitHead": "e0aafed543a12f997ca524e0c08c1797d6be4ca7"
 }