@typescript-deploys/pr-build 5.5.0-pr-57465-44 → 5.5.0-pr-57267-6

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.20240227`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -56016,15 +56016,7 @@ function createTypeChecker(host) {
             jsdocPredicate = getTypePredicateOfSignature(jsdocSignature);
           }
         }
-        if (type || jsdocPredicate) {
-          signature.resolvedTypePredicate = type && isTypePredicateNode(type) ? createTypePredicateFromTypePredicateNode(type, signature) : jsdocPredicate || noTypePredicate;
-        } else if (signature.declaration && isFunctionLikeDeclaration(signature.declaration) && (!signature.resolvedReturnType || signature.resolvedReturnType === booleanType)) {
-          const { declaration } = signature;
-          signature.resolvedTypePredicate = noTypePredicate;
-          signature.resolvedTypePredicate = getTypePredicateFromBody(declaration) || noTypePredicate;
-        } else {
-          signature.resolvedTypePredicate = noTypePredicate;
-        }
+        signature.resolvedTypePredicate = type && isTypePredicateNode(type) ? createTypePredicateFromTypePredicateNode(type, signature) : jsdocPredicate || noTypePredicate;
       }
       Debug.assert(!!signature.resolvedTypePredicate);
     }
@@ -74433,109 +74425,6 @@ function createTypeChecker(host) {
         return false;
     }
   }
-  function getTypePredicateFromBody(func) {
-    switch (func.kind) {
-      case 176 /* Constructor */:
-      case 177 /* GetAccessor */:
-      case 178 /* SetAccessor */:
-        return void 0;
-    }
-    const functionFlags = getFunctionFlags(func);
-    if (functionFlags !== 0 /* Normal */ || func.parameters.length === 0)
-      return void 0;
-    let singleReturn;
-    if (func.body && func.body.kind !== 241 /* Block */) {
-      singleReturn = func.body;
-    } else {
-      if (functionHasImplicitReturn(func))
-        return void 0;
-      const bailedEarly = forEachReturnStatement(func.body, (returnStatement) => {
-        if (singleReturn || !returnStatement.expression)
-          return true;
-        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;
-      const param = func.parameters[i];
-      if (isIdentifier(param.name)) {
-        return createTypePredicate(1 /* Identifier */, param.name.escapedText, i, type);
-      }
-    }
-    return void 0;
-    function checkIfExpressionRefinesAnyParameter(expr) {
-      expr = skipParentheses(
-        expr,
-        /*excludeJSDocTypeAssertions*/
-        true
-      );
-      const type = checkExpressionCached(expr, 64 /* TypeOnly */);
-      if (type !== booleanType || !func.body)
-        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
-        );
-        if (trueType2) {
-          const trueSubtype = checkIfExpressionRefinesParameter(
-            expr,
-            param,
-            trueType2,
-            /*forceFullCheck*/
-            true
-          );
-          if (trueSubtype) {
-            return [i, trueType2];
-          }
-        }
-      });
-    }
-    function checkIfExpressionRefinesParameter(expr, param, initType, forceFullCheck) {
-      const antecedent = expr.flowNode ?? { flags: 2 /* Start */ };
-      const trueCondition = {
-        flags: 32 /* TrueCondition */,
-        node: expr,
-        antecedent
-      };
-      const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
-      if (trueType2 === initType && !forceFullCheck)
-        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;
-        }
-      }
-      return false;
-    }
-  }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {
     addLazyDiagnostic(checkAllCodePathsInNonVoidFunctionReturnOrThrowDiagnostics);
     return;
@@ -111168,8 +111057,8 @@ function emitFiles(resolver, host, targetSourceFile, { scriptTransformers, decla
       removeComments: compilerOptions.removeComments,
       newLine: compilerOptions.newLine,
       noEmitHelpers: compilerOptions.noEmitHelpers,
-      module: compilerOptions.module,
-      target: compilerOptions.target,
+      module: getEmitModuleKind(compilerOptions),
+      target: getEmitScriptTarget(compilerOptions),
       sourceMap: compilerOptions.sourceMap,
       inlineSourceMap: compilerOptions.inlineSourceMap,
       inlineSources: compilerOptions.inlineSources,