@typescript-deploys/pr-build 5.0.0-pr-51373-23 → 5.0.0-pr-51753-3

package/lib/tsc.js

@@ -1695,22 +1695,8 @@ Node ${formatSyntaxKind(node.kind)} was unexpected.`,
   function enableDebugInfo() {
     if (isDebugInfoEnabled)
       return;
-    let weakTypeTextMap;
-    let weakNodeTextMap;
-    function getWeakTypeTextMap() {
-      if (weakTypeTextMap === void 0) {
-        if (typeof WeakMap === "function")
-          weakTypeTextMap = /* @__PURE__ */ new WeakMap();
-      }
-      return weakTypeTextMap;
-    }
-    function getWeakNodeTextMap() {
-      if (weakNodeTextMap === void 0) {
-        if (typeof WeakMap === "function")
-          weakNodeTextMap = /* @__PURE__ */ new WeakMap();
-      }
-      return weakNodeTextMap;
-    }
+    const weakTypeTextMap = /* @__PURE__ */ new WeakMap();
+    const weakNodeTextMap = /* @__PURE__ */ new WeakMap();
     Object.defineProperties(objectAllocator.getSymbolConstructor().prototype, {
       __tsDebuggerDisplay: {
         value() {
@@ -1739,11 +1725,10 @@ Node ${formatSyntaxKind(node.kind)} was unexpected.`,
       } },
       __debugTypeToString: {
         value() {
-          const map2 = getWeakTypeTextMap();
-          let text = map2 == null ? void 0 : map2.get(this);
+          let text = weakTypeTextMap.get(this);
           if (text === void 0) {
             text = this.checker.typeToString(this);
-            map2 == null ? void 0 : map2.set(this, text);
+            weakTypeTextMap.set(this, text);
           }
           return text;
         }
@@ -1795,13 +1780,12 @@ Node ${formatSyntaxKind(node.kind)} was unexpected.`,
             value(includeTrivia) {
               if (nodeIsSynthesized(this))
                 return "";
-              const map2 = getWeakNodeTextMap();
-              let text = map2 == null ? void 0 : map2.get(this);
+              let text = weakNodeTextMap.get(this);
               if (text === void 0) {
                 const parseNode = getParseTreeNode(this);
                 const sourceFile = parseNode && getSourceFileOfNode(parseNode);
                 text = sourceFile ? getSourceTextOfNodeFromSourceFile(sourceFile, parseNode, includeTrivia) : "";
-                map2 == null ? void 0 : map2.set(this, text);
+                weakNodeTextMap.set(this, text);
               }
               return text;
             }
@@ -3356,14 +3340,15 @@ var SyntaxKind = /* @__PURE__ */ ((SyntaxKind4) => {
   SyntaxKind4[SyntaxKind4["JSDocTypedefTag"] = 348] = "JSDocTypedefTag";
   SyntaxKind4[SyntaxKind4["JSDocSeeTag"] = 349] = "JSDocSeeTag";
   SyntaxKind4[SyntaxKind4["JSDocPropertyTag"] = 350] = "JSDocPropertyTag";
-  SyntaxKind4[SyntaxKind4["SyntaxList"] = 351] = "SyntaxList";
-  SyntaxKind4[SyntaxKind4["NotEmittedStatement"] = 352] = "NotEmittedStatement";
-  SyntaxKind4[SyntaxKind4["PartiallyEmittedExpression"] = 353] = "PartiallyEmittedExpression";
-  SyntaxKind4[SyntaxKind4["CommaListExpression"] = 354] = "CommaListExpression";
-  SyntaxKind4[SyntaxKind4["MergeDeclarationMarker"] = 355] = "MergeDeclarationMarker";
-  SyntaxKind4[SyntaxKind4["EndOfDeclarationMarker"] = 356] = "EndOfDeclarationMarker";
-  SyntaxKind4[SyntaxKind4["SyntheticReferenceExpression"] = 357] = "SyntheticReferenceExpression";
-  SyntaxKind4[SyntaxKind4["Count"] = 358] = "Count";
+  SyntaxKind4[SyntaxKind4["JSDocSatisfiesTag"] = 351] = "JSDocSatisfiesTag";
+  SyntaxKind4[SyntaxKind4["SyntaxList"] = 352] = "SyntaxList";
+  SyntaxKind4[SyntaxKind4["NotEmittedStatement"] = 353] = "NotEmittedStatement";
+  SyntaxKind4[SyntaxKind4["PartiallyEmittedExpression"] = 354] = "PartiallyEmittedExpression";
+  SyntaxKind4[SyntaxKind4["CommaListExpression"] = 355] = "CommaListExpression";
+  SyntaxKind4[SyntaxKind4["MergeDeclarationMarker"] = 356] = "MergeDeclarationMarker";
+  SyntaxKind4[SyntaxKind4["EndOfDeclarationMarker"] = 357] = "EndOfDeclarationMarker";
+  SyntaxKind4[SyntaxKind4["SyntheticReferenceExpression"] = 358] = "SyntheticReferenceExpression";
+  SyntaxKind4[SyntaxKind4["Count"] = 359] = "Count";
   SyntaxKind4[SyntaxKind4["FirstAssignment"] = 63 /* EqualsToken */] = "FirstAssignment";
   SyntaxKind4[SyntaxKind4["LastAssignment"] = 78 /* CaretEqualsToken */] = "LastAssignment";
   SyntaxKind4[SyntaxKind4["FirstCompoundAssignment"] = 64 /* PlusEqualsToken */] = "FirstCompoundAssignment";
@@ -9891,6 +9876,9 @@ function getJSDocThisTag(node) {
 function getJSDocReturnTag(node) {
   return getFirstJSDocTag(node, isJSDocReturnTag);
 }
+function getJSDocSatisfiesTag(node) {
+  return getFirstJSDocTag(node, isJSDocSatisfiesTag);
+}
 function getJSDocTypeTag(node) {
   const tag = getFirstJSDocTag(node, isJSDocTypeTag);
   if (tag && tag.typeExpression && tag.typeExpression.type) {
@@ -10381,8 +10369,8 @@ function isExpressionKind(kind) {
     case 227 /* SpreadElement */:
     case 231 /* AsExpression */:
     case 229 /* OmittedExpression */:
-    case 354 /* CommaListExpression */:
-    case 353 /* PartiallyEmittedExpression */:
+    case 355 /* CommaListExpression */:
+    case 354 /* PartiallyEmittedExpression */:
     case 235 /* SatisfiesExpression */:
       return true;
     default:
@@ -10445,7 +10433,7 @@ function isDeclarationStatementKind(kind) {
   return kind === 259 /* FunctionDeclaration */ || kind === 279 /* MissingDeclaration */ || kind === 260 /* ClassDeclaration */ || kind === 261 /* InterfaceDeclaration */ || kind === 262 /* TypeAliasDeclaration */ || kind === 263 /* EnumDeclaration */ || kind === 264 /* ModuleDeclaration */ || kind === 269 /* ImportDeclaration */ || kind === 268 /* ImportEqualsDeclaration */ || kind === 275 /* ExportDeclaration */ || kind === 274 /* ExportAssignment */ || kind === 267 /* NamespaceExportDeclaration */;
 }
 function isStatementKindButNotDeclarationKind(kind) {
-  return kind === 249 /* BreakStatement */ || kind === 248 /* ContinueStatement */ || kind === 256 /* DebuggerStatement */ || kind === 243 /* DoStatement */ || kind === 241 /* ExpressionStatement */ || kind === 239 /* EmptyStatement */ || kind === 246 /* ForInStatement */ || kind === 247 /* ForOfStatement */ || kind === 245 /* ForStatement */ || kind === 242 /* IfStatement */ || kind === 253 /* LabeledStatement */ || kind === 250 /* ReturnStatement */ || kind === 252 /* SwitchStatement */ || kind === 254 /* ThrowStatement */ || kind === 255 /* TryStatement */ || kind === 240 /* VariableStatement */ || kind === 244 /* WhileStatement */ || kind === 251 /* WithStatement */ || kind === 352 /* NotEmittedStatement */ || kind === 356 /* EndOfDeclarationMarker */ || kind === 355 /* MergeDeclarationMarker */;
+  return kind === 249 /* BreakStatement */ || kind === 248 /* ContinueStatement */ || kind === 256 /* DebuggerStatement */ || kind === 243 /* DoStatement */ || kind === 241 /* ExpressionStatement */ || kind === 239 /* EmptyStatement */ || kind === 246 /* ForInStatement */ || kind === 247 /* ForOfStatement */ || kind === 245 /* ForStatement */ || kind === 242 /* IfStatement */ || kind === 253 /* LabeledStatement */ || kind === 250 /* ReturnStatement */ || kind === 252 /* SwitchStatement */ || kind === 254 /* ThrowStatement */ || kind === 255 /* TryStatement */ || kind === 240 /* VariableStatement */ || kind === 244 /* WhileStatement */ || kind === 251 /* WithStatement */ || kind === 353 /* NotEmittedStatement */ || kind === 357 /* EndOfDeclarationMarker */ || kind === 356 /* MergeDeclarationMarker */;
 }
 function isDeclaration(node) {
   if (node.kind === 165 /* TypeParameter */) {
@@ -10891,7 +10879,7 @@ function getTokenPosOfNode(node, sourceFile, includeJsDoc) {
   if (includeJsDoc && hasJSDocNodes(node)) {
     return getTokenPosOfNode(node.jsDoc[0], sourceFile);
   }
-  if (node.kind === 351 /* SyntaxList */ && node._children.length > 0) {
+  if (node.kind === 352 /* SyntaxList */ && node._children.length > 0) {
     return getTokenPosOfNode(node._children[0], sourceFile, includeJsDoc);
   }
   return skipTrivia(
@@ -12952,7 +12940,7 @@ function getOperator(expression) {
 }
 function getOperatorPrecedence(nodeKind, operatorKind, hasArguments) {
   switch (nodeKind) {
-    case 354 /* CommaListExpression */:
+    case 355 /* CommaListExpression */:
       return 0 /* Comma */;
     case 227 /* SpreadElement */:
       return 1 /* Spread */;
@@ -14374,7 +14362,7 @@ function getLeftmostExpression(node, stopAtCallExpressions) {
       case 209 /* ElementAccessExpression */:
       case 208 /* PropertyAccessExpression */:
       case 232 /* NonNullExpression */:
-      case 353 /* PartiallyEmittedExpression */:
+      case 354 /* PartiallyEmittedExpression */:
       case 235 /* SatisfiesExpression */:
         node = node.expression;
         continue;
@@ -15499,7 +15487,7 @@ function getContainingNodeArray(node) {
       return parent.types;
     case 186 /* TupleType */:
     case 206 /* ArrayLiteralExpression */:
-    case 354 /* CommaListExpression */:
+    case 355 /* CommaListExpression */:
     case 272 /* NamedImports */:
     case 276 /* NamedExports */:
       return parent.elements;
@@ -15651,6 +15639,15 @@ function canUsePropertyAccess(name, languageVersion) {
   const firstChar = name.charCodeAt(0);
   return firstChar === 35 /* hash */ ? name.length > 1 && isIdentifierStart(name.charCodeAt(1), languageVersion) : isIdentifierStart(firstChar, languageVersion);
 }
+function isJSDocSatisfiesExpression(node) {
+  return isInJSFile(node) && isParenthesizedExpression(node) && !!getJSDocSatisfiesTag(node);
+}
+function getJSDocSatisfiesExpressionType(node) {
+  const tag = getJSDocSatisfiesTag(node);
+  const type = tag && tag.typeExpression && tag.typeExpression.type;
+  Debug.assertIsDefined(type);
+  return type;
+}
 
 // src/compiler/factory/baseNodeFactory.ts
 function createBaseNodeFactory() {
@@ -16595,6 +16592,12 @@ function createNodeFactory(flags, baseFactory2) {
     get updateJSDocDeprecatedTag() {
       return getJSDocSimpleTagUpdateFunction(334 /* JSDocDeprecatedTag */);
     },
+    get createJSDocSatisfiesTag() {
+      return getJSDocTypeLikeTagCreateFunction(351 /* JSDocSatisfiesTag */);
+    },
+    get updateJSDocSatisfiesTag() {
+      return getJSDocTypeLikeTagUpdateFunction(351 /* JSDocSatisfiesTag */);
+    },
     createJSDocUnknownTag,
     updateJSDocUnknownTag,
     createJSDocText,
@@ -19544,18 +19547,18 @@ function createNodeFactory(flags, baseFactory2) {
     return node;
   }
   function createSyntaxList(children) {
-    const node = createBaseNode(351 /* SyntaxList */);
+    const node = createBaseNode(352 /* SyntaxList */);
     node._children = children;
     return node;
   }
   function createNotEmittedStatement(original) {
-    const node = createBaseNode(352 /* NotEmittedStatement */);
+    const node = createBaseNode(353 /* NotEmittedStatement */);
     node.original = original;
     setTextRange(node, original);
     return node;
   }
   function createPartiallyEmittedExpression(expression, original) {
-    const node = createBaseNode(353 /* PartiallyEmittedExpression */);
+    const node = createBaseNode(354 /* PartiallyEmittedExpression */);
     node.expression = expression;
     node.original = original;
     node.transformFlags |= propagateChildFlags(node.expression) | 1 /* ContainsTypeScript */;
@@ -19577,7 +19580,7 @@ function createNodeFactory(flags, baseFactory2) {
     return node;
   }
   function createCommaListExpression(elements) {
-    const node = createBaseNode(354 /* CommaListExpression */);
+    const node = createBaseNode(355 /* CommaListExpression */);
     node.elements = createNodeArray(sameFlatMap(elements, flattenCommaElements));
     node.transformFlags |= propagateChildrenFlags(node.elements);
     return node;
@@ -19586,19 +19589,19 @@ function createNodeFactory(flags, baseFactory2) {
     return node.elements !== elements ? update(createCommaListExpression(elements), node) : node;
   }
   function createEndOfDeclarationMarker(original) {
-    const node = createBaseNode(356 /* EndOfDeclarationMarker */);
+    const node = createBaseNode(357 /* EndOfDeclarationMarker */);
     node.emitNode = {};
     node.original = original;
     return node;
   }
   function createMergeDeclarationMarker(original) {
-    const node = createBaseNode(355 /* MergeDeclarationMarker */);
+    const node = createBaseNode(356 /* MergeDeclarationMarker */);
     node.emitNode = {};
     node.original = original;
     return node;
   }
   function createSyntheticReferenceExpression(expression, thisArg) {
-    const node = createBaseNode(357 /* SyntheticReferenceExpression */);
+    const node = createBaseNode(358 /* SyntheticReferenceExpression */);
     node.expression = expression;
     node.thisArg = thisArg;
     node.transformFlags |= propagateChildFlags(node.expression) | propagateChildFlags(node.thisArg);
@@ -19746,7 +19749,7 @@ function createNodeFactory(flags, baseFactory2) {
         return updateSatisfiesExpression(outerExpression, expression, outerExpression.type);
       case 232 /* NonNullExpression */:
         return updateNonNullExpression(outerExpression, expression);
-      case 353 /* PartiallyEmittedExpression */:
+      case 354 /* PartiallyEmittedExpression */:
         return updatePartiallyEmittedExpression(outerExpression, expression);
     }
   }
@@ -20237,7 +20240,7 @@ function getTransformFlagsSubtreeExclusions(kind) {
     case 213 /* TypeAssertionExpression */:
     case 235 /* SatisfiesExpression */:
     case 231 /* AsExpression */:
-    case 353 /* PartiallyEmittedExpression */:
+    case 354 /* PartiallyEmittedExpression */:
     case 214 /* ParenthesizedExpression */:
     case 106 /* SuperKeyword */:
       return -2147483648 /* OuterExpressionExcludes */;
@@ -21689,10 +21692,10 @@ function isMetaProperty(node) {
   return node.kind === 233 /* MetaProperty */;
 }
 function isPartiallyEmittedExpression(node) {
-  return node.kind === 353 /* PartiallyEmittedExpression */;
+  return node.kind === 354 /* PartiallyEmittedExpression */;
 }
 function isCommaListExpression(node) {
-  return node.kind === 354 /* CommaListExpression */;
+  return node.kind === 355 /* CommaListExpression */;
 }
 function isTemplateSpan(node) {
   return node.kind === 236 /* TemplateSpan */;
@@ -21815,10 +21818,10 @@ function isExportSpecifier(node) {
   return node.kind === 278 /* ExportSpecifier */;
 }
 function isNotEmittedStatement(node) {
-  return node.kind === 352 /* NotEmittedStatement */;
+  return node.kind === 353 /* NotEmittedStatement */;
 }
 function isSyntheticReference(node) {
-  return node.kind === 357 /* SyntheticReferenceExpression */;
+  return node.kind === 358 /* SyntheticReferenceExpression */;
 }
 function isExternalModuleReference(node) {
   return node.kind === 280 /* ExternalModuleReference */;
@@ -21979,6 +21982,9 @@ function isJSDocTypedefTag(node) {
 function isJSDocImplementsTag(node) {
   return node.kind === 332 /* JSDocImplementsTag */;
 }
+function isJSDocSatisfiesTag(node) {
+  return node.kind === 351 /* JSDocSatisfiesTag */;
+}
 
 // src/compiler/factory/utilities.ts
 function createEmptyExports(factory2) {
@@ -22274,7 +22280,7 @@ function startsWithUseStrict(statements) {
   return firstStatement !== void 0 && isPrologueDirective(firstStatement) && isUseStrictPrologue(firstStatement);
 }
 function isCommaSequence(node) {
-  return node.kind === 223 /* BinaryExpression */ && node.operatorToken.kind === 27 /* CommaToken */ || node.kind === 354 /* CommaListExpression */;
+  return node.kind === 223 /* BinaryExpression */ && node.operatorToken.kind === 27 /* CommaToken */ || node.kind === 355 /* CommaListExpression */;
 }
 function isJSDocTypeAssertion(node) {
   return isParenthesizedExpression(node) && isInJSFile(node) && !!getJSDocTypeTag(node);
@@ -22297,7 +22303,7 @@ function isOuterExpression(node, kinds = 15 /* All */) {
       return (kinds & 2 /* TypeAssertions */) !== 0;
     case 232 /* NonNullExpression */:
       return (kinds & 4 /* NonNullAssertions */) !== 0;
-    case 353 /* PartiallyEmittedExpression */:
+    case 354 /* PartiallyEmittedExpression */:
       return (kinds & 8 /* PartiallyEmittedExpressions */) !== 0;
   }
   return false;
@@ -23224,7 +23230,7 @@ var forEachChildTable = {
   [279 /* MissingDeclaration */]: function forEachChildInMissingDeclaration(node, cbNode, cbNodes) {
     return visitNodes(cbNode, cbNodes, node.illegalDecorators) || visitNodes(cbNode, cbNodes, node.modifiers);
   },
-  [354 /* CommaListExpression */]: function forEachChildInCommaListExpression(node, cbNode, cbNodes) {
+  [355 /* CommaListExpression */]: function forEachChildInCommaListExpression(node, cbNode, cbNodes) {
     return visitNodes(cbNode, cbNodes, node.elements);
   },
   [281 /* JsxElement */]: function forEachChildInJsxElement(node, cbNode, cbNodes) {
@@ -23292,10 +23298,11 @@ var forEachChildTable = {
   [341 /* JSDocCallbackTag */]: function forEachChildInJSDocCallbackTag(node, cbNode, cbNodes) {
     return visitNode2(cbNode, node.tagName) || visitNode2(cbNode, node.fullName) || visitNode2(cbNode, node.typeExpression) || (typeof node.comment === "string" ? void 0 : visitNodes(cbNode, cbNodes, node.comment));
   },
-  [344 /* JSDocReturnTag */]: forEachChildInJSDocReturnTag,
-  [346 /* JSDocTypeTag */]: forEachChildInJSDocReturnTag,
-  [345 /* JSDocThisTag */]: forEachChildInJSDocReturnTag,
-  [342 /* JSDocEnumTag */]: forEachChildInJSDocReturnTag,
+  [344 /* JSDocReturnTag */]: forEachChildInJSDocTypeLikeTag,
+  [346 /* JSDocTypeTag */]: forEachChildInJSDocTypeLikeTag,
+  [345 /* JSDocThisTag */]: forEachChildInJSDocTypeLikeTag,
+  [342 /* JSDocEnumTag */]: forEachChildInJSDocTypeLikeTag,
+  [351 /* JSDocSatisfiesTag */]: forEachChildInJSDocTypeLikeTag,
   [326 /* JSDocSignature */]: function forEachChildInJSDocSignature(node, cbNode, _cbNodes) {
     return forEach(node.typeParameters, cbNode) || forEach(node.parameters, cbNode) || visitNode2(cbNode, node.type);
   },
@@ -23313,7 +23320,7 @@ var forEachChildTable = {
   [339 /* JSDocReadonlyTag */]: forEachChildInJSDocTag,
   [334 /* JSDocDeprecatedTag */]: forEachChildInJSDocTag,
   [340 /* JSDocOverrideTag */]: forEachChildInJSDocTag,
-  [353 /* PartiallyEmittedExpression */]: forEachChildInPartiallyEmittedExpression
+  [354 /* PartiallyEmittedExpression */]: forEachChildInPartiallyEmittedExpression
 };
 function forEachChildInCallOrConstructSignature(node, cbNode, cbNodes) {
   return visitNodes(cbNode, cbNodes, node.typeParameters) || visitNodes(cbNode, cbNodes, node.parameters) || visitNode2(cbNode, node.type);
@@ -23354,7 +23361,7 @@ function forEachChildInOptionalRestOrJSDocParameterModifier(node, cbNode, _cbNod
 function forEachChildInJSDocParameterOrPropertyTag(node, cbNode, cbNodes) {
   return visitNode2(cbNode, node.tagName) || (node.isNameFirst ? visitNode2(cbNode, node.name) || visitNode2(cbNode, node.typeExpression) : visitNode2(cbNode, node.typeExpression) || visitNode2(cbNode, node.name)) || (typeof node.comment === "string" ? void 0 : visitNodes(cbNode, cbNodes, node.comment));
 }
-function forEachChildInJSDocReturnTag(node, cbNode, cbNodes) {
+function forEachChildInJSDocTypeLikeTag(node, cbNode, cbNodes) {
   return visitNode2(cbNode, node.tagName) || visitNode2(cbNode, node.typeExpression) || (typeof node.comment === "string" ? void 0 : visitNodes(cbNode, cbNodes, node.comment));
 }
 function forEachChildInJSDocLinkCodeOrPlain(node, cbNode, _cbNodes) {
@@ -28634,6 +28641,9 @@ var Parser;
           case "callback":
             tag = parseCallbackTag(start2, tagName, margin, indentText);
             break;
+          case "satisfies":
+            tag = parseSatisfiesTag(start2, tagName, margin, indentText);
+            break;
           case "see":
             tag = parseSeeTag(start2, tagName, margin, indentText);
             break;
@@ -28927,6 +28937,14 @@ var Parser;
         const className = parseExpressionWithTypeArgumentsForAugments();
         return finishNode(factory2.createJSDocAugmentsTag(tagName, className, parseTrailingTagComments(start2, getNodePos(), margin, indentText)), start2);
       }
+      function parseSatisfiesTag(start2, tagName, margin, indentText) {
+        if (some(tags, isJSDocSatisfiesTag)) {
+          parseErrorAt(tagName.pos, scanner.getTokenPos(), Diagnostics._0_tag_already_specified, tagName.escapedText);
+        }
+        const typeExpression = parseJSDocTypeExpression(true);
+        const comments2 = margin !== void 0 && indentText !== void 0 ? parseTrailingTagComments(start2, getNodePos(), margin, indentText) : void 0;
+        return finishNode(factory2.createJSDocSatisfiesTag(tagName, typeExpression, comments2), start2);
+      }
       function parseExpressionWithTypeArgumentsForAugments() {
         const usedBrace = parseOptional(18 /* OpenBraceToken */);
         const pos = getNodePos();
@@ -58996,6 +59014,9 @@ function createTypeChecker(host) {
         Debug.assert(parent.parent.kind === 225 /* TemplateExpression */);
         return getContextualTypeForSubstitutionExpression(parent.parent, node);
       case 214 /* ParenthesizedExpression */: {
+        if (isJSDocSatisfiesExpression(parent)) {
+          return getTypeFromTypeNode(getJSDocSatisfiesExpressionType(parent));
+        }
         const tag = isInJSFile(parent) ? getJSDocTypeTag(parent) : void 0;
         return !tag ? getContextualType(parent, contextFlags) : isJSDocTypeTag(tag) && isConstTypeReference(tag.typeExpression.type) ? tryFindWhenConstTypeReference(parent) : getTypeFromTypeNode(tag.typeExpression.type);
       }
@@ -62715,12 +62736,15 @@ function createTypeChecker(host) {
   }
   function checkSatisfiesExpression(node) {
     checkSourceElement(node.type);
-    const exprType = checkExpression(node.expression);
-    const targetType = getTypeFromTypeNode(node.type);
+    return checkSatisfiesExpressionWorker(node.expression, node.type);
+  }
+  function checkSatisfiesExpressionWorker(expression, target, checkMode) {
+    const exprType = checkExpression(expression, checkMode);
+    const targetType = getTypeFromTypeNode(target);
     if (isErrorType(targetType)) {
       return targetType;
     }
-    checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, node.type, node.expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
+    checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, target, expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
     return exprType;
   }
   function checkMetaProperty(node) {
@@ -64834,9 +64858,14 @@ function createTypeChecker(host) {
     }
   }
   function checkParenthesizedExpression(node, checkMode) {
-    if (hasJSDocNodes(node) && isJSDocTypeAssertion(node)) {
-      const type = getJSDocTypeAssertionType(node);
-      return checkAssertionWorker(type, type, node.expression, checkMode);
+    if (hasJSDocNodes(node)) {
+      if (isJSDocSatisfiesExpression(node)) {
+        return checkSatisfiesExpressionWorker(node.expression, getJSDocSatisfiesExpressionType(node), checkMode);
+      }
+      if (isJSDocTypeAssertion(node)) {
+        const type = getJSDocTypeAssertionType(node);
+        return checkAssertionWorker(type, type, node.expression, checkMode);
+      }
     }
     return checkExpression(node.expression, checkMode);
   }
@@ -66464,6 +66493,9 @@ function createTypeChecker(host) {
   function checkJSDocTypeTag(node) {
     checkSourceElement(node.typeExpression);
   }
+  function checkJSDocSatisfiesTag(node) {
+    checkSourceElement(node.typeExpression);
+  }
   function checkJSDocLinkLikeTag(node) {
     if (node.name) {
       resolveJSDocMemberName(node.name, true);
@@ -69799,6 +69831,8 @@ function createTypeChecker(host) {
       case 338 /* JSDocProtectedTag */:
       case 337 /* JSDocPrivateTag */:
         return checkJSDocAccessibilityModifiers(node);
+      case 351 /* JSDocSatisfiesTag */:
+        return checkJSDocSatisfiesTag(node);
       case 196 /* IndexedAccessType */:
         return checkIndexedAccessType(node);
       case 197 /* MappedType */:
@@ -74202,13 +74236,13 @@ var visitEachChildTable = {
       visitLexicalEnvironment(node.statements, visitor, context)
     );
   },
-  [353 /* PartiallyEmittedExpression */]: function visitEachChildOfPartiallyEmittedExpression(node, visitor, context, _nodesVisitor, nodeVisitor, _tokenVisitor) {
+  [354 /* PartiallyEmittedExpression */]: function visitEachChildOfPartiallyEmittedExpression(node, visitor, context, _nodesVisitor, nodeVisitor, _tokenVisitor) {
     return context.factory.updatePartiallyEmittedExpression(
       node,
       nodeVisitor(node.expression, visitor, isExpression)
     );
   },
-  [354 /* CommaListExpression */]: function visitEachChildOfCommaListExpression(node, visitor, context, nodesVisitor, _nodeVisitor, _tokenVisitor) {
+  [355 /* CommaListExpression */]: function visitEachChildOfCommaListExpression(node, visitor, context, nodesVisitor, _nodeVisitor, _tokenVisitor) {
     return context.factory.updateCommaListExpression(
       node,
       nodesVisitor(node.elements, visitor, isExpression)
@@ -80107,7 +80141,7 @@ function transformES2018(context) {
         return visitObjectLiteralExpression(node);
       case 223 /* BinaryExpression */:
         return visitBinaryExpression(node, expressionResultIsUnused2);
-      case 354 /* CommaListExpression */:
+      case 355 /* CommaListExpression */:
         return visitCommaListExpression(node, expressionResultIsUnused2);
       case 295 /* CatchClause */:
         return visitCatchClause(node);
@@ -82303,7 +82337,7 @@ function transformES2015(context) {
         return visitParenthesizedExpression(node, expressionResultIsUnused2);
       case 223 /* BinaryExpression */:
         return visitBinaryExpression(node, expressionResultIsUnused2);
-      case 354 /* CommaListExpression */:
+      case 355 /* CommaListExpression */:
         return visitCommaListExpression(node, expressionResultIsUnused2);
       case 14 /* NoSubstitutionTemplateLiteral */:
       case 15 /* TemplateHead */:
@@ -84998,7 +85032,7 @@ function transformGenerators(context) {
     switch (node.kind) {
       case 223 /* BinaryExpression */:
         return visitBinaryExpression(node);
-      case 354 /* CommaListExpression */:
+      case 355 /* CommaListExpression */:
         return visitCommaListExpression(node);
       case 224 /* ConditionalExpression */:
         return visitConditionalExpression(node);
@@ -87083,9 +87117,9 @@ function transformModule(context) {
         return visitFunctionDeclaration(node);
       case 260 /* ClassDeclaration */:
         return visitClassDeclaration(node);
-      case 355 /* MergeDeclarationMarker */:
+      case 356 /* MergeDeclarationMarker */:
         return visitMergeDeclarationMarker(node);
-      case 356 /* EndOfDeclarationMarker */:
+      case 357 /* EndOfDeclarationMarker */:
         return visitEndOfDeclarationMarker(node);
       default:
         return visitor(node);
@@ -87102,7 +87136,7 @@ function transformModule(context) {
         return visitExpressionStatement(node);
       case 214 /* ParenthesizedExpression */:
         return visitParenthesizedExpression(node, valueIsDiscarded);
-      case 353 /* PartiallyEmittedExpression */:
+      case 354 /* PartiallyEmittedExpression */:
         return visitPartiallyEmittedExpression(node, valueIsDiscarded);
       case 210 /* CallExpression */:
         if (isImportCall(node) && currentSourceFile.impliedNodeFormat === void 0) {
@@ -88877,9 +88911,9 @@ function transformSystemModule(context) {
         return visitCatchClause(node);
       case 238 /* Block */:
         return visitBlock(node);
-      case 355 /* MergeDeclarationMarker */:
+      case 356 /* MergeDeclarationMarker */:
         return visitMergeDeclarationMarker(node);
-      case 356 /* EndOfDeclarationMarker */:
+      case 357 /* EndOfDeclarationMarker */:
         return visitEndOfDeclarationMarker(node);
       default:
         return visitor(node);
@@ -89027,7 +89061,7 @@ function transformSystemModule(context) {
         return visitExpressionStatement(node);
       case 214 /* ParenthesizedExpression */:
         return visitParenthesizedExpression(node, valueIsDiscarded);
-      case 353 /* PartiallyEmittedExpression */:
+      case 354 /* PartiallyEmittedExpression */:
         return visitPartiallyEmittedExpression(node, valueIsDiscarded);
       case 223 /* BinaryExpression */:
         if (isDestructuringAssignment(node)) {
@@ -91428,7 +91462,7 @@ function noEmitNotification(hint, node, callback) {
 }
 function transformNodes(resolver, host, factory2, options, nodes, transformers, allowDtsFiles) {
   var _a2, _b;
-  const enabledSyntaxKindFeatures = new Array(358 /* Count */);
+  const enabledSyntaxKindFeatures = new Array(359 /* Count */);
   let lexicalEnvironmentVariableDeclarations;
   let lexicalEnvironmentFunctionDeclarations;
   let lexicalEnvironmentStatements;
@@ -93135,6 +93169,7 @@ function createPrinter(printerOptions = {}, handlers = {}) {
         case 344 /* JSDocReturnTag */:
         case 345 /* JSDocThisTag */:
         case 346 /* JSDocTypeTag */:
+        case 351 /* JSDocSatisfiesTag */:
           return emitJSDocSimpleTypedTag(node);
         case 347 /* JSDocTemplateTag */:
           return emitJSDocTemplateTag(node);
@@ -93142,9 +93177,9 @@ function createPrinter(printerOptions = {}, handlers = {}) {
           return emitJSDocTypedefTag(node);
         case 349 /* JSDocSeeTag */:
           return emitJSDocSeeTag(node);
-        case 352 /* NotEmittedStatement */:
-        case 356 /* EndOfDeclarationMarker */:
-        case 355 /* MergeDeclarationMarker */:
+        case 353 /* NotEmittedStatement */:
+        case 357 /* EndOfDeclarationMarker */:
+        case 356 /* MergeDeclarationMarker */:
           return;
       }
       if (isExpression(node)) {
@@ -93239,18 +93274,18 @@ function createPrinter(printerOptions = {}, handlers = {}) {
           return emitJsxSelfClosingElement(node);
         case 285 /* JsxFragment */:
           return emitJsxFragment(node);
-        case 351 /* SyntaxList */:
+        case 352 /* SyntaxList */:
           return Debug.fail("SyntaxList should not be printed");
-        case 352 /* NotEmittedStatement */:
+        case 353 /* NotEmittedStatement */:
           return;
-        case 353 /* PartiallyEmittedExpression */:
+        case 354 /* PartiallyEmittedExpression */:
           return emitPartiallyEmittedExpression(node);
-        case 354 /* CommaListExpression */:
+        case 355 /* CommaListExpression */:
           return emitCommaList(node);
-        case 355 /* MergeDeclarationMarker */:
-        case 356 /* EndOfDeclarationMarker */:
+        case 356 /* MergeDeclarationMarker */:
+        case 357 /* EndOfDeclarationMarker */:
           return;
-        case 357 /* SyntheticReferenceExpression */:
+        case 358 /* SyntheticReferenceExpression */:
           return Debug.fail("SyntheticReferenceExpression should not be printed");
       }
     }
@@ -96165,7 +96200,7 @@ function createPrinter(printerOptions = {}, handlers = {}) {
     const skipTrailingComments = end < 0 || (emitFlags & 2048 /* NoTrailingComments */) !== 0 || node.kind === 11 /* JsxText */;
     if ((pos > 0 || end > 0) && pos !== end) {
       if (!skipLeadingComments) {
-        emitLeadingComments(pos, node.kind !== 352 /* NotEmittedStatement */);
+        emitLeadingComments(pos, node.kind !== 353 /* NotEmittedStatement */);
       }
       if (!skipLeadingComments || pos >= 0 && (emitFlags & 1024 /* NoLeadingComments */) !== 0) {
         containerPos = pos;
@@ -96188,7 +96223,7 @@ function createPrinter(printerOptions = {}, handlers = {}) {
       containerPos = savedContainerPos;
       containerEnd = savedContainerEnd;
       declarationListContainerEnd = savedDeclarationListContainerEnd;
-      if (!skipTrailingComments && node.kind !== 352 /* NotEmittedStatement */) {
+      if (!skipTrailingComments && node.kind !== 353 /* NotEmittedStatement */) {
         emitTrailingComments(end);
       }
     }
@@ -96440,7 +96475,7 @@ function createPrinter(printerOptions = {}, handlers = {}) {
       }
     } else {
       const source = sourceMapRange.source || sourceMapSource;
-      if (node.kind !== 352 /* NotEmittedStatement */ && (emitFlags & 32 /* NoLeadingSourceMap */) === 0 && sourceMapRange.pos >= 0) {
+      if (node.kind !== 353 /* NotEmittedStatement */ && (emitFlags & 32 /* NoLeadingSourceMap */) === 0 && sourceMapRange.pos >= 0) {
         emitSourcePos(sourceMapRange.source || sourceMapSource, skipSourceTrivia(source, sourceMapRange.pos));
       }
       if (emitFlags & 128 /* NoNestedSourceMaps */) {
@@ -96455,7 +96490,7 @@ function createPrinter(printerOptions = {}, handlers = {}) {
       if (emitFlags & 128 /* NoNestedSourceMaps */) {
         sourceMapsDisabled = false;
       }
-      if (node.kind !== 352 /* NotEmittedStatement */ && (emitFlags & 64 /* NoTrailingSourceMap */) === 0 && sourceMapRange.end >= 0) {
+      if (node.kind !== 353 /* NotEmittedStatement */ && (emitFlags & 64 /* NoTrailingSourceMap */) === 0 && sourceMapRange.end >= 0) {
         emitSourcePos(sourceMapRange.source || sourceMapSource, sourceMapRange.end);
       }
     }