typescript 5.0.0-dev.20230213 → 5.0.0-dev.20230215

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.20230213`;
+var version = `${versionMajorMinor}.0-dev.20230215`;
 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";
@@ -15847,7 +15848,7 @@ function isCommonJSContainingModuleKind(kind) {
   return kind === 1 /* CommonJS */ || kind === 100 /* Node16 */ || kind === 199 /* NodeNext */;
 }
 function isEffectiveExternalModule(node, compilerOptions) {
-  return isExternalModule(node) || compilerOptions.isolatedModules || isCommonJSContainingModuleKind(getEmitModuleKind(compilerOptions)) && !!node.commonJsModuleIndicator;
+  return isExternalModule(node) || getIsolatedModules(compilerOptions) || isCommonJSContainingModuleKind(getEmitModuleKind(compilerOptions)) && !!node.commonJsModuleIndicator;
 }
 function isEffectiveStrictModeSourceFile(node, compilerOptions) {
   switch (node.scriptKind) {
@@ -15868,7 +15869,7 @@ function isEffectiveStrictModeSourceFile(node, compilerOptions) {
   if (startsWithUseStrict(node.statements)) {
     return true;
   }
-  if (isExternalModule(node) || compilerOptions.isolatedModules) {
+  if (isExternalModule(node) || getIsolatedModules(compilerOptions)) {
     if (getEmitModuleKind(compilerOptions) >= 5 /* ES2015 */) {
       return true;
     }
@@ -20299,7 +20300,7 @@ function getEmitDeclarations(compilerOptions) {
   return !!(compilerOptions.declaration || compilerOptions.composite);
 }
 function shouldPreserveConstEnums(compilerOptions) {
-  return !!(compilerOptions.preserveConstEnums || compilerOptions.isolatedModules);
+  return !!(compilerOptions.preserveConstEnums || getIsolatedModules(compilerOptions));
 }
 function isIncrementalCompilation(options) {
   return !!(options.incremental || options.composite);
@@ -47095,6 +47096,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 +47371,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 +47572,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 +50568,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 +54767,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])) {
@@ -55042,6 +55052,8 @@ function createTypeChecker(host) {
         return !!target.baseTypesResolved;
       case 8 /* WriteType */:
         return !!getSymbolLinks(target).writeType;
+      case 9 /* ParameterInitializerContainsUndefined */:
+        return getNodeLinks(target).parameterInitializerContainsUndefined !== void 0;
     }
     return Debug.assertNever(propertyName);
   }
@@ -56633,8 +56645,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);
@@ -56647,7 +56659,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));
               }
@@ -56661,7 +56673,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;
@@ -56670,6 +56682,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) {
@@ -60358,7 +60379,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 */) {
@@ -60489,7 +60510,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);
@@ -60765,7 +60786,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) {
@@ -61862,7 +61883,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;
@@ -61873,10 +61894,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;
@@ -62555,13 +62576,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) {
@@ -63141,7 +63162,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);
@@ -63190,7 +63211,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);
   }
@@ -63213,16 +63234,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) {
@@ -63440,7 +63469,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;
@@ -63837,7 +63868,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 */;
         }
@@ -63901,7 +63932,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) {
@@ -63963,7 +63994,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);
@@ -64109,15 +64140,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);
@@ -65010,7 +65041,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;
@@ -65680,10 +65711,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,
@@ -65808,7 +65840,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) {
@@ -66353,10 +66385,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);
@@ -66369,7 +66401,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;
@@ -66377,7 +66409,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;
@@ -66910,8 +66942,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);
@@ -67005,7 +67037,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;
@@ -67066,10 +67098,10 @@ function createTypeChecker(host) {
     return getBigIntLiteralType(parseValidBigInt(text));
   }
   function isMemberOfStringMapping(source, target) {
-    if (target.flags & (4 /* String */ | 1 /* Any */)) {
+    if (target.flags & 1 /* Any */) {
       return true;
     }
-    if (target.flags & 134217728 /* TemplateLiteral */) {
+    if (target.flags & (4 /* String */ | 134217728 /* TemplateLiteral */)) {
       return isTypeAssignableTo(source, target);
     }
     if (target.flags & 268435456 /* StringMapping */) {
@@ -67764,7 +67796,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 */);
@@ -68246,7 +68278,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) {
@@ -68445,7 +68477,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);
@@ -69509,7 +69541,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 */) {
@@ -69559,7 +69591,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);
             }
@@ -69707,18 +69739,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]);
@@ -69874,15 +69917,25 @@ function createTypeChecker(host) {
   function isConstVariable(symbol) {
     return symbol.flags & 3 /* Variable */ && (getDeclarationNodeFlagsFromSymbol(symbol) & 2 /* Const */) !== 0;
   }
-  function removeOptionalityFromDeclaredType(declaredType, declaration) {
-    if (pushTypeResolution(declaration.symbol, 2 /* DeclaredType */)) {
-      const annotationIncludesUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !(getTypeFacts(checkExpression(declaration.initializer)) & 16777216 /* IsUndefined */);
-      popTypeResolution();
-      return annotationIncludesUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
-    } else {
-      reportCircularityError(declaration.symbol);
-      return declaredType;
+  function parameterInitializerContainsUndefined(declaration) {
+    const links = getNodeLinks(declaration);
+    if (links.parameterInitializerContainsUndefined === void 0) {
+      if (!pushTypeResolution(declaration, 9 /* ParameterInitializerContainsUndefined */)) {
+        reportCircularityError(declaration.symbol);
+        return true;
+      }
+      const containsUndefined = !!(getTypeFacts(checkDeclarationInitializer(declaration, 0 /* Normal */)) & 16777216 /* IsUndefined */);
+      if (!popTypeResolution()) {
+        reportCircularityError(declaration.symbol);
+        return true;
+      }
+      links.parameterInitializerContainsUndefined = containsUndefined;
     }
+    return links.parameterInitializerContainsUndefined;
+  }
+  function removeOptionalityFromDeclaredType(declaredType, declaration) {
+    const removeUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !parameterInitializerContainsUndefined(declaration);
+    return removeUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
   }
   function isConstraintPosition(type, node) {
     const parent2 = node.parent;
@@ -73048,7 +73101,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));
@@ -73645,7 +73698,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 */);
       }
@@ -76895,7 +76948,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))) {
@@ -77481,7 +77534,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)) {
@@ -79388,6 +79441,9 @@ function createTypeChecker(host) {
         case 273 /* ImportSpecifier */:
         case 79 /* Identifier */:
           return 1 /* ExportValue */;
+        case 170 /* MethodSignature */:
+        case 168 /* PropertySignature */:
+          return 2 /* ExportType */;
         default:
           return Debug.failBadSyntaxKind(d);
       }
@@ -79411,7 +79467,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");
@@ -79463,7 +79519,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");
@@ -79512,7 +79568,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) {
@@ -83771,6 +83827,8 @@ function createTypeChecker(host) {
     if (!(links.flags & 1 /* TypeChecked */)) {
       links.deferredNodes || (links.deferredNodes = /* @__PURE__ */ new Set());
       links.deferredNodes.add(node);
+    } else {
+      Debug.assert(!links.deferredNodes, "A type-checked file should have no deferred nodes.");
     }
   }
   function checkDeferredNodes(context) {
@@ -83778,6 +83836,7 @@ function createTypeChecker(host) {
     if (links.deferredNodes) {
       links.deferredNodes.forEach(checkDeferredNode);
     }
+    links.deferredNodes = void 0;
   }
   function checkDeferredNode(node) {
     var _a2, _b;
@@ -84858,7 +84917,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 */;
@@ -84890,7 +84949,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 */,
@@ -85041,7 +85100,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,
@@ -86602,7 +86661,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) {
@@ -87004,10 +87063,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;
@@ -87025,7 +87084,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;
       }
@@ -91774,7 +91833,7 @@ function transformTypeScript(context) {
     return node;
   }
   function tryGetConstEnumValue(node) {
-    if (compilerOptions.isolatedModules) {
+    if (getIsolatedModules(compilerOptions)) {
       return void 0;
     }
     return isPropertyAccessExpression(node) || isElementAccessExpression(node) ? resolver.getConstantValue(node) : void 0;
@@ -108104,7 +108163,7 @@ function transformECMAScriptModule(context) {
     if (node.isDeclarationFile) {
       return node;
     }
-    if (isExternalModule(node) || compilerOptions.isolatedModules) {
+    if (isExternalModule(node) || getIsolatedModules(compilerOptions)) {
       currentSourceFile = node;
       importRequireStatements = void 0;
       let result = updateExternalModule(node);
@@ -108311,7 +108370,7 @@ function transformECMAScriptModule(context) {
   }
   function onEmitNode(hint, node, emitCallback) {
     if (isSourceFile(node)) {
-      if ((isExternalModule(node) || compilerOptions.isolatedModules) && compilerOptions.importHelpers) {
+      if ((isExternalModule(node) || getIsolatedModules(compilerOptions)) && compilerOptions.importHelpers) {
         helperNameSubstitutions = /* @__PURE__ */ new Map();
       }
       previousOnEmitNode(hint, node, emitCallback);
@@ -118970,7 +119029,7 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     let imports;
     let moduleAugmentations;
     let ambientModules;
-    if ((options.isolatedModules || isExternalModuleFile) && !file.isDeclarationFile) {
+    if ((getIsolatedModules(options) || isExternalModuleFile) && !file.isDeclarationFile) {
       if (options.importHelpers) {
         imports = [createSyntheticImport(externalHelpersModuleNameText, file)];
       }
@@ -119691,12 +119750,12 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     if (options.exactOptionalPropertyTypes && !getStrictOptionValue(options, "strictNullChecks")) {
       createDiagnosticForOptionName(Diagnostics.Option_0_cannot_be_specified_without_specifying_option_1, "exactOptionalPropertyTypes", "strictNullChecks");
     }
-    if (options.isolatedModules) {
+    if (options.isolatedModules || options.verbatimModuleSyntax) {
       if (options.out) {
-        createDiagnosticForOptionName(Diagnostics.Option_0_cannot_be_specified_with_option_1, "out", "isolatedModules");
+        createDiagnosticForOptionName(Diagnostics.Option_0_cannot_be_specified_with_option_1, "out", options.verbatimModuleSyntax ? "verbatimModuleSyntax" : "isolatedModules");
       }
       if (options.outFile) {
-        createDiagnosticForOptionName(Diagnostics.Option_0_cannot_be_specified_with_option_1, "outFile", "isolatedModules");
+        createDiagnosticForOptionName(Diagnostics.Option_0_cannot_be_specified_with_option_1, "outFile", options.verbatimModuleSyntax ? "verbatimModuleSyntax" : "isolatedModules");
       }
     }
     if (options.inlineSourceMap) {
@@ -121111,7 +121170,7 @@ var BuilderState;
       return getAllFilesExcludingDefaultLibraryFile(state, programOfThisState, sourceFileWithUpdatedShape);
     }
     const compilerOptions = programOfThisState.getCompilerOptions();
-    if (compilerOptions && (compilerOptions.isolatedModules || outFile(compilerOptions))) {
+    if (compilerOptions && (getIsolatedModules(compilerOptions) || outFile(compilerOptions))) {
       return [sourceFileWithUpdatedShape];
     }
     const seenFileNamesMap = /* @__PURE__ */ new Map();
@@ -121536,7 +121595,7 @@ function handleDtsMayChangeOfReferencingExportOfAffectedFile(state, affectedFile
     return;
   if (!isChangedSignature(state, affectedFile.resolvedPath))
     return;
-  if (state.compilerOptions.isolatedModules) {
+  if (getIsolatedModules(state.compilerOptions)) {
     const seenFileNamesMap = /* @__PURE__ */ new Map();
     seenFileNamesMap.set(affectedFile.resolvedPath, true);
     const queue = BuilderState.getReferencedByPaths(state, affectedFile.resolvedPath);
@@ -141411,7 +141470,8 @@ function createImportAdderWorker(sourceFile, program, useAutoImportProvider, pre
         quotePreference,
         defaultImport,
         namedImports && arrayFrom(namedImports.entries(), ([name, addAsTypeOnly]) => ({ addAsTypeOnly, name })),
-        namespaceLikeImport
+        namespaceLikeImport,
+        compilerOptions
       );
       newDeclarations = combine(newDeclarations, declarations);
     });
@@ -141589,7 +141649,7 @@ function getAddAsTypeOnly(isValidTypeOnlyUseSite, isForNewImportDeclaration, sym
   if (isForNewImportDeclaration && compilerOptions.importsNotUsedAsValues === 2 /* Error */) {
     return 2 /* Required */;
   }
-  if ((compilerOptions.isolatedModules && compilerOptions.preserveValueImports || compilerOptions.verbatimModuleSyntax) && (!(targetFlags & 111551 /* Value */) || !!checker.getTypeOnlyAliasDeclaration(symbol))) {
+  if (importNameElisionDisabled(compilerOptions) && (!(targetFlags & 111551 /* Value */) || !!checker.getTypeOnlyAliasDeclaration(symbol))) {
     return 2 /* Required */;
   }
   return 1 /* Allowed */;
@@ -142073,7 +142133,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
@@ -142097,7 +142164,7 @@ function getModuleSpecifierText(promotedDeclaration) {
   return promotedDeclaration.kind === 268 /* ImportEqualsDeclaration */ ? ((_b = tryCast((_a2 = tryCast(promotedDeclaration.moduleReference, isExternalModuleReference)) == null ? void 0 : _a2.expression, isStringLiteralLike)) == null ? void 0 : _b.text) || promotedDeclaration.moduleReference.getText() : cast(promotedDeclaration.parent.moduleSpecifier, isStringLiteral).text;
 }
 function promoteFromTypeOnly(changes, aliasDeclaration, compilerOptions, sourceFile, preferences) {
-  const convertExistingToTypeOnly = compilerOptions.preserveValueImports && compilerOptions.isolatedModules || compilerOptions.verbatimModuleSyntax;
+  const convertExistingToTypeOnly = importNameElisionDisabled(compilerOptions);
   switch (aliasDeclaration.kind) {
     case 273 /* ImportSpecifier */:
       if (aliasDeclaration.isTypeOnly) {
@@ -142171,7 +142238,7 @@ function doAddExistingFix(changes, sourceFile, clause, defaultImport, namedImpor
   }
   const promoteFromTypeOnly2 = clause.isTypeOnly && some([defaultImport, ...namedImports], (i) => (i == null ? void 0 : i.addAsTypeOnly) === 4 /* NotAllowed */);
   const existingSpecifiers = clause.namedBindings && ((_a2 = tryCast(clause.namedBindings, isNamedImports)) == null ? void 0 : _a2.elements);
-  const convertExistingToTypeOnly = promoteFromTypeOnly2 && (compilerOptions.preserveValueImports && compilerOptions.isolatedModules || compilerOptions.verbatimModuleSyntax);
+  const convertExistingToTypeOnly = promoteFromTypeOnly2 && importNameElisionDisabled(compilerOptions);
   if (defaultImport) {
     Debug.assert(!clause.name, "Cannot add a default import to an import clause that already has one");
     changes.insertNodeAt(sourceFile, clause.getStart(sourceFile), factory.createIdentifier(defaultImport.name), { suffix: ", " });
@@ -142255,11 +142322,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(
@@ -142856,7 +142923,7 @@ function tryGetExportDeclaration(sourceFile, isTypeOnly) {
 }
 function updateExport(changes, program, sourceFile, node, names) {
   const namedExports = node.exportClause && isNamedExports(node.exportClause) ? node.exportClause.elements : factory.createNodeArray([]);
-  const allowTypeModifier = !node.isTypeOnly && !!(program.getCompilerOptions().isolatedModules || find(namedExports, (e) => e.isTypeOnly));
+  const allowTypeModifier = !node.isTypeOnly && !!(getIsolatedModules(program.getCompilerOptions()) || find(namedExports, (e) => e.isTypeOnly));
   changes.replaceNode(
     sourceFile,
     node,
@@ -142888,7 +142955,7 @@ function createExport(changes, program, sourceFile, names) {
       factory.createNamedExports(createExportSpecifiers(
         names,
         /*allowTypeModifier*/
-        !!program.getCompilerOptions().isolatedModules
+        getIsolatedModules(program.getCompilerOptions())
       )),
       /*moduleSpecifier*/
       void 0,
@@ -151169,7 +151236,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 */));
@@ -155592,6 +155659,7 @@ var jsDocTagNames = [
   "module",
   "name",
   "namespace",
+  "overload",
   "override",
   "package",
   "param",