@typescript-deploys/pr-build 5.5.0-pr-57589-6 → 5.5.0-pr-55267-105

package/lib/tsc.js

@@ -107841,17 +107841,9 @@ function createGetSymbolAccessibilityDiagnosticForNode(node) {
     return getImportEntityNameVisibilityError;
   } else if (isTypeAliasDeclaration(node) || isJSDocTypeAlias(node)) {
     return getTypeAliasDeclarationVisibilityError;
-  } else if (isExportAssignment(node)) {
-    return getExportAssignmentTypeVisibilityDiagnosticMessage;
   } else {
     return Debug.assertNever(node, `Attempted to set a declaration diagnostic context for unhandled node kind: ${Debug.formatSyntaxKind(node.kind)}`);
   }
-  function getExportAssignmentTypeVisibilityDiagnosticMessage() {
-    return {
-      diagnosticMessage: Diagnostics.Default_export_of_the_module_has_or_is_using_private_name_0,
-      errorNode: node
-    };
-  }
   function getVariableDeclarationTypeVisibilityDiagnosticMessage(symbolAccessibilityResult) {
     if (node.kind === 260 /* VariableDeclaration */ || node.kind === 208 /* BindingElement */) {
       return symbolAccessibilityResult.errorModuleName ? symbolAccessibilityResult.accessibility === 2 /* CannotBeNamed */ ? Diagnostics.Exported_variable_0_has_or_is_using_name_1_from_external_module_2_but_cannot_be_named : Diagnostics.Exported_variable_0_has_or_is_using_name_1_from_private_module_2 : Diagnostics.Exported_variable_0_has_or_is_using_private_name_1;
@@ -108097,7 +108089,6 @@ function transformDeclarations(context) {
   const resolver = context.getEmitResolver();
   const options = context.getCompilerOptions();
   const { noResolve, stripInternal } = options;
-  const strictNullChecks = getStrictOptionValue(options, "strictNullChecks");
   return transformRoot;
   function recordTypeReferenceDirectivesIfNecessary(typeReferenceDirectives) {
     if (!typeReferenceDirectives) {
@@ -108485,7 +108476,7 @@ function transformDeclarations(context) {
       );
     }
   }
-  function ensureParameter(p, modifierMask) {
+  function ensureParameter(p, modifierMask, type) {
     let oldDiag;
     if (!suppressNewDiagnosticContexts) {
       oldDiag = getSymbolAccessibilityDiagnostic;
@@ -108499,6 +108490,7 @@ function transformDeclarations(context) {
       resolver.isOptionalParameter(p) ? p.questionToken || factory2.createToken(58 /* QuestionToken */) : void 0,
       ensureType(
         p,
+        type || p.type,
         /*ignorePrivate*/
         true
       ),
@@ -108519,37 +108511,18 @@ function transformDeclarations(context) {
     }
     return void 0;
   }
-  function ensureType(node, ignorePrivate) {
+  function ensureType(node, type, ignorePrivate) {
     if (!ignorePrivate && hasEffectiveModifier(node, 2 /* Private */)) {
       return;
     }
     if (shouldPrintWithInitializer(node)) {
       return;
     }
-    return typeFromDeclaration(node);
-  }
-  function inferVariableLikeType(node, addUndefined) {
-    const flags = node.kind === 303 /* PropertyAssignment */ ? 4194304 /* InObjectTypeLiteral */ : 0 /* None */;
-    return resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags | flags, symbolTracker, addUndefined) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-  }
-  function inferExpressionType(node) {
-    return resolver.createTypeOfExpression(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-  }
-  function inferReturnTypeOfSignatureSignature(node) {
-    return resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-  }
-  function inferAccessorType(node) {
-    if (node.kind === 177 /* GetAccessor */) {
-      return inferReturnTypeOfSignatureSignature(node);
-    } else {
-      return factory2.createKeywordTypeNode(133 /* AnyKeyword */);
+    const shouldAddImplicitUndefined = node.kind === 169 /* Parameter */ && resolver.requiresAddingImplicitUndefined(node);
+    if (type && !shouldAddImplicitUndefined) {
+      return visitNode(type, visitDeclarationSubtree, isTypeNode);
     }
-  }
-  function typeFromDeclaration(node) {
-    const savedErrorNameNode = errorNameNode;
-    const savedErrorFallbackNode = errorFallbackNode;
     errorNameNode = node.name;
-    errorFallbackNode = node;
     let oldDiag;
     if (!suppressNewDiagnosticContexts) {
       oldDiag = getSymbolAccessibilityDiagnostic;
@@ -108558,142 +108531,28 @@ function transformDeclarations(context) {
     let typeNode;
     switch (node.kind) {
       case 169 /* Parameter */:
-        typeNode = typeFromParameter(node);
-        break;
-      case 260 /* VariableDeclaration */:
-        typeNode = typeFromVariable(node);
-        break;
+      case 171 /* PropertySignature */:
       case 172 /* PropertyDeclaration */:
-        typeNode = typeFromProperty(node);
-        break;
-      case 177 /* GetAccessor */:
-        typeNode = typeFromAccessor(node);
-        break;
       case 208 /* BindingElement */:
-        typeNode = inferVariableLikeType(node);
+      case 260 /* VariableDeclaration */:
+        typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldAddImplicitUndefined);
         break;
+      case 262 /* FunctionDeclaration */:
       case 180 /* ConstructSignature */:
-      case 171 /* PropertySignature */:
       case 173 /* MethodSignature */:
-      case 179 /* CallSignature */:
-        typeNode = visitTypeNode(node.type) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-        break;
       case 174 /* MethodDeclaration */:
-      case 262 /* FunctionDeclaration */:
-        typeNode = visitTypeNode(node.type) ?? inferReturnTypeOfSignatureSignature(node);
-        break;
-      case 277 /* ExportAssignment */:
-        typeNode = typeFromExpression(node.expression) ?? inferExpressionType(node.expression);
+      case 177 /* GetAccessor */:
+      case 179 /* CallSignature */:
+        typeNode = resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker);
         break;
       default:
-        Debug.assertNever(node, `Node needs to be an inferrable node, found ${Debug.formatSyntaxKind(node.kind)}`);
+        Debug.assertNever(node);
     }
-    errorNameNode = savedErrorNameNode;
-    errorFallbackNode = savedErrorFallbackNode;
+    errorNameNode = void 0;
     if (!suppressNewDiagnosticContexts) {
       getSymbolAccessibilityDiagnostic = oldDiag;
     }
-    return typeNode;
-  }
-  function visitTypeNode(type) {
-    return visitNode(type, visitDeclarationSubtree, isTypeNode);
-  }
-  function addUndefinedInUnion(type) {
-    if (!strictNullChecks)
-      return type;
-    if (isUnionTypeNode(type)) {
-      const hasUndefined = type.types.some((p) => p.kind === 157 /* UndefinedKeyword */);
-      if (hasUndefined)
-        return type;
-      return factory2.createUnionTypeNode([
-        ...type.types,
-        factory2.createKeywordTypeNode(157 /* UndefinedKeyword */)
-      ]);
-    }
-    return factory2.createUnionTypeNode([
-      type,
-      factory2.createKeywordTypeNode(157 /* UndefinedKeyword */)
-    ]);
-  }
-  function canAddUndefined(node) {
-    if (!strictNullChecks)
-      return true;
-    if (isKeyword(node.kind) || node.kind === 201 /* LiteralType */ || node.kind === 184 /* FunctionType */ || node.kind === 185 /* ConstructorType */ || node.kind === 188 /* ArrayType */ || node.kind === 189 /* TupleType */ || node.kind === 187 /* TypeLiteral */ || node.kind === 203 /* TemplateLiteralType */ || node.kind === 197 /* ThisType */) {
-      return true;
-    }
-    if (node.kind === 196 /* ParenthesizedType */) {
-      return canAddUndefined(node.type);
-    }
-    if (node.kind === 192 /* UnionType */ || node.kind === 193 /* IntersectionType */) {
-      return node.types.every(canAddUndefined);
-    }
-    return false;
-  }
-  function typeFromExpression(node, requiresUndefined) {
-    switch (node.kind) {
-      case 216 /* TypeAssertionExpression */:
-      case 234 /* AsExpression */:
-        const asExpression = node;
-        const type = asExpression.type;
-        if (isConstTypeReference(asExpression.type) || requiresUndefined && !canAddUndefined(type)) {
-          return void 0;
-        } else {
-          return visitTypeNode(type);
-        }
-    }
-    return void 0;
-  }
-  function typeFromAccessor(node) {
-    const accessorDeclarations = resolver.getAllAccessorDeclarations(node);
-    const accessorType = getTypeAnnotationFromAllAccessorDeclarations(node, accessorDeclarations);
-    if (accessorType) {
-      return visitTypeNode(accessorType);
-    }
-    return inferAccessorType(accessorDeclarations.getAccessor ?? node);
-  }
-  function typeFromVariable(node) {
-    const declaredType = node.type;
-    if (declaredType) {
-      return visitNode(declaredType, visitDeclarationSubtree, isTypeNode);
-    }
-    let resultType;
-    if (node.initializer) {
-      resultType = typeFromExpression(node.initializer);
-    }
-    return resultType ?? inferVariableLikeType(node);
-  }
-  function typeFromParameter(node) {
-    const parent = node.parent;
-    if (parent.kind === 178 /* SetAccessor */) {
-      return typeFromAccessor(parent);
-    }
-    const declaredType = node.type;
-    const addUndefined = resolver.requiresAddingImplicitUndefined(node);
-    let resultType;
-    if (!addUndefined) {
-      if (declaredType) {
-        return visitTypeNode(declaredType);
-      }
-      if (node.initializer && isIdentifier(node.name)) {
-        resultType = typeFromExpression(node.initializer);
-      }
-    }
-    return resultType ?? inferVariableLikeType(node, addUndefined);
-  }
-  function typeFromProperty(node) {
-    const declaredType = node.type;
-    if (declaredType) {
-      return visitTypeNode(declaredType);
-    }
-    let resultType;
-    if (node.initializer) {
-      const isOptional = isOptionalDeclaration(node);
-      resultType = typeFromExpression(node.initializer, isOptional);
-      if (isOptional && resultType) {
-        return addUndefinedInUnion(resultType);
-      }
-    }
-    return resultType ?? inferVariableLikeType(node);
+    return typeNode ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
   }
   function isDeclarationAndNotVisible(node) {
     node = getParseTreeNode(node);
@@ -108758,10 +108617,12 @@ function transformDeclarations(context) {
       if (!isPrivate) {
         const valueParameter = getSetAccessorValueParameter(input);
         if (valueParameter) {
+          const accessorType = getTypeAnnotationFromAllAccessorDeclarations(input, resolver.getAllAccessorDeclarations(input));
           newValueParameter = ensureParameter(
             valueParameter,
             /*modifierMask*/
-            void 0
+            void 0,
+            accessorType
           );
         }
       }
@@ -109008,7 +108869,7 @@ function transformDeclarations(context) {
             input,
             ensureTypeParams(input, input.typeParameters),
             updateParamsList(input, input.parameters),
-            ensureType(input)
+            ensureType(input, input.type)
           ));
         case 176 /* Constructor */: {
           const ctor = factory2.createConstructorDeclaration(
@@ -109035,7 +108896,7 @@ function transformDeclarations(context) {
             input.questionToken,
             ensureTypeParams(input, input.typeParameters),
             updateParamsList(input, input.parameters),
-            ensureType(input),
+            ensureType(input, input.type),
             /*body*/
             void 0
           );
@@ -109048,12 +108909,13 @@ function transformDeclarations(context) {
               void 0
             );
           }
+          const accessorType = getTypeAnnotationFromAllAccessorDeclarations(input, resolver.getAllAccessorDeclarations(input));
           return cleanup(factory2.updateGetAccessorDeclaration(
             input,
             ensureModifiers(input),
             input.name,
             updateAccessorParamsList(input, hasEffectiveModifier(input, 2 /* Private */)),
-            ensureType(input),
+            ensureType(input, accessorType),
             /*body*/
             void 0
           ));
@@ -109086,7 +108948,7 @@ function transformDeclarations(context) {
             ensureModifiers(input),
             input.name,
             input.questionToken,
-            ensureType(input),
+            ensureType(input, input.type),
             ensureNoInitializer(input)
           ));
         case 171 /* PropertySignature */:
@@ -109101,7 +108963,7 @@ function transformDeclarations(context) {
             ensureModifiers(input),
             input.name,
             input.questionToken,
-            ensureType(input)
+            ensureType(input, input.type)
           ));
         case 173 /* MethodSignature */: {
           if (isPrivateIdentifier(input.name)) {
@@ -109117,7 +108979,7 @@ function transformDeclarations(context) {
             input.questionToken,
             ensureTypeParams(input, input.typeParameters),
             updateParamsList(input, input.parameters),
-            ensureType(input)
+            ensureType(input, input.type)
           ));
         }
         case 179 /* CallSignature */: {
@@ -109126,7 +108988,7 @@ function transformDeclarations(context) {
               input,
               ensureTypeParams(input, input.typeParameters),
               updateParamsList(input, input.parameters),
-              ensureType(input)
+              ensureType(input, input.type)
             )
           );
         }
@@ -109149,7 +109011,7 @@ function transformDeclarations(context) {
             input.name,
             /*exclamationToken*/
             void 0,
-            ensureType(input),
+            ensureType(input, input.type),
             ensureNoInitializer(input)
           ));
         }
@@ -109277,12 +109139,11 @@ function transformDeclarations(context) {
             errorNode: input
           });
           errorFallbackNode = input;
-          const type = ensureType(input);
           const varDecl = factory2.createVariableDeclaration(
             newId,
             /*exclamationToken*/
             void 0,
-            type,
+            resolver.createTypeOfExpression(input.expression, input, declarationEmitNodeBuilderFlags, symbolTracker),
             /*initializer*/
             void 0
           );
@@ -109390,7 +109251,7 @@ function transformDeclarations(context) {
           input.name,
           ensureTypeParams(input, input.typeParameters),
           updateParamsList(input, input.parameters),
-          ensureType(input),
+          ensureType(input, input.type),
           /*body*/
           void 0
         ));
@@ -109556,7 +109417,7 @@ function transformDeclarations(context) {
                   ensureModifiers(param),
                   param.name,
                   param.questionToken,
-                  ensureType(param),
+                  ensureType(param, param.type),
                   ensureNoInitializer(param)
                 ),
                 param
@@ -109578,7 +109439,11 @@ function transformDeclarations(context) {
                   elem.name,
                   /*questionOrExclamationToken*/
                   void 0,
-                  ensureType(elem),
+                  ensureType(
+                    elem,
+                    /*type*/
+                    void 0
+                  ),
                   /*initializer*/
                   void 0
                 ));
@@ -109727,7 +109592,11 @@ function transformDeclarations(context) {
           e.name,
           /*exclamationToken*/
           void 0,
-          ensureType(e),
+          ensureType(
+            e,
+            /*type*/
+            void 0
+          ),
           /*initializer*/
           void 0
         );

package/lib/tsserver.js

@@ -112747,17 +112747,9 @@ function createGetSymbolAccessibilityDiagnosticForNode(node) {
     return getImportEntityNameVisibilityError;
   } else if (isTypeAliasDeclaration(node) || isJSDocTypeAlias(node)) {
     return getTypeAliasDeclarationVisibilityError;
-  } else if (isExportAssignment(node)) {
-    return getExportAssignmentTypeVisibilityDiagnosticMessage;
   } else {
     return Debug.assertNever(node, `Attempted to set a declaration diagnostic context for unhandled node kind: ${Debug.formatSyntaxKind(node.kind)}`);
   }
-  function getExportAssignmentTypeVisibilityDiagnosticMessage() {
-    return {
-      diagnosticMessage: Diagnostics.Default_export_of_the_module_has_or_is_using_private_name_0,
-      errorNode: node
-    };
-  }
   function getVariableDeclarationTypeVisibilityDiagnosticMessage(symbolAccessibilityResult) {
     if (node.kind === 260 /* VariableDeclaration */ || node.kind === 208 /* BindingElement */) {
       return symbolAccessibilityResult.errorModuleName ? symbolAccessibilityResult.accessibility === 2 /* CannotBeNamed */ ? Diagnostics.Exported_variable_0_has_or_is_using_name_1_from_external_module_2_but_cannot_be_named : Diagnostics.Exported_variable_0_has_or_is_using_name_1_from_private_module_2 : Diagnostics.Exported_variable_0_has_or_is_using_private_name_1;
@@ -113003,7 +112995,6 @@ function transformDeclarations(context) {
   const resolver = context.getEmitResolver();
   const options = context.getCompilerOptions();
   const { noResolve, stripInternal } = options;
-  const strictNullChecks = getStrictOptionValue(options, "strictNullChecks");
   return transformRoot;
   function recordTypeReferenceDirectivesIfNecessary(typeReferenceDirectives) {
     if (!typeReferenceDirectives) {
@@ -113391,7 +113382,7 @@ function transformDeclarations(context) {
       );
     }
   }
-  function ensureParameter(p, modifierMask) {
+  function ensureParameter(p, modifierMask, type) {
     let oldDiag;
     if (!suppressNewDiagnosticContexts) {
       oldDiag = getSymbolAccessibilityDiagnostic;
@@ -113405,6 +113396,7 @@ function transformDeclarations(context) {
       resolver.isOptionalParameter(p) ? p.questionToken || factory2.createToken(58 /* QuestionToken */) : void 0,
       ensureType(
         p,
+        type || p.type,
         /*ignorePrivate*/
         true
       ),
@@ -113425,37 +113417,18 @@ function transformDeclarations(context) {
     }
     return void 0;
   }
-  function ensureType(node, ignorePrivate) {
+  function ensureType(node, type, ignorePrivate) {
     if (!ignorePrivate && hasEffectiveModifier(node, 2 /* Private */)) {
       return;
     }
     if (shouldPrintWithInitializer(node)) {
       return;
     }
-    return typeFromDeclaration(node);
-  }
-  function inferVariableLikeType(node, addUndefined) {
-    const flags = node.kind === 303 /* PropertyAssignment */ ? 4194304 /* InObjectTypeLiteral */ : 0 /* None */;
-    return resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags | flags, symbolTracker, addUndefined) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-  }
-  function inferExpressionType(node) {
-    return resolver.createTypeOfExpression(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-  }
-  function inferReturnTypeOfSignatureSignature(node) {
-    return resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-  }
-  function inferAccessorType(node) {
-    if (node.kind === 177 /* GetAccessor */) {
-      return inferReturnTypeOfSignatureSignature(node);
-    } else {
-      return factory2.createKeywordTypeNode(133 /* AnyKeyword */);
+    const shouldAddImplicitUndefined = node.kind === 169 /* Parameter */ && resolver.requiresAddingImplicitUndefined(node);
+    if (type && !shouldAddImplicitUndefined) {
+      return visitNode(type, visitDeclarationSubtree, isTypeNode);
     }
-  }
-  function typeFromDeclaration(node) {
-    const savedErrorNameNode = errorNameNode;
-    const savedErrorFallbackNode = errorFallbackNode;
     errorNameNode = node.name;
-    errorFallbackNode = node;
     let oldDiag;
     if (!suppressNewDiagnosticContexts) {
       oldDiag = getSymbolAccessibilityDiagnostic;
@@ -113464,142 +113437,28 @@ function transformDeclarations(context) {
     let typeNode;
     switch (node.kind) {
       case 169 /* Parameter */:
-        typeNode = typeFromParameter(node);
-        break;
-      case 260 /* VariableDeclaration */:
-        typeNode = typeFromVariable(node);
-        break;
+      case 171 /* PropertySignature */:
       case 172 /* PropertyDeclaration */:
-        typeNode = typeFromProperty(node);
-        break;
-      case 177 /* GetAccessor */:
-        typeNode = typeFromAccessor(node);
-        break;
       case 208 /* BindingElement */:
-        typeNode = inferVariableLikeType(node);
+      case 260 /* VariableDeclaration */:
+        typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldAddImplicitUndefined);
         break;
+      case 262 /* FunctionDeclaration */:
       case 180 /* ConstructSignature */:
-      case 171 /* PropertySignature */:
       case 173 /* MethodSignature */:
-      case 179 /* CallSignature */:
-        typeNode = visitTypeNode(node.type) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-        break;
       case 174 /* MethodDeclaration */:
-      case 262 /* FunctionDeclaration */:
-        typeNode = visitTypeNode(node.type) ?? inferReturnTypeOfSignatureSignature(node);
-        break;
-      case 277 /* ExportAssignment */:
-        typeNode = typeFromExpression(node.expression) ?? inferExpressionType(node.expression);
+      case 177 /* GetAccessor */:
+      case 179 /* CallSignature */:
+        typeNode = resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker);
         break;
       default:
-        Debug.assertNever(node, `Node needs to be an inferrable node, found ${Debug.formatSyntaxKind(node.kind)}`);
+        Debug.assertNever(node);
     }
-    errorNameNode = savedErrorNameNode;
-    errorFallbackNode = savedErrorFallbackNode;
+    errorNameNode = void 0;
     if (!suppressNewDiagnosticContexts) {
       getSymbolAccessibilityDiagnostic = oldDiag;
     }
-    return typeNode;
-  }
-  function visitTypeNode(type) {
-    return visitNode(type, visitDeclarationSubtree, isTypeNode);
-  }
-  function addUndefinedInUnion(type) {
-    if (!strictNullChecks)
-      return type;
-    if (isUnionTypeNode(type)) {
-      const hasUndefined = type.types.some((p) => p.kind === 157 /* UndefinedKeyword */);
-      if (hasUndefined)
-        return type;
-      return factory2.createUnionTypeNode([
-        ...type.types,
-        factory2.createKeywordTypeNode(157 /* UndefinedKeyword */)
-      ]);
-    }
-    return factory2.createUnionTypeNode([
-      type,
-      factory2.createKeywordTypeNode(157 /* UndefinedKeyword */)
-    ]);
-  }
-  function canAddUndefined(node) {
-    if (!strictNullChecks)
-      return true;
-    if (isKeyword(node.kind) || node.kind === 201 /* LiteralType */ || node.kind === 184 /* FunctionType */ || node.kind === 185 /* ConstructorType */ || node.kind === 188 /* ArrayType */ || node.kind === 189 /* TupleType */ || node.kind === 187 /* TypeLiteral */ || node.kind === 203 /* TemplateLiteralType */ || node.kind === 197 /* ThisType */) {
-      return true;
-    }
-    if (node.kind === 196 /* ParenthesizedType */) {
-      return canAddUndefined(node.type);
-    }
-    if (node.kind === 192 /* UnionType */ || node.kind === 193 /* IntersectionType */) {
-      return node.types.every(canAddUndefined);
-    }
-    return false;
-  }
-  function typeFromExpression(node, requiresUndefined) {
-    switch (node.kind) {
-      case 216 /* TypeAssertionExpression */:
-      case 234 /* AsExpression */:
-        const asExpression = node;
-        const type = asExpression.type;
-        if (isConstTypeReference(asExpression.type) || requiresUndefined && !canAddUndefined(type)) {
-          return void 0;
-        } else {
-          return visitTypeNode(type);
-        }
-    }
-    return void 0;
-  }
-  function typeFromAccessor(node) {
-    const accessorDeclarations = resolver.getAllAccessorDeclarations(node);
-    const accessorType = getTypeAnnotationFromAllAccessorDeclarations(node, accessorDeclarations);
-    if (accessorType) {
-      return visitTypeNode(accessorType);
-    }
-    return inferAccessorType(accessorDeclarations.getAccessor ?? node);
-  }
-  function typeFromVariable(node) {
-    const declaredType = node.type;
-    if (declaredType) {
-      return visitNode(declaredType, visitDeclarationSubtree, isTypeNode);
-    }
-    let resultType;
-    if (node.initializer) {
-      resultType = typeFromExpression(node.initializer);
-    }
-    return resultType ?? inferVariableLikeType(node);
-  }
-  function typeFromParameter(node) {
-    const parent2 = node.parent;
-    if (parent2.kind === 178 /* SetAccessor */) {
-      return typeFromAccessor(parent2);
-    }
-    const declaredType = node.type;
-    const addUndefined = resolver.requiresAddingImplicitUndefined(node);
-    let resultType;
-    if (!addUndefined) {
-      if (declaredType) {
-        return visitTypeNode(declaredType);
-      }
-      if (node.initializer && isIdentifier(node.name)) {
-        resultType = typeFromExpression(node.initializer);
-      }
-    }
-    return resultType ?? inferVariableLikeType(node, addUndefined);
-  }
-  function typeFromProperty(node) {
-    const declaredType = node.type;
-    if (declaredType) {
-      return visitTypeNode(declaredType);
-    }
-    let resultType;
-    if (node.initializer) {
-      const isOptional = isOptionalDeclaration(node);
-      resultType = typeFromExpression(node.initializer, isOptional);
-      if (isOptional && resultType) {
-        return addUndefinedInUnion(resultType);
-      }
-    }
-    return resultType ?? inferVariableLikeType(node);
+    return typeNode ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
   }
   function isDeclarationAndNotVisible(node) {
     node = getParseTreeNode(node);
@@ -113664,10 +113523,12 @@ function transformDeclarations(context) {
       if (!isPrivate) {
         const valueParameter = getSetAccessorValueParameter(input);
         if (valueParameter) {
+          const accessorType = getTypeAnnotationFromAllAccessorDeclarations(input, resolver.getAllAccessorDeclarations(input));
           newValueParameter = ensureParameter(
             valueParameter,
             /*modifierMask*/
-            void 0
+            void 0,
+            accessorType
           );
         }
       }
@@ -113914,7 +113775,7 @@ function transformDeclarations(context) {
             input,
             ensureTypeParams(input, input.typeParameters),
             updateParamsList(input, input.parameters),
-            ensureType(input)
+            ensureType(input, input.type)
           ));
         case 176 /* Constructor */: {
           const ctor = factory2.createConstructorDeclaration(
@@ -113941,7 +113802,7 @@ function transformDeclarations(context) {
             input.questionToken,
             ensureTypeParams(input, input.typeParameters),
             updateParamsList(input, input.parameters),
-            ensureType(input),
+            ensureType(input, input.type),
             /*body*/
             void 0
           );
@@ -113954,12 +113815,13 @@ function transformDeclarations(context) {
               void 0
             );
           }
+          const accessorType = getTypeAnnotationFromAllAccessorDeclarations(input, resolver.getAllAccessorDeclarations(input));
           return cleanup(factory2.updateGetAccessorDeclaration(
             input,
             ensureModifiers(input),
             input.name,
             updateAccessorParamsList(input, hasEffectiveModifier(input, 2 /* Private */)),
-            ensureType(input),
+            ensureType(input, accessorType),
             /*body*/
             void 0
           ));
@@ -113992,7 +113854,7 @@ function transformDeclarations(context) {
             ensureModifiers(input),
             input.name,
             input.questionToken,
-            ensureType(input),
+            ensureType(input, input.type),
             ensureNoInitializer(input)
           ));
         case 171 /* PropertySignature */:
@@ -114007,7 +113869,7 @@ function transformDeclarations(context) {
             ensureModifiers(input),
             input.name,
             input.questionToken,
-            ensureType(input)
+            ensureType(input, input.type)
           ));
         case 173 /* MethodSignature */: {
           if (isPrivateIdentifier(input.name)) {
@@ -114023,7 +113885,7 @@ function transformDeclarations(context) {
             input.questionToken,
             ensureTypeParams(input, input.typeParameters),
             updateParamsList(input, input.parameters),
-            ensureType(input)
+            ensureType(input, input.type)
           ));
         }
         case 179 /* CallSignature */: {
@@ -114032,7 +113894,7 @@ function transformDeclarations(context) {
               input,
               ensureTypeParams(input, input.typeParameters),
               updateParamsList(input, input.parameters),
-              ensureType(input)
+              ensureType(input, input.type)
             )
           );
         }
@@ -114055,7 +113917,7 @@ function transformDeclarations(context) {
             input.name,
             /*exclamationToken*/
             void 0,
-            ensureType(input),
+            ensureType(input, input.type),
             ensureNoInitializer(input)
           ));
         }
@@ -114183,12 +114045,11 @@ function transformDeclarations(context) {
             errorNode: input
           });
           errorFallbackNode = input;
-          const type = ensureType(input);
           const varDecl = factory2.createVariableDeclaration(
             newId,
             /*exclamationToken*/
             void 0,
-            type,
+            resolver.createTypeOfExpression(input.expression, input, declarationEmitNodeBuilderFlags, symbolTracker),
             /*initializer*/
             void 0
           );
@@ -114296,7 +114157,7 @@ function transformDeclarations(context) {
           input.name,
           ensureTypeParams(input, input.typeParameters),
           updateParamsList(input, input.parameters),
-          ensureType(input),
+          ensureType(input, input.type),
           /*body*/
           void 0
         ));
@@ -114462,7 +114323,7 @@ function transformDeclarations(context) {
                   ensureModifiers(param),
                   param.name,
                   param.questionToken,
-                  ensureType(param),
+                  ensureType(param, param.type),
                   ensureNoInitializer(param)
                 ),
                 param
@@ -114484,7 +114345,11 @@ function transformDeclarations(context) {
                   elem.name,
                   /*questionOrExclamationToken*/
                   void 0,
-                  ensureType(elem),
+                  ensureType(
+                    elem,
+                    /*type*/
+                    void 0
+                  ),
                   /*initializer*/
                   void 0
                 ));
@@ -114633,7 +114498,11 @@ function transformDeclarations(context) {
           e.name,
           /*exclamationToken*/
           void 0,
-          ensureType(e),
+          ensureType(
+            e,
+            /*type*/
+            void 0
+          ),
           /*initializer*/
           void 0
         );

package/lib/typescript.js

@@ -112747,17 +112747,9 @@ function createGetSymbolAccessibilityDiagnosticForNode(node) {
     return getImportEntityNameVisibilityError;
   } else if (isTypeAliasDeclaration(node) || isJSDocTypeAlias(node)) {
     return getTypeAliasDeclarationVisibilityError;
-  } else if (isExportAssignment(node)) {
-    return getExportAssignmentTypeVisibilityDiagnosticMessage;
   } else {
     return Debug.assertNever(node, `Attempted to set a declaration diagnostic context for unhandled node kind: ${Debug.formatSyntaxKind(node.kind)}`);
   }
-  function getExportAssignmentTypeVisibilityDiagnosticMessage() {
-    return {
-      diagnosticMessage: Diagnostics.Default_export_of_the_module_has_or_is_using_private_name_0,
-      errorNode: node
-    };
-  }
   function getVariableDeclarationTypeVisibilityDiagnosticMessage(symbolAccessibilityResult) {
     if (node.kind === 260 /* VariableDeclaration */ || node.kind === 208 /* BindingElement */) {
       return symbolAccessibilityResult.errorModuleName ? symbolAccessibilityResult.accessibility === 2 /* CannotBeNamed */ ? Diagnostics.Exported_variable_0_has_or_is_using_name_1_from_external_module_2_but_cannot_be_named : Diagnostics.Exported_variable_0_has_or_is_using_name_1_from_private_module_2 : Diagnostics.Exported_variable_0_has_or_is_using_private_name_1;
@@ -113003,7 +112995,6 @@ function transformDeclarations(context) {
   const resolver = context.getEmitResolver();
   const options = context.getCompilerOptions();
   const { noResolve, stripInternal } = options;
-  const strictNullChecks = getStrictOptionValue(options, "strictNullChecks");
   return transformRoot;
   function recordTypeReferenceDirectivesIfNecessary(typeReferenceDirectives) {
     if (!typeReferenceDirectives) {
@@ -113391,7 +113382,7 @@ function transformDeclarations(context) {
       );
     }
   }
-  function ensureParameter(p, modifierMask) {
+  function ensureParameter(p, modifierMask, type) {
     let oldDiag;
     if (!suppressNewDiagnosticContexts) {
       oldDiag = getSymbolAccessibilityDiagnostic;
@@ -113405,6 +113396,7 @@ function transformDeclarations(context) {
       resolver.isOptionalParameter(p) ? p.questionToken || factory2.createToken(58 /* QuestionToken */) : void 0,
       ensureType(
         p,
+        type || p.type,
         /*ignorePrivate*/
         true
       ),
@@ -113425,37 +113417,18 @@ function transformDeclarations(context) {
     }
     return void 0;
   }
-  function ensureType(node, ignorePrivate) {
+  function ensureType(node, type, ignorePrivate) {
     if (!ignorePrivate && hasEffectiveModifier(node, 2 /* Private */)) {
       return;
     }
     if (shouldPrintWithInitializer(node)) {
       return;
     }
-    return typeFromDeclaration(node);
-  }
-  function inferVariableLikeType(node, addUndefined) {
-    const flags = node.kind === 303 /* PropertyAssignment */ ? 4194304 /* InObjectTypeLiteral */ : 0 /* None */;
-    return resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags | flags, symbolTracker, addUndefined) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-  }
-  function inferExpressionType(node) {
-    return resolver.createTypeOfExpression(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-  }
-  function inferReturnTypeOfSignatureSignature(node) {
-    return resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-  }
-  function inferAccessorType(node) {
-    if (node.kind === 177 /* GetAccessor */) {
-      return inferReturnTypeOfSignatureSignature(node);
-    } else {
-      return factory2.createKeywordTypeNode(133 /* AnyKeyword */);
+    const shouldAddImplicitUndefined = node.kind === 169 /* Parameter */ && resolver.requiresAddingImplicitUndefined(node);
+    if (type && !shouldAddImplicitUndefined) {
+      return visitNode(type, visitDeclarationSubtree, isTypeNode);
     }
-  }
-  function typeFromDeclaration(node) {
-    const savedErrorNameNode = errorNameNode;
-    const savedErrorFallbackNode = errorFallbackNode;
     errorNameNode = node.name;
-    errorFallbackNode = node;
     let oldDiag;
     if (!suppressNewDiagnosticContexts) {
       oldDiag = getSymbolAccessibilityDiagnostic;
@@ -113464,142 +113437,28 @@ function transformDeclarations(context) {
     let typeNode;
     switch (node.kind) {
       case 169 /* Parameter */:
-        typeNode = typeFromParameter(node);
-        break;
-      case 260 /* VariableDeclaration */:
-        typeNode = typeFromVariable(node);
-        break;
+      case 171 /* PropertySignature */:
       case 172 /* PropertyDeclaration */:
-        typeNode = typeFromProperty(node);
-        break;
-      case 177 /* GetAccessor */:
-        typeNode = typeFromAccessor(node);
-        break;
       case 208 /* BindingElement */:
-        typeNode = inferVariableLikeType(node);
+      case 260 /* VariableDeclaration */:
+        typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldAddImplicitUndefined);
         break;
+      case 262 /* FunctionDeclaration */:
       case 180 /* ConstructSignature */:
-      case 171 /* PropertySignature */:
       case 173 /* MethodSignature */:
-      case 179 /* CallSignature */:
-        typeNode = visitTypeNode(node.type) ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
-        break;
       case 174 /* MethodDeclaration */:
-      case 262 /* FunctionDeclaration */:
-        typeNode = visitTypeNode(node.type) ?? inferReturnTypeOfSignatureSignature(node);
-        break;
-      case 277 /* ExportAssignment */:
-        typeNode = typeFromExpression(node.expression) ?? inferExpressionType(node.expression);
+      case 177 /* GetAccessor */:
+      case 179 /* CallSignature */:
+        typeNode = resolver.createReturnTypeOfSignatureDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker);
         break;
       default:
-        Debug.assertNever(node, `Node needs to be an inferrable node, found ${Debug.formatSyntaxKind(node.kind)}`);
+        Debug.assertNever(node);
     }
-    errorNameNode = savedErrorNameNode;
-    errorFallbackNode = savedErrorFallbackNode;
+    errorNameNode = void 0;
     if (!suppressNewDiagnosticContexts) {
       getSymbolAccessibilityDiagnostic = oldDiag;
     }
-    return typeNode;
-  }
-  function visitTypeNode(type) {
-    return visitNode(type, visitDeclarationSubtree, isTypeNode);
-  }
-  function addUndefinedInUnion(type) {
-    if (!strictNullChecks)
-      return type;
-    if (isUnionTypeNode(type)) {
-      const hasUndefined = type.types.some((p) => p.kind === 157 /* UndefinedKeyword */);
-      if (hasUndefined)
-        return type;
-      return factory2.createUnionTypeNode([
-        ...type.types,
-        factory2.createKeywordTypeNode(157 /* UndefinedKeyword */)
-      ]);
-    }
-    return factory2.createUnionTypeNode([
-      type,
-      factory2.createKeywordTypeNode(157 /* UndefinedKeyword */)
-    ]);
-  }
-  function canAddUndefined(node) {
-    if (!strictNullChecks)
-      return true;
-    if (isKeyword(node.kind) || node.kind === 201 /* LiteralType */ || node.kind === 184 /* FunctionType */ || node.kind === 185 /* ConstructorType */ || node.kind === 188 /* ArrayType */ || node.kind === 189 /* TupleType */ || node.kind === 187 /* TypeLiteral */ || node.kind === 203 /* TemplateLiteralType */ || node.kind === 197 /* ThisType */) {
-      return true;
-    }
-    if (node.kind === 196 /* ParenthesizedType */) {
-      return canAddUndefined(node.type);
-    }
-    if (node.kind === 192 /* UnionType */ || node.kind === 193 /* IntersectionType */) {
-      return node.types.every(canAddUndefined);
-    }
-    return false;
-  }
-  function typeFromExpression(node, requiresUndefined) {
-    switch (node.kind) {
-      case 216 /* TypeAssertionExpression */:
-      case 234 /* AsExpression */:
-        const asExpression = node;
-        const type = asExpression.type;
-        if (isConstTypeReference(asExpression.type) || requiresUndefined && !canAddUndefined(type)) {
-          return void 0;
-        } else {
-          return visitTypeNode(type);
-        }
-    }
-    return void 0;
-  }
-  function typeFromAccessor(node) {
-    const accessorDeclarations = resolver.getAllAccessorDeclarations(node);
-    const accessorType = getTypeAnnotationFromAllAccessorDeclarations(node, accessorDeclarations);
-    if (accessorType) {
-      return visitTypeNode(accessorType);
-    }
-    return inferAccessorType(accessorDeclarations.getAccessor ?? node);
-  }
-  function typeFromVariable(node) {
-    const declaredType = node.type;
-    if (declaredType) {
-      return visitNode(declaredType, visitDeclarationSubtree, isTypeNode);
-    }
-    let resultType;
-    if (node.initializer) {
-      resultType = typeFromExpression(node.initializer);
-    }
-    return resultType ?? inferVariableLikeType(node);
-  }
-  function typeFromParameter(node) {
-    const parent2 = node.parent;
-    if (parent2.kind === 178 /* SetAccessor */) {
-      return typeFromAccessor(parent2);
-    }
-    const declaredType = node.type;
-    const addUndefined = resolver.requiresAddingImplicitUndefined(node);
-    let resultType;
-    if (!addUndefined) {
-      if (declaredType) {
-        return visitTypeNode(declaredType);
-      }
-      if (node.initializer && isIdentifier(node.name)) {
-        resultType = typeFromExpression(node.initializer);
-      }
-    }
-    return resultType ?? inferVariableLikeType(node, addUndefined);
-  }
-  function typeFromProperty(node) {
-    const declaredType = node.type;
-    if (declaredType) {
-      return visitTypeNode(declaredType);
-    }
-    let resultType;
-    if (node.initializer) {
-      const isOptional = isOptionalDeclaration(node);
-      resultType = typeFromExpression(node.initializer, isOptional);
-      if (isOptional && resultType) {
-        return addUndefinedInUnion(resultType);
-      }
-    }
-    return resultType ?? inferVariableLikeType(node);
+    return typeNode ?? factory2.createKeywordTypeNode(133 /* AnyKeyword */);
   }
   function isDeclarationAndNotVisible(node) {
     node = getParseTreeNode(node);
@@ -113664,10 +113523,12 @@ function transformDeclarations(context) {
       if (!isPrivate) {
         const valueParameter = getSetAccessorValueParameter(input);
         if (valueParameter) {
+          const accessorType = getTypeAnnotationFromAllAccessorDeclarations(input, resolver.getAllAccessorDeclarations(input));
           newValueParameter = ensureParameter(
             valueParameter,
             /*modifierMask*/
-            void 0
+            void 0,
+            accessorType
           );
         }
       }
@@ -113914,7 +113775,7 @@ function transformDeclarations(context) {
             input,
             ensureTypeParams(input, input.typeParameters),
             updateParamsList(input, input.parameters),
-            ensureType(input)
+            ensureType(input, input.type)
           ));
         case 176 /* Constructor */: {
           const ctor = factory2.createConstructorDeclaration(
@@ -113941,7 +113802,7 @@ function transformDeclarations(context) {
             input.questionToken,
             ensureTypeParams(input, input.typeParameters),
             updateParamsList(input, input.parameters),
-            ensureType(input),
+            ensureType(input, input.type),
             /*body*/
             void 0
           );
@@ -113954,12 +113815,13 @@ function transformDeclarations(context) {
               void 0
             );
           }
+          const accessorType = getTypeAnnotationFromAllAccessorDeclarations(input, resolver.getAllAccessorDeclarations(input));
           return cleanup(factory2.updateGetAccessorDeclaration(
             input,
             ensureModifiers(input),
             input.name,
             updateAccessorParamsList(input, hasEffectiveModifier(input, 2 /* Private */)),
-            ensureType(input),
+            ensureType(input, accessorType),
             /*body*/
             void 0
           ));
@@ -113992,7 +113854,7 @@ function transformDeclarations(context) {
             ensureModifiers(input),
             input.name,
             input.questionToken,
-            ensureType(input),
+            ensureType(input, input.type),
             ensureNoInitializer(input)
           ));
         case 171 /* PropertySignature */:
@@ -114007,7 +113869,7 @@ function transformDeclarations(context) {
             ensureModifiers(input),
             input.name,
             input.questionToken,
-            ensureType(input)
+            ensureType(input, input.type)
           ));
         case 173 /* MethodSignature */: {
           if (isPrivateIdentifier(input.name)) {
@@ -114023,7 +113885,7 @@ function transformDeclarations(context) {
             input.questionToken,
             ensureTypeParams(input, input.typeParameters),
             updateParamsList(input, input.parameters),
-            ensureType(input)
+            ensureType(input, input.type)
           ));
         }
         case 179 /* CallSignature */: {
@@ -114032,7 +113894,7 @@ function transformDeclarations(context) {
               input,
               ensureTypeParams(input, input.typeParameters),
               updateParamsList(input, input.parameters),
-              ensureType(input)
+              ensureType(input, input.type)
             )
           );
         }
@@ -114055,7 +113917,7 @@ function transformDeclarations(context) {
             input.name,
             /*exclamationToken*/
             void 0,
-            ensureType(input),
+            ensureType(input, input.type),
             ensureNoInitializer(input)
           ));
         }
@@ -114183,12 +114045,11 @@ function transformDeclarations(context) {
             errorNode: input
           });
           errorFallbackNode = input;
-          const type = ensureType(input);
           const varDecl = factory2.createVariableDeclaration(
             newId,
             /*exclamationToken*/
             void 0,
-            type,
+            resolver.createTypeOfExpression(input.expression, input, declarationEmitNodeBuilderFlags, symbolTracker),
             /*initializer*/
             void 0
           );
@@ -114296,7 +114157,7 @@ function transformDeclarations(context) {
           input.name,
           ensureTypeParams(input, input.typeParameters),
           updateParamsList(input, input.parameters),
-          ensureType(input),
+          ensureType(input, input.type),
           /*body*/
           void 0
         ));
@@ -114462,7 +114323,7 @@ function transformDeclarations(context) {
                   ensureModifiers(param),
                   param.name,
                   param.questionToken,
-                  ensureType(param),
+                  ensureType(param, param.type),
                   ensureNoInitializer(param)
                 ),
                 param
@@ -114484,7 +114345,11 @@ function transformDeclarations(context) {
                   elem.name,
                   /*questionOrExclamationToken*/
                   void 0,
-                  ensureType(elem),
+                  ensureType(
+                    elem,
+                    /*type*/
+                    void 0
+                  ),
                   /*initializer*/
                   void 0
                 ));
@@ -114633,7 +114498,11 @@ function transformDeclarations(context) {
           e.name,
           /*exclamationToken*/
           void 0,
-          ensureType(e),
+          ensureType(
+            e,
+            /*type*/
+            void 0
+          ),
           /*initializer*/
           void 0
         );

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-57589-6",
+  "version": "5.5.0-pr-55267-105",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -113,5 +113,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "b0b5ebd41df6b05007d778c368b282c546755196"
+  "gitHead": "08fd328ae8db41b37b49839d6d27ba07882a88c9"
 }