@typescript-deploys/pr-build 5.4.0-pr-56358-6 → 5.4.0-pr-56357-10

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20231109`;
+var version = `${versionMajorMinor}.0-insiders.20231110`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -40404,14 +40404,9 @@ function createBinder() {
     const clauses = node.clauses;
     const isNarrowingSwitch = node.parent.expression.kind === 112 /* TrueKeyword */ || isNarrowingExpression(node.parent.expression);
     let fallthroughFlow = unreachableFlow;
-    let afterPreviousClauseFlow;
     for (let i = 0; i < clauses.length; i++) {
       const clauseStart = i;
       while (!clauses[i].statements.length && i + 1 < clauses.length) {
-        if (afterPreviousClauseFlow && afterPreviousClauseFlow === unreachableFlow) {
-          currentFlow = preSwitchCaseFlow;
-          afterPreviousClauseFlow = void 0;
-        }
         bind(clauses[i]);
         i++;
       }
@@ -40421,7 +40416,7 @@ function createBinder() {
       currentFlow = finishFlowLabel(preCaseLabel);
       const clause = clauses[i];
       bind(clause);
-      fallthroughFlow = afterPreviousClauseFlow = currentFlow;
+      fallthroughFlow = currentFlow;
       if (!(currentFlow.flags & 1 /* Unreachable */) && i !== clauses.length - 1 && options.noFallthroughCasesInSwitch) {
         clause.fallthroughFlowNode = currentFlow;
       }
@@ -71268,6 +71263,11 @@ function createTypeChecker(host) {
       result = chooseOverload(candidates, assignableRelation, isSingleNonGenericCandidate, signatureHelpTrailingComma);
     }
     if (result) {
+      const returnType = calculateSignatureReturnTypeForSpecialCases(result, args);
+      if (returnType) {
+        result = cloneSignature(result);
+        result.resolvedReturnType = returnType;
+      }
       return result;
     }
     result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
@@ -71385,6 +71385,47 @@ function createTypeChecker(host) {
       }
     }
     return result;
+    function calculateSignatureReturnTypeForSpecialCases(signature, args2) {
+      var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j;
+      if (args2.length >= 1) {
+        if (((_b = (_a = signature.declaration) == null ? void 0 : _a.symbol) == null ? void 0 : _b.escapedName) === "filter" && (((_e = (_d = (_c = signature.declaration) == null ? void 0 : _c.symbol) == null ? void 0 : _d.parent) == null ? void 0 : _e.escapedName) === "Array" || ((_h = (_g = (_f = signature.declaration) == null ? void 0 : _f.symbol) == null ? void 0 : _g.parent) == null ? void 0 : _h.escapedName) === "ReadonlyArray")) {
+          const arg0Type = getTypeOfExpression(args2[0]);
+          if (((_i = arg0Type.symbol) == null ? void 0 : _i.escapedName) === "BooleanConstructor") {
+            let returnType = (_j = signature.mapper) == null ? void 0 : _j.targets[1];
+            if (returnType) {
+              const nonFalsieArrayTypesOut = [];
+              forEachType(returnType, (at) => {
+                let elemType;
+                if (isTupleType(at)) {
+                  elemType = getUnionType(getElementTypes(at));
+                } else if (isTupleLikeType(at)) {
+                  nonFalsieArrayTypesOut.push(at);
+                  return;
+                } else {
+                  elemType = getElementTypeOfArrayType(at) || anyType;
+                }
+                const nonFalsieElemTypes = [];
+                nonFalsieElemTypes.push(filterType(
+                  elemType,
+                  (t) => {
+                    const facts = getTypeFacts(t, 4194304 /* Truthy */ | 8388608 /* Falsy */);
+                    if (facts === 8388608 /* Falsy */) {
+                      return false;
+                    } else {
+                      return true;
+                    }
+                  }
+                ));
+                const atout = createArrayType(getUnionType(nonFalsieElemTypes));
+                nonFalsieArrayTypesOut.push(atout);
+              });
+              returnType = getUnionType(nonFalsieArrayTypesOut);
+              return returnType;
+            }
+          }
+        }
+      }
+    }
     function addImplementationSuccessElaboration(failed, diagnostic) {
       var _a, _b;
       const oldCandidatesForArgumentError = candidatesForArgumentError;

package/lib/tsserver.js

@@ -2330,7 +2330,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20231109`;
+var version = `${versionMajorMinor}.0-insiders.20231110`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -45067,14 +45067,9 @@ function createBinder() {
     const clauses = node.clauses;
     const isNarrowingSwitch = node.parent.expression.kind === 112 /* TrueKeyword */ || isNarrowingExpression(node.parent.expression);
     let fallthroughFlow = unreachableFlow;
-    let afterPreviousClauseFlow;
     for (let i = 0; i < clauses.length; i++) {
       const clauseStart = i;
       while (!clauses[i].statements.length && i + 1 < clauses.length) {
-        if (afterPreviousClauseFlow && afterPreviousClauseFlow === unreachableFlow) {
-          currentFlow = preSwitchCaseFlow;
-          afterPreviousClauseFlow = void 0;
-        }
         bind(clauses[i]);
         i++;
       }
@@ -45084,7 +45079,7 @@ function createBinder() {
       currentFlow = finishFlowLabel(preCaseLabel);
       const clause = clauses[i];
       bind(clause);
-      fallthroughFlow = afterPreviousClauseFlow = currentFlow;
+      fallthroughFlow = currentFlow;
       if (!(currentFlow.flags & 1 /* Unreachable */) && i !== clauses.length - 1 && options.noFallthroughCasesInSwitch) {
         clause.fallthroughFlowNode = currentFlow;
       }
@@ -75976,6 +75971,11 @@ function createTypeChecker(host) {
       result = chooseOverload(candidates, assignableRelation, isSingleNonGenericCandidate, signatureHelpTrailingComma);
     }
     if (result) {
+      const returnType = calculateSignatureReturnTypeForSpecialCases(result, args);
+      if (returnType) {
+        result = cloneSignature(result);
+        result.resolvedReturnType = returnType;
+      }
       return result;
     }
     result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
@@ -76093,6 +76093,47 @@ function createTypeChecker(host) {
       }
     }
     return result;
+    function calculateSignatureReturnTypeForSpecialCases(signature, args2) {
+      var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j;
+      if (args2.length >= 1) {
+        if (((_b = (_a = signature.declaration) == null ? void 0 : _a.symbol) == null ? void 0 : _b.escapedName) === "filter" && (((_e = (_d = (_c = signature.declaration) == null ? void 0 : _c.symbol) == null ? void 0 : _d.parent) == null ? void 0 : _e.escapedName) === "Array" || ((_h = (_g = (_f = signature.declaration) == null ? void 0 : _f.symbol) == null ? void 0 : _g.parent) == null ? void 0 : _h.escapedName) === "ReadonlyArray")) {
+          const arg0Type = getTypeOfExpression(args2[0]);
+          if (((_i = arg0Type.symbol) == null ? void 0 : _i.escapedName) === "BooleanConstructor") {
+            let returnType = (_j = signature.mapper) == null ? void 0 : _j.targets[1];
+            if (returnType) {
+              const nonFalsieArrayTypesOut = [];
+              forEachType(returnType, (at) => {
+                let elemType;
+                if (isTupleType(at)) {
+                  elemType = getUnionType(getElementTypes(at));
+                } else if (isTupleLikeType(at)) {
+                  nonFalsieArrayTypesOut.push(at);
+                  return;
+                } else {
+                  elemType = getElementTypeOfArrayType(at) || anyType;
+                }
+                const nonFalsieElemTypes = [];
+                nonFalsieElemTypes.push(filterType(
+                  elemType,
+                  (t) => {
+                    const facts = getTypeFacts(t, 4194304 /* Truthy */ | 8388608 /* Falsy */);
+                    if (facts === 8388608 /* Falsy */) {
+                      return false;
+                    } else {
+                      return true;
+                    }
+                  }
+                ));
+                const atout = createArrayType(getUnionType(nonFalsieElemTypes));
+                nonFalsieArrayTypesOut.push(atout);
+              });
+              returnType = getUnionType(nonFalsieArrayTypesOut);
+              return returnType;
+            }
+          }
+        }
+      }
+    }
     function addImplementationSuccessElaboration(failed, diagnostic) {
       var _a, _b;
       const oldCandidatesForArgumentError = candidatesForArgumentError;

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.4";
-      version = `${versionMajorMinor}.0-insiders.20231109`;
+      version = `${versionMajorMinor}.0-insiders.20231110`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -42912,14 +42912,9 @@ ${lanes.join("\n")}
       const clauses = node.clauses;
       const isNarrowingSwitch = node.parent.expression.kind === 112 /* TrueKeyword */ || isNarrowingExpression(node.parent.expression);
       let fallthroughFlow = unreachableFlow;
-      let afterPreviousClauseFlow;
       for (let i = 0; i < clauses.length; i++) {
         const clauseStart = i;
         while (!clauses[i].statements.length && i + 1 < clauses.length) {
-          if (afterPreviousClauseFlow && afterPreviousClauseFlow === unreachableFlow) {
-            currentFlow = preSwitchCaseFlow;
-            afterPreviousClauseFlow = void 0;
-          }
           bind(clauses[i]);
           i++;
         }
@@ -42929,7 +42924,7 @@ ${lanes.join("\n")}
         currentFlow = finishFlowLabel(preCaseLabel);
         const clause = clauses[i];
         bind(clause);
-        fallthroughFlow = afterPreviousClauseFlow = currentFlow;
+        fallthroughFlow = currentFlow;
         if (!(currentFlow.flags & 1 /* Unreachable */) && i !== clauses.length - 1 && options.noFallthroughCasesInSwitch) {
           clause.fallthroughFlowNode = currentFlow;
         }
@@ -73741,6 +73736,11 @@ ${lanes.join("\n")}
         result = chooseOverload(candidates, assignableRelation, isSingleNonGenericCandidate, signatureHelpTrailingComma);
       }
       if (result) {
+        const returnType = calculateSignatureReturnTypeForSpecialCases(result, args);
+        if (returnType) {
+          result = cloneSignature(result);
+          result.resolvedReturnType = returnType;
+        }
         return result;
       }
       result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
@@ -73858,6 +73858,47 @@ ${lanes.join("\n")}
         }
       }
       return result;
+      function calculateSignatureReturnTypeForSpecialCases(signature, args2) {
+        var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j;
+        if (args2.length >= 1) {
+          if (((_b = (_a = signature.declaration) == null ? void 0 : _a.symbol) == null ? void 0 : _b.escapedName) === "filter" && (((_e = (_d = (_c = signature.declaration) == null ? void 0 : _c.symbol) == null ? void 0 : _d.parent) == null ? void 0 : _e.escapedName) === "Array" || ((_h = (_g = (_f = signature.declaration) == null ? void 0 : _f.symbol) == null ? void 0 : _g.parent) == null ? void 0 : _h.escapedName) === "ReadonlyArray")) {
+            const arg0Type = getTypeOfExpression(args2[0]);
+            if (((_i = arg0Type.symbol) == null ? void 0 : _i.escapedName) === "BooleanConstructor") {
+              let returnType = (_j = signature.mapper) == null ? void 0 : _j.targets[1];
+              if (returnType) {
+                const nonFalsieArrayTypesOut = [];
+                forEachType(returnType, (at) => {
+                  let elemType;
+                  if (isTupleType(at)) {
+                    elemType = getUnionType(getElementTypes(at));
+                  } else if (isTupleLikeType(at)) {
+                    nonFalsieArrayTypesOut.push(at);
+                    return;
+                  } else {
+                    elemType = getElementTypeOfArrayType(at) || anyType;
+                  }
+                  const nonFalsieElemTypes = [];
+                  nonFalsieElemTypes.push(filterType(
+                    elemType,
+                    (t) => {
+                      const facts = getTypeFacts(t, 4194304 /* Truthy */ | 8388608 /* Falsy */);
+                      if (facts === 8388608 /* Falsy */) {
+                        return false;
+                      } else {
+                        return true;
+                      }
+                    }
+                  ));
+                  const atout = createArrayType(getUnionType(nonFalsieElemTypes));
+                  nonFalsieArrayTypesOut.push(atout);
+                });
+                returnType = getUnionType(nonFalsieArrayTypesOut);
+                return returnType;
+              }
+            }
+          }
+        }
+      }
       function addImplementationSuccessElaboration(failed, diagnostic) {
         var _a, _b;
         const oldCandidatesForArgumentError = candidatesForArgumentError;

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20231109`;
+var version = `${versionMajorMinor}.0-insiders.20231110`;
 
 // 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.4.0-pr-56358-6",
+  "version": "5.4.0-pr-56357-10",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -115,5 +115,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "2f4cd21b78f16a6222d1c9b3eb2834385c7d8986"
+  "gitHead": "c2e3aec94803d7185ef7c7b0f54c9af124d7a253"
 }