@typescript-deploys/pr-build 5.5.0-pr-57465-61 → 5.5.0-pr-57484-5

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;
@@ -83095,6 +83006,15 @@ function createTypeChecker(host) {
     }
     return false;
   }
+  function declaredParameterTypeContainsUndefined(parameter) {
+    if (!parameter.type)
+      return false;
+    const type = getTypeFromTypeNode(parameter.type);
+    return containsUndefinedType(type);
+  }
+  function requiresAddingImplicitUndefined(parameter) {
+    return (isRequiredInitializedParameter(parameter) || isOptionalUninitializedParameterProperty(parameter)) && !declaredParameterTypeContainsUndefined(parameter);
+  }
   function isRequiredInitializedParameter(parameter) {
     return !!strictNullChecks && !isOptionalParameter(parameter) && !isJSDocParameterTag(parameter) && !!parameter.initializer && !hasSyntacticModifier(parameter, 31 /* ParameterPropertyModifier */);
   }
@@ -83454,8 +83374,7 @@ function createTypeChecker(host) {
       isTopLevelValueImportEqualsWithEntityName,
       isDeclarationVisible,
       isImplementationOfOverload,
-      isRequiredInitializedParameter,
-      isOptionalUninitializedParameterProperty,
+      requiresAddingImplicitUndefined,
       isExpandoFunctionDeclaration,
       getPropertiesOfContainerFunction,
       createTypeOfDeclaration,
@@ -109163,38 +109082,41 @@ function transformDeclarations(context) {
     if (shouldPrintWithInitializer(node)) {
       return;
     }
-    const shouldUseResolverType = node.kind === 169 /* Parameter */ && (resolver.isRequiredInitializedParameter(node) || resolver.isOptionalUninitializedParameterProperty(node));
-    if (type && !shouldUseResolverType) {
+    const shouldAddImplicitUndefined = node.kind === 169 /* Parameter */ && resolver.requiresAddingImplicitUndefined(node);
+    if (type && !shouldAddImplicitUndefined) {
       return visitNode(type, visitDeclarationSubtree, isTypeNode);
     }
-    if (!getParseTreeNode(node)) {
-      return type ? visitNode(type, visitDeclarationSubtree, isTypeNode) : factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-    }
-    if (node.kind === 178 /* SetAccessor */) {
-      return factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-    }
     errorNameNode = node.name;
     let oldDiag;
     if (!suppressNewDiagnosticContexts) {
       oldDiag = getSymbolAccessibilityDiagnostic;
       getSymbolAccessibilityDiagnostic = createGetSymbolAccessibilityDiagnosticForNode(node);
     }
-    if (node.kind === 260 /* VariableDeclaration */ || node.kind === 208 /* BindingElement */) {
-      return cleanup(resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker));
-    }
-    if (node.kind === 169 /* Parameter */ || node.kind === 172 /* PropertyDeclaration */ || node.kind === 171 /* PropertySignature */) {
-      if (isPropertySignature(node) || !node.initializer)
-        return cleanup(resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldUseResolverType));
-      return cleanup(resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldUseResolverType) || resolver.createTypeOfExpression(node.initializer, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker));
+    let typeNode;
+    switch (node.kind) {
+      case 169 /* Parameter */:
+      case 171 /* PropertySignature */:
+      case 172 /* PropertyDeclaration */:
+      case 208 /* BindingElement */:
+      case 260 /* VariableDeclaration */:
+        typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldAddImplicitUndefined);
+        break;
+      case 262 /* FunctionDeclaration */:
+      case 180 /* ConstructSignature */:
+      case 173 /* MethodSignature */:
+      case 174 /* MethodDeclaration */:
+      case 177 /* GetAccessor */:
+      case 179 /* CallSignature */:
+        typeNode = resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker);
+        break;
+      default:
+        Debug.assertNever(node);
     }
-    return cleanup(resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker));
-    function cleanup(returnValue) {
-      errorNameNode = void 0;
-      if (!suppressNewDiagnosticContexts) {
-        getSymbolAccessibilityDiagnostic = oldDiag;
-      }
-      return returnValue || factory2.createKeywordTypeNode(133 /* AnyKeyword */);
+    errorNameNode = void 0;
+    if (!suppressNewDiagnosticContexts) {
+      getSymbolAccessibilityDiagnostic = oldDiag;
     }
+    return typeNode ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
   }
   function isDeclarationAndNotVisible(node) {
     node = getParseTreeNode(node);
@@ -111146,8 +111068,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,
@@ -111417,8 +111339,7 @@ var notImplementedResolver = {
   isLateBound: (_node) => false,
   collectLinkedAliases: notImplemented,
   isImplementationOfOverload: notImplemented,
-  isRequiredInitializedParameter: notImplemented,
-  isOptionalUninitializedParameterProperty: notImplemented,
+  requiresAddingImplicitUndefined: notImplemented,
   isExpandoFunctionDeclaration: notImplemented,
   getPropertiesOfContainerFunction: notImplemented,
   createTypeOfDeclaration: notImplemented,

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.20240226`;
+var version = `${versionMajorMinor}.0-insiders.20240227`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -60761,15 +60761,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);
     }
@@ -79178,87 +79170,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;
@@ -87840,6 +87751,15 @@ function createTypeChecker(host) {
     }
     return false;
   }
+  function declaredParameterTypeContainsUndefined(parameter) {
+    if (!parameter.type)
+      return false;
+    const type = getTypeFromTypeNode(parameter.type);
+    return containsUndefinedType(type);
+  }
+  function requiresAddingImplicitUndefined(parameter) {
+    return (isRequiredInitializedParameter(parameter) || isOptionalUninitializedParameterProperty(parameter)) && !declaredParameterTypeContainsUndefined(parameter);
+  }
   function isRequiredInitializedParameter(parameter) {
     return !!strictNullChecks && !isOptionalParameter(parameter) && !isJSDocParameterTag(parameter) && !!parameter.initializer && !hasSyntacticModifier(parameter, 31 /* ParameterPropertyModifier */);
   }
@@ -88199,8 +88119,7 @@ function createTypeChecker(host) {
       isTopLevelValueImportEqualsWithEntityName,
       isDeclarationVisible,
       isImplementationOfOverload,
-      isRequiredInitializedParameter,
-      isOptionalUninitializedParameterProperty,
+      requiresAddingImplicitUndefined,
       isExpandoFunctionDeclaration,
       getPropertiesOfContainerFunction,
       createTypeOfDeclaration,
@@ -114079,38 +113998,41 @@ function transformDeclarations(context) {
     if (shouldPrintWithInitializer(node)) {
       return;
     }
-    const shouldUseResolverType = node.kind === 169 /* Parameter */ && (resolver.isRequiredInitializedParameter(node) || resolver.isOptionalUninitializedParameterProperty(node));
-    if (type && !shouldUseResolverType) {
+    const shouldAddImplicitUndefined = node.kind === 169 /* Parameter */ && resolver.requiresAddingImplicitUndefined(node);
+    if (type && !shouldAddImplicitUndefined) {
       return visitNode(type, visitDeclarationSubtree, isTypeNode);
     }
-    if (!getParseTreeNode(node)) {
-      return type ? visitNode(type, visitDeclarationSubtree, isTypeNode) : factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-    }
-    if (node.kind === 178 /* SetAccessor */) {
-      return factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-    }
     errorNameNode = node.name;
     let oldDiag;
     if (!suppressNewDiagnosticContexts) {
       oldDiag = getSymbolAccessibilityDiagnostic;
       getSymbolAccessibilityDiagnostic = createGetSymbolAccessibilityDiagnosticForNode(node);
     }
-    if (node.kind === 260 /* VariableDeclaration */ || node.kind === 208 /* BindingElement */) {
-      return cleanup(resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker));
-    }
-    if (node.kind === 169 /* Parameter */ || node.kind === 172 /* PropertyDeclaration */ || node.kind === 171 /* PropertySignature */) {
-      if (isPropertySignature(node) || !node.initializer)
-        return cleanup(resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldUseResolverType));
-      return cleanup(resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldUseResolverType) || resolver.createTypeOfExpression(node.initializer, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker));
+    let typeNode;
+    switch (node.kind) {
+      case 169 /* Parameter */:
+      case 171 /* PropertySignature */:
+      case 172 /* PropertyDeclaration */:
+      case 208 /* BindingElement */:
+      case 260 /* VariableDeclaration */:
+        typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldAddImplicitUndefined);
+        break;
+      case 262 /* FunctionDeclaration */:
+      case 180 /* ConstructSignature */:
+      case 173 /* MethodSignature */:
+      case 174 /* MethodDeclaration */:
+      case 177 /* GetAccessor */:
+      case 179 /* CallSignature */:
+        typeNode = resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker);
+        break;
+      default:
+        Debug.assertNever(node);
     }
-    return cleanup(resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker));
-    function cleanup(returnValue) {
-      errorNameNode = void 0;
-      if (!suppressNewDiagnosticContexts) {
-        getSymbolAccessibilityDiagnostic = oldDiag;
-      }
-      return returnValue || factory2.createKeywordTypeNode(133 /* AnyKeyword */);
+    errorNameNode = void 0;
+    if (!suppressNewDiagnosticContexts) {
+      getSymbolAccessibilityDiagnostic = oldDiag;
     }
+    return typeNode ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
   }
   function isDeclarationAndNotVisible(node) {
     node = getParseTreeNode(node);
@@ -116073,8 +115995,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,
@@ -116344,8 +116266,7 @@ var notImplementedResolver = {
   isLateBound: (_node) => false,
   collectLinkedAliases: notImplemented,
   isImplementationOfOverload: notImplemented,
-  isRequiredInitializedParameter: notImplemented,
-  isOptionalUninitializedParameterProperty: notImplemented,
+  requiresAddingImplicitUndefined: notImplemented,
   isExpandoFunctionDeclaration: notImplemented,
   getPropertiesOfContainerFunction: notImplemented,
   createTypeOfDeclaration: notImplemented,
@@ -162773,7 +162694,7 @@ function toUpperCharCode(charCode) {
   return charCode;
 }
 function isContextualKeywordInAutoImportableExpressionSpace(keyword) {
-  return keyword === "abstract" || keyword === "async" || keyword === "await" || keyword === "declare" || keyword === "module" || keyword === "namespace" || keyword === "type";
+  return keyword === "abstract" || keyword === "async" || keyword === "await" || keyword === "declare" || keyword === "module" || keyword === "namespace" || keyword === "type" || keyword === "satisfies" || keyword === "as";
 }
 
 // src/services/_namespaces/ts.Completions.StringCompletions.ts
@@ -166915,7 +166836,7 @@ function provideInlayHints(context) {
     return false;
   }
   function leadingCommentsContainsParameterName(node, name) {
-    if (!isIdentifierText(name, compilerOptions.target, getLanguageVariant(file.scriptKind))) {
+    if (!isIdentifierText(name, getEmitScriptTarget(compilerOptions), getLanguageVariant(file.scriptKind))) {
       return false;
     }
     const ranges = getLeadingCommentRanges(sourceFileText, node.pos);

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.5";
-      version = `${versionMajorMinor}.0-insiders.20240226`;
+      version = `${versionMajorMinor}.0-insiders.20240227`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -58515,15 +58515,7 @@ ${lanes.join("\n")}
               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);
       }
@@ -76932,87 +76924,6 @@ ${lanes.join("\n")}
           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;
@@ -85594,6 +85505,15 @@ ${lanes.join("\n")}
       }
       return false;
     }
+    function declaredParameterTypeContainsUndefined(parameter) {
+      if (!parameter.type)
+        return false;
+      const type = getTypeFromTypeNode(parameter.type);
+      return containsUndefinedType(type);
+    }
+    function requiresAddingImplicitUndefined(parameter) {
+      return (isRequiredInitializedParameter(parameter) || isOptionalUninitializedParameterProperty(parameter)) && !declaredParameterTypeContainsUndefined(parameter);
+    }
     function isRequiredInitializedParameter(parameter) {
       return !!strictNullChecks && !isOptionalParameter(parameter) && !isJSDocParameterTag(parameter) && !!parameter.initializer && !hasSyntacticModifier(parameter, 31 /* ParameterPropertyModifier */);
     }
@@ -85953,8 +85873,7 @@ ${lanes.join("\n")}
         isTopLevelValueImportEqualsWithEntityName,
         isDeclarationVisible,
         isImplementationOfOverload,
-        isRequiredInitializedParameter,
-        isOptionalUninitializedParameterProperty,
+        requiresAddingImplicitUndefined,
         isExpandoFunctionDeclaration,
         getPropertiesOfContainerFunction,
         createTypeOfDeclaration,
@@ -112143,38 +112062,41 @@ ${lanes.join("\n")}
       if (shouldPrintWithInitializer(node)) {
         return;
       }
-      const shouldUseResolverType = node.kind === 169 /* Parameter */ && (resolver.isRequiredInitializedParameter(node) || resolver.isOptionalUninitializedParameterProperty(node));
-      if (type && !shouldUseResolverType) {
+      const shouldAddImplicitUndefined = node.kind === 169 /* Parameter */ && resolver.requiresAddingImplicitUndefined(node);
+      if (type && !shouldAddImplicitUndefined) {
         return visitNode(type, visitDeclarationSubtree, isTypeNode);
       }
-      if (!getParseTreeNode(node)) {
-        return type ? visitNode(type, visitDeclarationSubtree, isTypeNode) : factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-      }
-      if (node.kind === 178 /* SetAccessor */) {
-        return factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-      }
       errorNameNode = node.name;
       let oldDiag;
       if (!suppressNewDiagnosticContexts) {
         oldDiag = getSymbolAccessibilityDiagnostic;
         getSymbolAccessibilityDiagnostic = createGetSymbolAccessibilityDiagnosticForNode(node);
       }
-      if (node.kind === 260 /* VariableDeclaration */ || node.kind === 208 /* BindingElement */) {
-        return cleanup(resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker));
-      }
-      if (node.kind === 169 /* Parameter */ || node.kind === 172 /* PropertyDeclaration */ || node.kind === 171 /* PropertySignature */) {
-        if (isPropertySignature(node) || !node.initializer)
-          return cleanup(resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldUseResolverType));
-        return cleanup(resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldUseResolverType) || resolver.createTypeOfExpression(node.initializer, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker));
+      let typeNode;
+      switch (node.kind) {
+        case 169 /* Parameter */:
+        case 171 /* PropertySignature */:
+        case 172 /* PropertyDeclaration */:
+        case 208 /* BindingElement */:
+        case 260 /* VariableDeclaration */:
+          typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldAddImplicitUndefined);
+          break;
+        case 262 /* FunctionDeclaration */:
+        case 180 /* ConstructSignature */:
+        case 173 /* MethodSignature */:
+        case 174 /* MethodDeclaration */:
+        case 177 /* GetAccessor */:
+        case 179 /* CallSignature */:
+          typeNode = resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker);
+          break;
+        default:
+          Debug.assertNever(node);
       }
-      return cleanup(resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker));
-      function cleanup(returnValue) {
-        errorNameNode = void 0;
-        if (!suppressNewDiagnosticContexts) {
-          getSymbolAccessibilityDiagnostic = oldDiag;
-        }
-        return returnValue || factory2.createKeywordTypeNode(133 /* AnyKeyword */);
+      errorNameNode = void 0;
+      if (!suppressNewDiagnosticContexts) {
+        getSymbolAccessibilityDiagnostic = oldDiag;
       }
+      return typeNode ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
     }
     function isDeclarationAndNotVisible(node) {
       node = getParseTreeNode(node);
@@ -114153,8 +114075,8 @@ ${lanes.join("\n")}
         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,
@@ -119293,8 +119215,7 @@ ${lanes.join("\n")}
         isLateBound: (_node) => false,
         collectLinkedAliases: notImplemented,
         isImplementationOfOverload: notImplemented,
-        isRequiredInitializedParameter: notImplemented,
-        isOptionalUninitializedParameterProperty: notImplemented,
+        requiresAddingImplicitUndefined: notImplemented,
         isExpandoFunctionDeclaration: notImplemented,
         getPropertiesOfContainerFunction: notImplemented,
         createTypeOfDeclaration: notImplemented,
@@ -161973,7 +161894,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
     return charCode;
   }
   function isContextualKeywordInAutoImportableExpressionSpace(keyword) {
-    return keyword === "abstract" || keyword === "async" || keyword === "await" || keyword === "declare" || keyword === "module" || keyword === "namespace" || keyword === "type";
+    return keyword === "abstract" || keyword === "async" || keyword === "await" || keyword === "declare" || keyword === "module" || keyword === "namespace" || keyword === "type" || keyword === "satisfies" || keyword === "as";
   }
   var moduleSpecifierResolutionLimit, moduleSpecifierResolutionCacheAttemptLimit, SortText, CompletionSource, SymbolOriginInfoKind, CompletionKind, _keywordCompletions, allKeywordsCompletions;
   var init_completions = __esm({
@@ -166260,7 +166181,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       return false;
     }
     function leadingCommentsContainsParameterName(node, name) {
-      if (!isIdentifierText(name, compilerOptions.target, getLanguageVariant(file.scriptKind))) {
+      if (!isIdentifierText(name, getEmitScriptTarget(compilerOptions), getLanguageVariant(file.scriptKind))) {
         return false;
       }
       const ranges = getLeadingCommentRanges(sourceFileText, node.pos);

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.20240226`;
+var version = `${versionMajorMinor}.0-insiders.20240227`;
 
 // 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-61",
+  "version": "5.5.0-pr-57484-5",
   "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": "e0aafed543a12f997ca524e0c08c1797d6be4ca7"
+  "gitHead": "d62138045517ed5d430ae0b05a67393e694e3827"
 }