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

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-dev.20230214`;
+var version = `${versionMajorMinor}.0-dev.20230216`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -3748,13 +3748,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";
@@ -26987,7 +26988,6 @@ var Parser;
         return canFollowExportModifier();
       case 88 /* DefaultKeyword */:
         return nextTokenCanFollowDefaultKeyword();
-      case 127 /* AccessorKeyword */:
       case 124 /* StaticKeyword */:
       case 137 /* GetKeyword */:
       case 151 /* SetKeyword */:
@@ -42519,6 +42519,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 || {});
@@ -42793,15 +42794,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,
@@ -42995,32 +42995,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;
   }
@@ -45982,7 +45991,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) {
@@ -50181,8 +50190,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])) {
@@ -52059,8 +52068,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);
@@ -52073,7 +52082,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));
               }
@@ -52087,7 +52096,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;
@@ -52096,6 +52105,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) {
@@ -55784,7 +55802,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 */) {
@@ -55915,7 +55933,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);
@@ -56191,7 +56209,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) {
@@ -57288,7 +57306,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;
@@ -57299,10 +57317,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;
@@ -57981,13 +57999,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) {
@@ -58567,7 +58585,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);
@@ -58616,7 +58634,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);
   }
@@ -58639,16 +58657,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) {
@@ -58866,7 +58892,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;
@@ -59263,7 +59291,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 */;
         }
@@ -59327,7 +59355,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) {
@@ -59389,7 +59417,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);
@@ -59535,15 +59563,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);
@@ -60436,7 +60464,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;
@@ -61106,10 +61134,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,
@@ -61234,7 +61263,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) {
@@ -61779,10 +61808,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);
@@ -61795,7 +61824,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;
@@ -61803,7 +61832,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;
@@ -62336,8 +62365,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);
@@ -62431,7 +62460,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;
@@ -63190,7 +63219,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 isObjectLiteralType(type) {
     return !!(getObjectFlags(type) & 128 /* ObjectLiteral */);
@@ -63672,7 +63701,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) {
@@ -63871,7 +63900,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);
@@ -64935,7 +64964,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 */) {
@@ -64985,7 +65014,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);
             }
@@ -65133,18 +65162,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]);
@@ -68484,7 +68524,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));
@@ -69081,7 +69121,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 */);
       }
@@ -72331,7 +72371,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))) {
@@ -72917,7 +72957,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)) {
@@ -74850,7 +74890,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");
@@ -74902,7 +74942,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");
@@ -74951,7 +74991,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) {
@@ -80300,7 +80340,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 */;
@@ -80332,7 +80372,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 */,
@@ -80483,7 +80523,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,
@@ -82044,7 +82084,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) {
@@ -82446,10 +82486,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;
@@ -82467,7 +82507,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;
       }