@typescript-deploys/pr-build 5.5.0-pr-57465-61 → 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.20240226`;
+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,87 +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;
-    let singleReturnStatement;
-    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;
-        singleReturnStatement = returnStatement;
-        singleReturn = returnStatement.expression;
-      });
-      if (bailedEarly || !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);
-      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);
-        if (trueType2) {
-          return [i, trueType2];
-        }
-      });
-    }
-    function checkIfExpressionRefinesParameter(expr, param, initType) {
-      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)
-        return void 0;
-      const falseCondition = {
-        ...trueCondition,
-        flags: 64 /* FalseCondition */
-      };
-      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 trueType2;
-    }
-  }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {
     addLazyDiagnostic(checkAllCodePathsInNonVoidFunctionReturnOrThrowDiagnostics);
     return;
@@ -111146,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,