typescript 5.0.0-dev.20230214 → 5.0.0-dev.20230216

package/lib/tsserver.js

@@ -2287,7 +2287,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-dev.20230214`;
+var version = `${versionMajorMinor}.0-dev.20230216`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -6671,13 +6671,14 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["AnyOrUnknown"] = 3] = "AnyOrUnknown";
   TypeFlags2[TypeFlags2["Nullable"] = 98304] = "Nullable";
   TypeFlags2[TypeFlags2["Literal"] = 2944] = "Literal";
-  TypeFlags2[TypeFlags2["Unit"] = 109440] = "Unit";
+  TypeFlags2[TypeFlags2["Unit"] = 109472] = "Unit";
+  TypeFlags2[TypeFlags2["Freshable"] = 2976] = "Freshable";
   TypeFlags2[TypeFlags2["StringOrNumberLiteral"] = 384] = "StringOrNumberLiteral";
   TypeFlags2[TypeFlags2["StringOrNumberLiteralOrUnique"] = 8576] = "StringOrNumberLiteralOrUnique";
   TypeFlags2[TypeFlags2["DefinitelyFalsy"] = 117632] = "DefinitelyFalsy";
   TypeFlags2[TypeFlags2["PossiblyFalsy"] = 117724] = "PossiblyFalsy";
   TypeFlags2[TypeFlags2["Intrinsic"] = 67359327] = "Intrinsic";
-  TypeFlags2[TypeFlags2["Primitive"] = 131068] = "Primitive";
+  TypeFlags2[TypeFlags2["Primitive"] = 134348796] = "Primitive";
   TypeFlags2[TypeFlags2["StringLike"] = 402653316] = "StringLike";
   TypeFlags2[TypeFlags2["NumberLike"] = 296] = "NumberLike";
   TypeFlags2[TypeFlags2["BigIntLike"] = 2112] = "BigIntLike";
@@ -31302,7 +31303,6 @@ var Parser;
         return canFollowExportModifier();
       case 88 /* DefaultKeyword */:
         return nextTokenCanFollowDefaultKeyword();
-      case 127 /* AccessorKeyword */:
       case 124 /* StaticKeyword */:
       case 137 /* GetKeyword */:
       case 151 /* SetKeyword */:
@@ -47095,6 +47095,7 @@ var SignatureCheckMode = /* @__PURE__ */ ((SignatureCheckMode3) => {
   SignatureCheckMode3[SignatureCheckMode3["StrictCallback"] = 2] = "StrictCallback";
   SignatureCheckMode3[SignatureCheckMode3["IgnoreReturnTypes"] = 4] = "IgnoreReturnTypes";
   SignatureCheckMode3[SignatureCheckMode3["StrictArity"] = 8] = "StrictArity";
+  SignatureCheckMode3[SignatureCheckMode3["StrictTopSignature"] = 16] = "StrictTopSignature";
   SignatureCheckMode3[SignatureCheckMode3["Callback"] = 3] = "Callback";
   return SignatureCheckMode3;
 })(SignatureCheckMode || {});
@@ -47369,15 +47370,14 @@ function createTypeChecker(host) {
     getTypeOfPropertyOfContextualType,
     getFullyQualifiedName,
     getResolvedSignature: (node, candidatesOutArray, argumentCount) => getResolvedSignatureWorker(node, candidatesOutArray, argumentCount, 0 /* Normal */),
-    getResolvedSignatureForStringLiteralCompletions: (call, editingArgument, candidatesOutArray) => getResolvedSignatureWorker(
+    getResolvedSignatureForStringLiteralCompletions: (call, editingArgument, candidatesOutArray) => runWithInferenceBlockedFromSourceNode(editingArgument, () => getResolvedSignatureWorker(
       call,
       candidatesOutArray,
       /*argumentCount*/
       void 0,
-      32 /* IsForStringLiteralArgumentCompletions */,
-      editingArgument
-    ),
-    getResolvedSignatureForSignatureHelp: (node, candidatesOutArray, argumentCount) => getResolvedSignatureWorker(node, candidatesOutArray, argumentCount, 16 /* IsForSignatureHelp */),
+      32 /* IsForStringLiteralArgumentCompletions */
+    )),
+    getResolvedSignatureForSignatureHelp: (node, candidatesOutArray, argumentCount) => runWithoutResolvedSignatureCaching(node, () => getResolvedSignatureWorker(node, candidatesOutArray, argumentCount, 16 /* IsForSignatureHelp */)),
     getExpandedParameters,
     hasEffectiveRestParameter,
     containsArgumentsReference,
@@ -47571,32 +47571,41 @@ function createTypeChecker(host) {
     getMemberOverrideModifierStatus,
     isTypeParameterPossiblyReferenced
   };
-  function runWithInferenceBlockedFromSourceNode(node, fn) {
+  function runWithoutResolvedSignatureCaching(node, fn) {
     const containingCall = findAncestor(node, isCallLikeExpression);
     const containingCallResolvedSignature = containingCall && getNodeLinks(containingCall).resolvedSignature;
+    if (containingCall) {
+      getNodeLinks(containingCall).resolvedSignature = void 0;
+    }
+    const result = fn();
+    if (containingCall) {
+      getNodeLinks(containingCall).resolvedSignature = containingCallResolvedSignature;
+    }
+    return result;
+  }
+  function runWithInferenceBlockedFromSourceNode(node, fn) {
+    const containingCall = findAncestor(node, isCallLikeExpression);
     if (containingCall) {
       let toMarkSkip = node;
       do {
         getNodeLinks(toMarkSkip).skipDirectInference = true;
         toMarkSkip = toMarkSkip.parent;
       } while (toMarkSkip && toMarkSkip !== containingCall);
-      getNodeLinks(containingCall).resolvedSignature = void 0;
     }
-    const result = fn();
+    const result = runWithoutResolvedSignatureCaching(node, fn);
     if (containingCall) {
       let toMarkSkip = node;
       do {
         getNodeLinks(toMarkSkip).skipDirectInference = void 0;
         toMarkSkip = toMarkSkip.parent;
       } while (toMarkSkip && toMarkSkip !== containingCall);
-      getNodeLinks(containingCall).resolvedSignature = containingCallResolvedSignature;
     }
     return result;
   }
-  function getResolvedSignatureWorker(nodeIn, candidatesOutArray, argumentCount, checkMode, editingArgument) {
+  function getResolvedSignatureWorker(nodeIn, candidatesOutArray, argumentCount, checkMode) {
     const node = getParseTreeNode(nodeIn, isCallLikeExpression);
     apparentArgumentCount = argumentCount;
-    const res = !node ? void 0 : editingArgument ? runWithInferenceBlockedFromSourceNode(editingArgument, () => getResolvedSignature(node, candidatesOutArray, checkMode)) : getResolvedSignature(node, candidatesOutArray, checkMode);
+    const res = !node ? void 0 : getResolvedSignature(node, candidatesOutArray, checkMode);
     apparentArgumentCount = void 0;
     return res;
   }
@@ -50558,7 +50567,7 @@ function createTypeChecker(host) {
     return shouldTreatPropertiesOfExternalModuleAsExports(type) ? getPropertyOfType(type, memberName) : void 0;
   }
   function shouldTreatPropertiesOfExternalModuleAsExports(resolvedExternalModuleType) {
-    return !(resolvedExternalModuleType.flags & 131068 /* Primitive */ || getObjectFlags(resolvedExternalModuleType) & 1 /* Class */ || // `isArrayOrTupleLikeType` is too expensive to use in this auto-imports hot path
+    return !(resolvedExternalModuleType.flags & 134348796 /* Primitive */ || getObjectFlags(resolvedExternalModuleType) & 1 /* Class */ || // `isArrayOrTupleLikeType` is too expensive to use in this auto-imports hot path
     isArrayType(resolvedExternalModuleType) || isTupleType(resolvedExternalModuleType));
   }
   function getExportsOfSymbol(symbol) {
@@ -54757,8 +54766,8 @@ function createTypeChecker(host) {
       const t = types[i];
       flags |= t.flags;
       if (!(t.flags & 98304 /* Nullable */)) {
-        if (t.flags & (512 /* BooleanLiteral */ | 1024 /* EnumLiteral */)) {
-          const baseType = t.flags & 512 /* BooleanLiteral */ ? booleanType : getBaseTypeOfEnumLiteralType(t);
+        if (t.flags & (512 /* BooleanLiteral */ | 1056 /* EnumLike */)) {
+          const baseType = t.flags & 512 /* BooleanLiteral */ ? booleanType : getBaseTypeOfEnumLikeType(t);
           if (baseType.flags & 1048576 /* Union */) {
             const count = baseType.types.length;
             if (i + count <= types.length && getRegularTypeOfLiteralType(types[i + count - 1]) === getRegularTypeOfLiteralType(baseType.types[count - 1])) {
@@ -56635,8 +56644,8 @@ function createTypeChecker(host) {
     }
     return links.declaredType;
   }
-  function getBaseTypeOfEnumLiteralType(type) {
-    return type.flags & 1024 /* EnumLiteral */ && !(type.flags & 1048576 /* Union */) ? getDeclaredTypeOfSymbol(getParentOfSymbol(type.symbol)) : type;
+  function getBaseTypeOfEnumLikeType(type) {
+    return type.flags & 1056 /* EnumLike */ && type.symbol.flags & 8 /* EnumMember */ ? getDeclaredTypeOfSymbol(getParentOfSymbol(type.symbol)) : type;
   }
   function getDeclaredTypeOfEnum(symbol) {
     const links = getSymbolLinks(symbol);
@@ -56649,7 +56658,7 @@ function createTypeChecker(host) {
               if (hasBindableName(member)) {
                 const memberSymbol = getSymbolOfDeclaration(member);
                 const value = getEnumMemberValue(member);
-                const memberType = value !== void 0 ? getFreshTypeOfLiteralType(getEnumLiteralType(value, getSymbolId(symbol), memberSymbol)) : createTypeWithSymbol(32 /* Enum */, memberSymbol);
+                const memberType = getFreshTypeOfLiteralType(value !== void 0 ? getEnumLiteralType(value, getSymbolId(symbol), memberSymbol) : createComputedEnumType(memberSymbol));
                 getSymbolLinks(memberSymbol).declaredType = memberType;
                 memberTypeList.push(getRegularTypeOfLiteralType(memberType));
               }
@@ -56663,7 +56672,7 @@ function createTypeChecker(host) {
         symbol,
         /*aliasTypeArguments*/
         void 0
-      ) : createTypeWithSymbol(32 /* Enum */, symbol);
+      ) : createComputedEnumType(symbol);
       if (enumType.flags & 1048576 /* Union */) {
         enumType.flags |= 1024 /* EnumLiteral */;
         enumType.symbol = symbol;
@@ -56672,6 +56681,15 @@ function createTypeChecker(host) {
     }
     return links.declaredType;
   }
+  function createComputedEnumType(symbol) {
+    const regularType = createTypeWithSymbol(32 /* Enum */, symbol);
+    const freshType = createTypeWithSymbol(32 /* Enum */, symbol);
+    regularType.regularType = regularType;
+    regularType.freshType = freshType;
+    freshType.regularType = regularType;
+    freshType.freshType = freshType;
+    return regularType;
+  }
   function getDeclaredTypeOfEnumMember(symbol) {
     const links = getSymbolLinks(symbol);
     if (!links.declaredType) {
@@ -60360,7 +60378,7 @@ function createTypeChecker(host) {
           orderedRemoveItemAt(typeSet, 1);
         }
       }
-      if (includes & (2944 /* Literal */ | 8192 /* UniqueESSymbol */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */) || includes & 16384 /* Void */ && includes & 32768 /* Undefined */) {
+      if (includes & (32 /* Enum */ | 2944 /* Literal */ | 8192 /* UniqueESSymbol */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */) || includes & 16384 /* Void */ && includes & 32768 /* Undefined */) {
         removeRedundantLiteralTypes(typeSet, includes, !!(unionReduction & 2 /* Subtype */));
       }
       if (includes & 128 /* StringLiteral */ && includes & 134217728 /* TemplateLiteral */) {
@@ -60491,7 +60509,7 @@ function createTypeChecker(host) {
           type = undefinedType;
         }
         if (!typeSet.has(type.id.toString())) {
-          if (type.flags & 109440 /* Unit */ && includes & 109440 /* Unit */) {
+          if (type.flags & 109472 /* Unit */ && includes & 109472 /* Unit */) {
             includes |= 67108864 /* NonPrimitive */;
           }
           typeSet.set(type.id.toString(), type);
@@ -60767,7 +60785,7 @@ function createTypeChecker(host) {
     const typeVariable = getTypeParameterFromMappedType(mappedType);
     return isDistributive(getNameTypeFromMappedType(mappedType) || typeVariable);
     function isDistributive(type) {
-      return type.flags & (3 /* AnyOrUnknown */ | 131068 /* Primitive */ | 131072 /* Never */ | 262144 /* TypeParameter */ | 524288 /* Object */ | 67108864 /* NonPrimitive */) ? true : type.flags & 16777216 /* Conditional */ ? type.root.isDistributive && type.checkType === typeVariable : type.flags & (3145728 /* UnionOrIntersection */ | 134217728 /* TemplateLiteral */) ? every(type.types, isDistributive) : type.flags & 8388608 /* IndexedAccess */ ? isDistributive(type.objectType) && isDistributive(type.indexType) : type.flags & 33554432 /* Substitution */ ? isDistributive(type.baseType) && isDistributive(type.constraint) : type.flags & 268435456 /* StringMapping */ ? isDistributive(type.type) : false;
+      return type.flags & (3 /* AnyOrUnknown */ | 134348796 /* Primitive */ | 131072 /* Never */ | 262144 /* TypeParameter */ | 524288 /* Object */ | 67108864 /* NonPrimitive */) ? true : type.flags & 16777216 /* Conditional */ ? type.root.isDistributive && type.checkType === typeVariable : type.flags & (3145728 /* UnionOrIntersection */ | 134217728 /* TemplateLiteral */) ? every(type.types, isDistributive) : type.flags & 8388608 /* IndexedAccess */ ? isDistributive(type.objectType) && isDistributive(type.indexType) : type.flags & 33554432 /* Substitution */ ? isDistributive(type.baseType) && isDistributive(type.constraint) : type.flags & 268435456 /* StringMapping */ ? isDistributive(type.type) : false;
     }
   }
   function getLiteralTypeFromPropertyName(name) {
@@ -61864,7 +61882,7 @@ function createTypeChecker(host) {
     return type;
   }
   function getFreshTypeOfLiteralType(type) {
-    if (type.flags & 2944 /* Literal */) {
+    if (type.flags & 2976 /* Freshable */) {
       if (!type.freshType) {
         const freshType = createLiteralType(type.flags, type.value, type.symbol, type);
         freshType.freshType = freshType;
@@ -61875,10 +61893,10 @@ function createTypeChecker(host) {
     return type;
   }
   function getRegularTypeOfLiteralType(type) {
-    return type.flags & 2944 /* Literal */ ? type.regularType : type.flags & 1048576 /* Union */ ? type.regularType || (type.regularType = mapType(type, getRegularTypeOfLiteralType)) : type;
+    return type.flags & 2976 /* Freshable */ ? type.regularType : type.flags & 1048576 /* Union */ ? type.regularType || (type.regularType = mapType(type, getRegularTypeOfLiteralType)) : type;
   }
   function isFreshLiteralType(type) {
-    return !!(type.flags & 2944 /* Literal */) && type.freshType === type;
+    return !!(type.flags & 2976 /* Freshable */) && type.freshType === type;
   }
   function getStringLiteralType(value) {
     let type;
@@ -62557,13 +62575,13 @@ function createTypeChecker(host) {
     return type;
   }
   function getUniqueLiteralFilledInstantiation(type) {
-    return type.flags & (131068 /* Primitive */ | 3 /* AnyOrUnknown */ | 131072 /* Never */) ? type : type.uniqueLiteralFilledInstantiation || (type.uniqueLiteralFilledInstantiation = instantiateType(type, uniqueLiteralMapper));
+    return type.flags & (134348796 /* Primitive */ | 3 /* AnyOrUnknown */ | 131072 /* Never */) ? type : type.uniqueLiteralFilledInstantiation || (type.uniqueLiteralFilledInstantiation = instantiateType(type, uniqueLiteralMapper));
   }
   function getPermissiveInstantiation(type) {
-    return type.flags & (131068 /* Primitive */ | 3 /* AnyOrUnknown */ | 131072 /* Never */) ? type : type.permissiveInstantiation || (type.permissiveInstantiation = instantiateType(type, permissiveMapper));
+    return type.flags & (134348796 /* Primitive */ | 3 /* AnyOrUnknown */ | 131072 /* Never */) ? type : type.permissiveInstantiation || (type.permissiveInstantiation = instantiateType(type, permissiveMapper));
   }
   function getRestrictiveInstantiation(type) {
-    if (type.flags & (131068 /* Primitive */ | 3 /* AnyOrUnknown */ | 131072 /* Never */)) {
+    if (type.flags & (134348796 /* Primitive */ | 3 /* AnyOrUnknown */ | 131072 /* Never */)) {
       return type;
     }
     if (type.restrictiveInstantiation) {
@@ -63143,7 +63161,7 @@ function createTypeChecker(host) {
     }
   }
   function elaborateArrayLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-    if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
+    if (target.flags & (134348796 /* Primitive */ | 131072 /* Never */))
       return false;
     if (isTupleLikeType(source)) {
       return elaborateElementwise(generateLimitedTupleElements(node, target), source, target, relation, containingMessageChain, errorOutputContainer);
@@ -63192,7 +63210,7 @@ function createTypeChecker(host) {
     }
   }
   function elaborateObjectLiteral(node, source, target, relation, containingMessageChain, errorOutputContainer) {
-    if (target.flags & (131068 /* Primitive */ | 131072 /* Never */))
+    if (target.flags & (134348796 /* Primitive */ | 131072 /* Never */))
       return false;
     return elaborateElementwise(generateObjectLiteralElements(node), source, target, relation, containingMessageChain, errorOutputContainer);
   }
@@ -63215,16 +63233,24 @@ function createTypeChecker(host) {
       void 0
     ) !== 0 /* False */;
   }
-  function isAnySignature(s) {
-    return !s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s) && (getTypeOfParameter(s.parameters[0]) === anyArrayType || isTypeAny(getTypeOfParameter(s.parameters[0]))) && isTypeAny(getReturnTypeOfSignature(s));
+  function isTopSignature(s) {
+    if (!s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s)) {
+      const paramType = getTypeOfParameter(s.parameters[0]);
+      const restType = isArrayType(paramType) ? getTypeArguments(paramType)[0] : paramType;
+      return !!(restType.flags & (1 /* Any */ | 131072 /* Never */) && getReturnTypeOfSignature(s).flags & 3 /* AnyOrUnknown */);
+    }
+    return false;
   }
   function compareSignaturesRelated(source, target, checkMode, reportErrors2, errorReporter, incompatibleErrorReporter, compareTypes, reportUnreliableMarkers) {
     if (source === target) {
       return -1 /* True */;
     }
-    if (isAnySignature(target)) {
+    if (!(checkMode & 16 /* StrictTopSignature */ && isTopSignature(source)) && isTopSignature(target)) {
       return -1 /* True */;
     }
+    if (checkMode & 16 /* StrictTopSignature */ && isTopSignature(source) && !isTopSignature(target)) {
+      return 0 /* False */;
+    }
     const targetCount = getParameterCount(target);
     const sourceHasMoreParameters = !hasEffectiveRestParameter(target) && (checkMode & 8 /* StrictArity */ ? hasEffectiveRestParameter(source) || getParameterCount(source) > targetCount : getMinArgumentCount(source) > targetCount);
     if (sourceHasMoreParameters) {
@@ -63442,7 +63468,9 @@ function createTypeChecker(host) {
   function isSimpleTypeRelatedTo(source, target, relation, errorReporter) {
     const s = source.flags;
     const t = target.flags;
-    if (t & 3 /* AnyOrUnknown */ || s & 131072 /* Never */ || source === wildcardType)
+    if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType)
+      return true;
+    if (t & 2 /* Unknown */ && !(relation === strictSubtypeRelation && s & 1 /* Any */))
       return true;
     if (t & 131072 /* Never */)
       return false;
@@ -63839,7 +63867,7 @@ function createTypeChecker(host) {
       return isRelatedTo(source2, target2, 3 /* Both */, reportErrors2);
     }
     function isRelatedTo(originalSource, originalTarget, recursionFlags = 3 /* Both */, reportErrors2 = false, headMessage2, intersectionState = 0 /* None */) {
-      if (originalSource.flags & 524288 /* Object */ && originalTarget.flags & 131068 /* Primitive */) {
+      if (originalSource.flags & 524288 /* Object */ && originalTarget.flags & 134348796 /* Primitive */) {
         if (relation === comparableRelation && !(originalTarget.flags & 131072 /* Never */) && isSimpleTypeRelatedTo(originalTarget, originalSource, relation) || isSimpleTypeRelatedTo(originalSource, originalTarget, relation, reportErrors2 ? reportError : void 0)) {
           return -1 /* True */;
         }
@@ -63903,7 +63931,7 @@ function createTypeChecker(host) {
             return 0 /* False */;
           }
         }
-        const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (131068 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures2(source2));
+        const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (134348796 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures2(source2));
         const isComparingJsxAttributes = !!(getObjectFlags(source2) & 2048 /* JsxAttributes */);
         if (isPerformingCommonPropertyChecks && !hasCommonProperties(source2, target2, isComparingJsxAttributes)) {
           if (reportErrors2) {
@@ -63965,7 +63993,7 @@ function createTypeChecker(host) {
           maybeSuppress = !!errorInfo;
         }
       }
-      if (source2.flags & 524288 /* Object */ && target2.flags & 131068 /* Primitive */) {
+      if (source2.flags & 524288 /* Object */ && target2.flags & 134348796 /* Primitive */) {
         tryElaborateErrorsForPrimitivesAndObjects(source2, target2);
       } else if (source2.symbol && source2.flags & 524288 /* Object */ && globalObjectType === source2) {
         reportError(Diagnostics.The_Object_type_is_assignable_to_very_few_other_types_Did_you_mean_to_use_the_any_type_instead);
@@ -64111,15 +64139,15 @@ function createTypeChecker(host) {
     }
     function unionOrIntersectionRelatedTo(source2, target2, reportErrors2, intersectionState) {
       if (source2.flags & 1048576 /* Union */) {
-        return relation === comparableRelation ? someTypeRelatedToType(source2, target2, reportErrors2 && !(source2.flags & 131068 /* Primitive */), intersectionState) : eachTypeRelatedToType(source2, target2, reportErrors2 && !(source2.flags & 131068 /* Primitive */), intersectionState);
+        return relation === comparableRelation ? someTypeRelatedToType(source2, target2, reportErrors2 && !(source2.flags & 134348796 /* Primitive */), intersectionState) : eachTypeRelatedToType(source2, target2, reportErrors2 && !(source2.flags & 134348796 /* Primitive */), intersectionState);
       }
       if (target2.flags & 1048576 /* Union */) {
-        return typeRelatedToSomeType(getRegularTypeOfObjectLiteral(source2), target2, reportErrors2 && !(source2.flags & 131068 /* Primitive */) && !(target2.flags & 131068 /* Primitive */));
+        return typeRelatedToSomeType(getRegularTypeOfObjectLiteral(source2), target2, reportErrors2 && !(source2.flags & 134348796 /* Primitive */) && !(target2.flags & 134348796 /* Primitive */));
       }
       if (target2.flags & 2097152 /* Intersection */) {
         return typeRelatedToEachType(source2, target2, reportErrors2, 2 /* Target */);
       }
-      if (relation === comparableRelation && target2.flags & 131068 /* Primitive */) {
+      if (relation === comparableRelation && target2.flags & 134348796 /* Primitive */) {
         const constraints = sameMap(source2.types, (t) => t.flags & 465829888 /* Instantiable */ ? getBaseConstraintOfType(t) || unknownType : t);
         if (constraints !== source2.types) {
           source2 = getIntersectionType(constraints);
@@ -65012,7 +65040,7 @@ function createTypeChecker(host) {
           }
           return 0 /* False */;
         }
-        const sourceIsPrimitive = !!(sourceFlags & 131068 /* Primitive */);
+        const sourceIsPrimitive = !!(sourceFlags & 134348796 /* Primitive */);
         if (relation !== identityRelation) {
           source2 = getApparentType(source2);
           sourceFlags = source2.flags;
@@ -65682,10 +65710,11 @@ function createTypeChecker(host) {
       return (source2, target2) => reportIncompatibleError(Diagnostics.Construct_signature_return_types_0_and_1_are_incompatible, typeToString(source2), typeToString(target2));
     }
     function signatureRelatedTo(source2, target2, erase, reportErrors2, intersectionState, incompatibleReporter) {
+      const checkMode = relation === subtypeRelation ? 16 /* StrictTopSignature */ : relation === strictSubtypeRelation ? 16 /* StrictTopSignature */ | 8 /* StrictArity */ : 0 /* None */;
       return compareSignaturesRelated(
         erase ? getErasedSignature(source2) : source2,
         erase ? getErasedSignature(target2) : target2,
-        relation === strictSubtypeRelation ? 8 /* StrictArity */ : 0,
+        checkMode,
         reportErrors2,
         reportError,
         incompatibleReporter,
@@ -65810,7 +65839,7 @@ function createTypeChecker(host) {
       if (sourceInfo) {
         return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState);
       }
-      if (!(intersectionState & 1 /* Source */) && isObjectTypeWithInferableIndex(source2)) {
+      if (!(intersectionState & 1 /* Source */) && (relation !== strictSubtypeRelation || getObjectFlags(source2) & 8192 /* FreshLiteral */) && isObjectTypeWithInferableIndex(source2)) {
         return membersRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
       }
       if (reportErrors2) {
@@ -66355,10 +66384,10 @@ function createTypeChecker(host) {
     return void 0;
   }
   function isNeitherUnitTypeNorNever(type) {
-    return !(type.flags & (109440 /* Unit */ | 131072 /* Never */));
+    return !(type.flags & (109472 /* Unit */ | 131072 /* Never */));
   }
   function isUnitType(type) {
-    return !!(type.flags & 109440 /* Unit */);
+    return !!(type.flags & 109472 /* Unit */);
   }
   function isUnitLikeType(type) {
     const t = getBaseConstraintOrType(type);
@@ -66371,7 +66400,7 @@ function createTypeChecker(host) {
     return type.flags & 16 /* Boolean */ ? true : type.flags & 1048576 /* Union */ ? type.flags & 1024 /* EnumLiteral */ ? true : every(type.types, isUnitType) : isUnitType(type);
   }
   function getBaseTypeOfLiteralType(type) {
-    return type.flags & 1024 /* EnumLiteral */ ? getBaseTypeOfEnumLiteralType(type) : type.flags & (128 /* StringLiteral */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */) ? stringType : type.flags & 256 /* NumberLiteral */ ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 512 /* BooleanLiteral */ ? booleanType : type.flags & 1048576 /* Union */ ? getBaseTypeOfLiteralTypeUnion(type) : type;
+    return type.flags & 1056 /* EnumLike */ ? getBaseTypeOfEnumLikeType(type) : type.flags & (128 /* StringLiteral */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */) ? stringType : type.flags & 256 /* NumberLiteral */ ? numberType : type.flags & 2048 /* BigIntLiteral */ ? bigintType : type.flags & 512 /* BooleanLiteral */ ? booleanType : type.flags & 1048576 /* Union */ ? getBaseTypeOfLiteralTypeUnion(type) : type;
   }
   function getBaseTypeOfLiteralTypeUnion(type) {
     var _a2;
@@ -66379,7 +66408,7 @@ function createTypeChecker(host) {
     return (_a2 = getCachedType(key)) != null ? _a2 : setCachedType(key, mapType(type, getBaseTypeOfLiteralType));
   }
   function getWidenedLiteralType(type) {
-    return type.flags & 1024 /* EnumLiteral */ && isFreshLiteralType(type) ? getBaseTypeOfEnumLiteralType(type) : type.flags & 128 /* StringLiteral */ && isFreshLiteralType(type) ? stringType : type.flags & 256 /* NumberLiteral */ && isFreshLiteralType(type) ? numberType : type.flags & 2048 /* BigIntLiteral */ && isFreshLiteralType(type) ? bigintType : type.flags & 512 /* BooleanLiteral */ && isFreshLiteralType(type) ? booleanType : type.flags & 1048576 /* Union */ ? mapType(type, getWidenedLiteralType) : type;
+    return type.flags & 1056 /* EnumLike */ && isFreshLiteralType(type) ? getBaseTypeOfEnumLikeType(type) : type.flags & 128 /* StringLiteral */ && isFreshLiteralType(type) ? stringType : type.flags & 256 /* NumberLiteral */ && isFreshLiteralType(type) ? numberType : type.flags & 2048 /* BigIntLiteral */ && isFreshLiteralType(type) ? bigintType : type.flags & 512 /* BooleanLiteral */ && isFreshLiteralType(type) ? booleanType : type.flags & 1048576 /* Union */ ? mapType(type, getWidenedLiteralType) : type;
   }
   function getWidenedUniqueESSymbolType(type) {
     return type.flags & 8192 /* UniqueESSymbol */ ? esSymbolType : type.flags & 1048576 /* Union */ ? mapType(type, getWidenedUniqueESSymbolType) : type;
@@ -66912,8 +66941,8 @@ function createTypeChecker(host) {
     }
     return false;
   }
-  function isTypeParameterAtTopLevel(type, typeParameter) {
-    return !!(type === typeParameter || type.flags & 3145728 /* UnionOrIntersection */ && some(type.types, (t) => isTypeParameterAtTopLevel(t, typeParameter)) || type.flags & 16777216 /* Conditional */ && (getTrueTypeFromConditionalType(type) === typeParameter || getFalseTypeFromConditionalType(type) === typeParameter));
+  function isTypeParameterAtTopLevel(type, tp, depth = 0) {
+    return !!(type === tp || type.flags & 3145728 /* UnionOrIntersection */ && some(type.types, (t) => isTypeParameterAtTopLevel(t, tp, depth)) || depth < 3 && type.flags & 16777216 /* Conditional */ && (isTypeParameterAtTopLevel(getTrueTypeFromConditionalType(type), tp, depth + 1) || isTypeParameterAtTopLevel(getFalseTypeFromConditionalType(type), tp, depth + 1)));
   }
   function isTypeParameterAtTopLevelInReturnType(signature, typeParameter) {
     const typePredicate = getTypePredicateOfSignature(signature);
@@ -67007,7 +67036,7 @@ function createTypeChecker(host) {
           yield targetProp;
         } else if (matchDiscriminantProperties) {
           const targetType = getTypeOfSymbol(targetProp);
-          if (targetType.flags & 109440 /* Unit */) {
+          if (targetType.flags & 109472 /* Unit */) {
             const sourceType = getTypeOfSymbol(sourceProp);
             if (!(sourceType.flags & 1 /* Any */ || getRegularTypeOfLiteralType(sourceType) === getRegularTypeOfLiteralType(targetType))) {
               yield targetProp;
@@ -67766,7 +67795,7 @@ function createTypeChecker(host) {
   }
   function hasPrimitiveConstraint(type) {
     const constraint = getConstraintOfTypeParameter(type);
-    return !!constraint && maybeTypeOfKind(constraint.flags & 16777216 /* Conditional */ ? getDefaultConstraintOfConditionalType(constraint) : constraint, 131068 /* Primitive */ | 4194304 /* Index */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */);
+    return !!constraint && maybeTypeOfKind(constraint.flags & 16777216 /* Conditional */ ? getDefaultConstraintOfConditionalType(constraint) : constraint, 134348796 /* Primitive */ | 4194304 /* Index */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */);
   }
   function isObjectLiteralType2(type) {
     return !!(getObjectFlags(type) & 128 /* ObjectLiteral */);
@@ -68248,7 +68277,7 @@ function createTypeChecker(host) {
     return 83886079 /* UnknownFacts */;
   }
   function getIntersectionTypeFacts(type) {
-    const ignoreObjects = maybeTypeOfKind(type, 131068 /* Primitive */);
+    const ignoreObjects = maybeTypeOfKind(type, 134348796 /* Primitive */);
     let oredFacts = 0 /* None */;
     let andedFacts = 134217727 /* All */;
     for (const t of type.types) {
@@ -68447,7 +68476,7 @@ function createTypeChecker(host) {
       }
       return true;
     }
-    if (source.flags & 1024 /* EnumLiteral */ && getBaseTypeOfEnumLiteralType(source) === target) {
+    if (source.flags & 1056 /* EnumLike */ && getBaseTypeOfEnumLikeType(source) === target) {
       return true;
     }
     return containsType(target.types, source);
@@ -69511,7 +69540,7 @@ function createTypeChecker(host) {
       }
       if (assumeTrue) {
         if (!doubleEquals && (type.flags & 2 /* Unknown */ || someType(type, isEmptyAnonymousObjectType))) {
-          if (valueType.flags & (131068 /* Primitive */ | 67108864 /* NonPrimitive */) || isEmptyAnonymousObjectType(valueType)) {
+          if (valueType.flags & (134348796 /* Primitive */ | 67108864 /* NonPrimitive */) || isEmptyAnonymousObjectType(valueType)) {
             return valueType;
           }
           if (valueType.flags & 524288 /* Object */) {
@@ -69561,7 +69590,7 @@ function createTypeChecker(host) {
         let groundClauseTypes;
         for (let i = 0; i < clauseTypes.length; i += 1) {
           const t = clauseTypes[i];
-          if (t.flags & (131068 /* Primitive */ | 67108864 /* NonPrimitive */)) {
+          if (t.flags & (134348796 /* Primitive */ | 67108864 /* NonPrimitive */)) {
             if (groundClauseTypes !== void 0) {
               groundClauseTypes.push(t);
             }
@@ -69709,18 +69738,29 @@ function createTypeChecker(host) {
       return (_a3 = getCachedType(key2)) != null ? _a3 : setCachedType(key2, getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived));
     }
     function getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived) {
-      const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
       if (!assumeTrue) {
-        return filterType(type, (t) => !isRelated(t, candidate));
+        if (checkDerived) {
+          return filterType(type, (t) => !isTypeDerivedFrom(t, candidate));
+        }
+        const trueType2 = getNarrowedType(
+          type,
+          candidate,
+          /*assumeTrue*/
+          true,
+          /*checkDerived*/
+          false
+        );
+        return filterType(type, (t) => !isTypeSubsetOf(t, trueType2));
       }
       if (type.flags & 3 /* AnyOrUnknown */) {
         return candidate;
       }
+      const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
       const keyPropertyName = type.flags & 1048576 /* Union */ ? getKeyPropertyName(type) : void 0;
       const narrowedType = mapType(candidate, (c) => {
         const discriminant = keyPropertyName && getTypeOfPropertyOfType(c, keyPropertyName);
         const matching = discriminant && getConstituentTypeForKeyType(type, discriminant);
-        const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
+        const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) && !isTypeIdenticalTo(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
         return directlyRelated.flags & 131072 /* Never */ ? mapType(type, (t) => maybeTypeOfKind(t, 465829888 /* Instantiable */) && isRelated(c, getBaseConstraintOfType(t) || unknownType) ? getIntersectionType([t, c]) : neverType) : directlyRelated;
       });
       return !(narrowedType.flags & 131072 /* Never */) ? narrowedType : isTypeSubtypeOf(candidate, type) ? candidate : isTypeAssignableTo(type, candidate) ? type : isTypeAssignableTo(candidate, type) ? candidate : getIntersectionType([type, candidate]);
@@ -73060,7 +73100,7 @@ function createTypeChecker(host) {
   function reportNonexistentProperty(propNode, containingType, isUncheckedJS) {
     let errorInfo;
     let relatedInfo;
-    if (!isPrivateIdentifier(propNode) && containingType.flags & 1048576 /* Union */ && !(containingType.flags & 131068 /* Primitive */)) {
+    if (!isPrivateIdentifier(propNode) && containingType.flags & 1048576 /* Union */ && !(containingType.flags & 134348796 /* Primitive */)) {
       for (const subtype of containingType.types) {
         if (!getPropertyOfType(subtype, propNode.escapedText) && !getApplicableIndexInfoForName(subtype, propNode.escapedText)) {
           errorInfo = chainDiagnosticMessages(errorInfo, Diagnostics.Property_0_does_not_exist_on_type_1, declarationNameToString(propNode), typeToString(subtype));
@@ -73657,7 +73697,7 @@ function createTypeChecker(host) {
       } else {
         const contextualType = getIndexedAccessType(restType, getNumberLiteralType(i - index), 256 /* Contextual */);
         const argType = checkExpressionWithContextualType(arg, contextualType, context, checkMode);
-        const hasPrimitiveContextualType = inConstContext || maybeTypeOfKind(contextualType, 131068 /* Primitive */ | 4194304 /* Index */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */);
+        const hasPrimitiveContextualType = inConstContext || maybeTypeOfKind(contextualType, 134348796 /* Primitive */ | 4194304 /* Index */ | 134217728 /* TemplateLiteral */ | 268435456 /* StringMapping */);
         types.push(hasPrimitiveContextualType ? getRegularTypeOfLiteralType(argType) : getWidenedLiteralType(argType));
         flags.push(1 /* Required */);
       }
@@ -76907,7 +76947,7 @@ function createTypeChecker(host) {
     if (leftType === silentNeverType || rightType === silentNeverType) {
       return silentNeverType;
     }
-    if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 131068 /* Primitive */)) {
+    if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 134348796 /* Primitive */)) {
       error(left, Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
     }
     if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures2(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
@@ -77493,7 +77533,7 @@ function createTypeChecker(host) {
           return leftType;
         } else {
           checkAssignmentOperator(rightType);
-          return getRegularTypeOfObjectLiteral(rightType);
+          return rightType;
         }
       case 27 /* CommaToken */:
         if (!compilerOptions.allowUnreachableCode && isSideEffectFree(left) && !isIndirectCall(left.parent)) {
@@ -79426,7 +79466,7 @@ function createTypeChecker(host) {
     ))) {
       return typeAsPromise.promisedTypeOfPromise = getTypeArguments(type)[0];
     }
-    if (allTypesAssignableToKind(getBaseConstraintOrType(type), 131068 /* Primitive */ | 131072 /* Never */)) {
+    if (allTypesAssignableToKind(getBaseConstraintOrType(type), 134348796 /* Primitive */ | 131072 /* Never */)) {
       return void 0;
     }
     const thenFunction = getTypeOfPropertyOfType(type, "then");
@@ -79478,7 +79518,7 @@ function createTypeChecker(host) {
     return awaitedType || errorType;
   }
   function isThenableType(type) {
-    if (allTypesAssignableToKind(getBaseConstraintOrType(type), 131068 /* Primitive */ | 131072 /* Never */)) {
+    if (allTypesAssignableToKind(getBaseConstraintOrType(type), 134348796 /* Primitive */ | 131072 /* Never */)) {
       return false;
     }
     const thenFunction = getTypeOfPropertyOfType(type, "then");
@@ -79527,7 +79567,7 @@ function createTypeChecker(host) {
         return awaitedType;
       }
     }
-    Debug.assert(getPromisedTypeOfPromise(type) === void 0, "type provided should not be a non-generic 'promise'-like.");
+    Debug.assert(isAwaitedTypeInstantiation(type) || getPromisedTypeOfPromise(type) === void 0, "type provided should not be a non-generic 'promise'-like.");
     return type;
   }
   function getAwaitedType(type, errorNode, diagnosticMessage, arg0) {
@@ -84876,7 +84916,7 @@ function createTypeChecker(host) {
     return !!(type.flags & 524288 /* Object */) && getSignaturesOfType(type, 0 /* Call */).length > 0;
   }
   function getTypeReferenceSerializationKind(typeNameIn, location) {
-    var _a2, _b;
+    var _a2;
     const typeName = getParseTreeNode(typeNameIn, isEntityName);
     if (!typeName)
       return 0 /* Unknown */;
@@ -84908,7 +84948,7 @@ function createTypeChecker(host) {
       location
     );
     const resolvedSymbol = valueSymbol && valueSymbol.flags & 2097152 /* Alias */ ? resolveAlias(valueSymbol) : valueSymbol;
-    isTypeOnly || (isTypeOnly = !!((_b = valueSymbol == null ? void 0 : valueSymbol.declarations) == null ? void 0 : _b.every(isTypeOnlyImportOrExportDeclaration)));
+    isTypeOnly || (isTypeOnly = !!(valueSymbol && getTypeOnlyAliasDeclaration(valueSymbol, 111551 /* Value */)));
     const typeSymbol = resolveEntityName(
       typeName,
       788968 /* Type */,
@@ -85059,7 +85099,7 @@ function createTypeChecker(host) {
     return false;
   }
   function literalTypeToNode(type, enclosing, tracker) {
-    const enumResult = type.flags & 1024 /* EnumLiteral */ ? nodeBuilder.symbolToExpression(
+    const enumResult = type.flags & 1056 /* EnumLike */ ? nodeBuilder.symbolToExpression(
       type.symbol,
       111551 /* Value */,
       enclosing,
@@ -86620,7 +86660,7 @@ function createTypeChecker(host) {
   }
   function isSimpleLiteralEnumReference(expr) {
     if ((isPropertyAccessExpression(expr) || isElementAccessExpression(expr) && isStringOrNumberLiteralExpression(expr.argumentExpression)) && isEntityNameExpression(expr.expression)) {
-      return !!(checkExpressionCached(expr).flags & 1024 /* EnumLiteral */);
+      return !!(checkExpressionCached(expr).flags & 1056 /* EnumLike */);
     }
   }
   function checkAmbientInitializer(node) {
@@ -87022,10 +87062,10 @@ function createTypeChecker(host) {
   }
   function findMostOverlappyType(source, unionTarget) {
     let bestMatch;
-    if (!(source.flags & (131068 /* Primitive */ | 406847488 /* InstantiablePrimitive */))) {
+    if (!(source.flags & (134348796 /* Primitive */ | 406847488 /* InstantiablePrimitive */))) {
       let matchingCount = 0;
       for (const target of unionTarget.types) {
-        if (!(target.flags & (131068 /* Primitive */ | 406847488 /* InstantiablePrimitive */))) {
+        if (!(target.flags & (134348796 /* Primitive */ | 406847488 /* InstantiablePrimitive */))) {
           const overlap = getIntersectionType([getIndexType(source), getIndexType(target)]);
           if (overlap.flags & 4194304 /* Index */) {
             return target;
@@ -87043,7 +87083,7 @@ function createTypeChecker(host) {
   }
   function filterPrimitivesIfContainsNonPrimitive(type) {
     if (maybeTypeOfKind(type, 67108864 /* NonPrimitive */)) {
-      const result = filterType(type, (t) => !(t.flags & 131068 /* Primitive */));
+      const result = filterType(type, (t) => !(t.flags & 134348796 /* Primitive */));
       if (!(result.flags & 131072 /* Never */)) {
         return result;
       }
@@ -141429,7 +141469,8 @@ function createImportAdderWorker(sourceFile, program, useAutoImportProvider, pre
         quotePreference,
         defaultImport,
         namedImports && arrayFrom(namedImports.entries(), ([name, addAsTypeOnly]) => ({ addAsTypeOnly, name })),
-        namespaceLikeImport
+        namespaceLikeImport,
+        compilerOptions
       );
       newDeclarations = combine(newDeclarations, declarations);
     });
@@ -142091,7 +142132,14 @@ function codeActionForFixWorker(changes, sourceFile, symbolName2, fix, includeSy
       insertImports(
         changes,
         sourceFile,
-        getDeclarations(moduleSpecifier, quotePreference, defaultImport, namedImports, namespaceLikeImport),
+        getDeclarations(
+          moduleSpecifier,
+          quotePreference,
+          defaultImport,
+          namedImports,
+          namespaceLikeImport,
+          compilerOptions
+        ),
         /*blankLineBetween*/
         true,
         preferences
@@ -142273,11 +142321,11 @@ function getImportTypePrefix(moduleSpecifier, quotePreference) {
 function needsTypeOnly({ addAsTypeOnly }) {
   return addAsTypeOnly === 2 /* Required */;
 }
-function getNewImports(moduleSpecifier, quotePreference, defaultImport, namedImports, namespaceLikeImport) {
+function getNewImports(moduleSpecifier, quotePreference, defaultImport, namedImports, namespaceLikeImport, compilerOptions) {
   const quotedModuleSpecifier = makeStringLiteral(moduleSpecifier, quotePreference);
   let statements;
   if (defaultImport !== void 0 || (namedImports == null ? void 0 : namedImports.length)) {
-    const topLevelTypeOnly = (!defaultImport || needsTypeOnly(defaultImport)) && every(namedImports, needsTypeOnly);
+    const topLevelTypeOnly = (!defaultImport || needsTypeOnly(defaultImport)) && every(namedImports, needsTypeOnly) || compilerOptions.verbatimModuleSyntax && (defaultImport == null ? void 0 : defaultImport.addAsTypeOnly) !== 4 /* NotAllowed */ && !some(namedImports, (i) => i.addAsTypeOnly === 4 /* NotAllowed */);
     statements = combine(statements, makeImport(
       defaultImport && factory.createIdentifier(defaultImport.name),
       namedImports == null ? void 0 : namedImports.map(({ addAsTypeOnly, name }) => factory.createImportSpecifier(
@@ -146909,13 +146957,7 @@ function createMethodImplementingSignatures(checker, context, enclosingDeclarati
 function getReturnTypeFromSignatures(signatures, checker, context, enclosingDeclaration) {
   if (length(signatures)) {
     const type = checker.getUnionType(map(signatures, checker.getReturnTypeOfSignature));
-    return checker.typeToTypeNode(
-      type,
-      enclosingDeclaration,
-      /*flags*/
-      void 0,
-      getNoopSymbolTrackerWithResolver(context)
-    );
+    return checker.typeToTypeNode(type, enclosingDeclaration, 1 /* NoTruncation */, getNoopSymbolTrackerWithResolver(context));
   }
 }
 function createStubbedMethod(modifiers, name, optional, typeParameters, parameters, returnType, quotePreference, body) {
@@ -151187,7 +151229,7 @@ function getPropertiesForObjectExpression(contextualType, completionsType, obj,
 function getApparentProperties(type, node, checker) {
   if (!type.isUnion())
     return type.getApparentProperties();
-  return checker.getAllPossiblePropertiesOfTypes(filter(type.types, (memberType) => !(memberType.flags & 131068 /* Primitive */ || checker.isArrayLikeType(memberType) || checker.isTypeInvalidDueToUnionDiscriminant(memberType, node) || typeHasCallOrConstructSignatures(memberType, checker) || memberType.isClass() && containsNonPublicProperties(memberType.getApparentProperties()))));
+  return checker.getAllPossiblePropertiesOfTypes(filter(type.types, (memberType) => !(memberType.flags & 134348796 /* Primitive */ || checker.isArrayLikeType(memberType) || checker.isTypeInvalidDueToUnionDiscriminant(memberType, node) || typeHasCallOrConstructSignatures(memberType, checker) || memberType.isClass() && containsNonPublicProperties(memberType.getApparentProperties()))));
 }
 function containsNonPublicProperties(props) {
   return some(props, (p) => !!(getDeclarationModifierFlagsFromSymbol(p) & 24 /* NonPublicAccessibilityModifier */));
@@ -155610,6 +155652,7 @@ var jsDocTagNames = [
   "module",
   "name",
   "namespace",
+  "overload",
   "override",
   "package",
   "param",