typescript 5.1.0-dev.20230416 → 5.1.0-dev.20230417

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-dev.20230416`;
+var version = `${versionMajorMinor}.0-dev.20230417`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -12469,6 +12469,14 @@ function getErrorSpanForNode(sourceFile, node) {
       const pos2 = skipTrivia(sourceFile.text, node.pos);
       return getSpanOfTokenAtPosition(sourceFile, pos2);
     }
+    case 237 /* SatisfiesExpression */: {
+      const pos2 = skipTrivia(sourceFile.text, node.expression.end);
+      return getSpanOfTokenAtPosition(sourceFile, pos2);
+    }
+    case 356 /* JSDocSatisfiesTag */: {
+      const pos2 = skipTrivia(sourceFile.text, node.tagName.pos);
+      return getSpanOfTokenAtPosition(sourceFile, pos2);
+    }
   }
   if (errorNode === void 0) {
     return getSpanOfTokenAtPosition(sourceFile, node.pos);
@@ -14610,7 +14618,7 @@ function isQuoteOrBacktick(charCode) {
 }
 function isIntrinsicJsxName(name) {
   const ch = name.charCodeAt(0);
-  return ch >= 97 /* a */ && ch <= 122 /* z */ || stringContains(name, "-") || stringContains(name, ":");
+  return ch >= 97 /* a */ && ch <= 122 /* z */ || stringContains(name, "-");
 }
 var indentStrings = ["", "    "];
 function getIndentString(level) {
@@ -17272,15 +17280,24 @@ function tryGetJSDocSatisfiesTypeNode(node) {
   return tag && tag.typeExpression && tag.typeExpression.type;
 }
 function getEscapedTextOfJsxAttributeName(node) {
-  return isIdentifier(node) ? node.escapedText : `${node.namespace.escapedText}:${idText(node.name)}`;
+  return isIdentifier(node) ? node.escapedText : getEscapedTextOfJsxNamespacedName(node);
 }
 function getTextOfJsxAttributeName(node) {
-  return isIdentifier(node) ? idText(node) : `${idText(node.namespace)}:${idText(node.name)}`;
+  return isIdentifier(node) ? idText(node) : getTextOfJsxNamespacedName(node);
 }
 function isJsxAttributeName(node) {
   const kind = node.kind;
   return kind === 80 /* Identifier */ || kind === 294 /* JsxNamespacedName */;
 }
+function getEscapedTextOfJsxNamespacedName(node) {
+  return `${node.namespace.escapedText}:${idText(node.name)}`;
+}
+function getTextOfJsxNamespacedName(node) {
+  return `${idText(node.namespace)}:${idText(node.name)}`;
+}
+function intrinsicTagNameToString(node) {
+  return isIdentifier(node) ? idText(node) : getTextOfJsxNamespacedName(node);
+}
 
 // src/compiler/factory/baseNodeFactory.ts
 function createBaseNodeFactory() {
@@ -39006,6 +39023,9 @@ function createBinder() {
         const containingClassSymbol = containingClass.symbol;
         return getSymbolNameForPrivateIdentifier(containingClassSymbol, name.escapedText);
       }
+      if (isJsxNamespacedName(name)) {
+        return getEscapedTextOfJsxAttributeName(name);
+      }
       return isPropertyNameLiteral(name) ? getEscapedTextOfIdentifierOrLiteral(name) : void 0;
     }
     switch (node.kind) {
@@ -57139,16 +57159,18 @@ function createTypeChecker(host) {
     while (true) {
       if (tailCount === 1e3) {
         error(currentNode, Diagnostics.Type_instantiation_is_excessively_deep_and_possibly_infinite);
-        result = errorType;
-        break;
+        return errorType;
       }
-      const checkTuples = isSimpleTupleType(root.node.checkType) && isSimpleTupleType(root.node.extendsType) && length(root.node.checkType.elements) === length(root.node.extendsType.elements);
       const checkType = instantiateType(getActualTypeVariable(root.checkType), mapper);
-      const checkTypeDeferred = isDeferredType(checkType, checkTuples);
       const extendsType = instantiateType(root.extendsType, mapper);
+      if (checkType === errorType || extendsType === errorType) {
+        return errorType;
+      }
       if (checkType === wildcardType || extendsType === wildcardType) {
         return wildcardType;
       }
+      const checkTuples = isSimpleTupleType(root.node.checkType) && isSimpleTupleType(root.node.extendsType) && length(root.node.checkType.elements) === length(root.node.extendsType.elements);
+      const checkTypeDeferred = isDeferredType(checkType, checkTuples);
       let combinedMapper;
       if (root.inferTypeParameters) {
         const freshParams = sameMap(root.inferTypeParameters, maybeCloneTypeParameter);
@@ -65065,7 +65087,7 @@ function createTypeChecker(host) {
     }
     function isTypePresencePossible(type, propName, assumeTrue) {
       const prop = getPropertyOfType(type, propName);
-      return prop ? !!(prop.flags & 16777216 /* Optional */) || assumeTrue : !!getApplicableIndexInfoForName(type, propName) || !assumeTrue;
+      return prop ? !!(prop.flags & 16777216 /* Optional */ || getCheckFlags(prop) & 48 /* Partial */) || assumeTrue : !!getApplicableIndexInfoForName(type, propName) || !assumeTrue;
     }
     function narrowTypeByInKeyword(type, nameType, assumeTrue) {
       const name = getPropertyNameFromType(nameType);
@@ -67182,7 +67204,7 @@ function createTypeChecker(host) {
     return isTypeAny(instanceType) ? instanceType : getTypeOfPropertyOfType(instanceType, forcedLookupLocation);
   }
   function getStaticTypeOfReferencedJsxConstructor(context) {
-    if (isJsxIntrinsicIdentifier(context.tagName)) {
+    if (isJsxIntrinsicTagName(context.tagName)) {
       const result = getIntrinsicAttributesTypeFromJsxOpeningLikeElement(context);
       const fakeSignature = createSignatureForJSXIntrinsic(context, result);
       return getOrCreateTypeFromSignature(fakeSignature);
@@ -67783,7 +67805,7 @@ function createTypeChecker(host) {
   }
   function checkJsxElementDeferred(node) {
     checkJsxOpeningLikeElementOrOpeningFragment(node.openingElement);
-    if (isJsxIntrinsicIdentifier(node.closingElement.tagName)) {
+    if (isJsxIntrinsicTagName(node.closingElement.tagName)) {
       getIntrinsicTagSymbol(node.closingElement);
     } else {
       checkExpression(node.closingElement.tagName);
@@ -67806,8 +67828,8 @@ function createTypeChecker(host) {
   function isHyphenatedJsxName(name) {
     return stringContains(name, "-");
   }
-  function isJsxIntrinsicIdentifier(tagName) {
-    return tagName.kind === 80 /* Identifier */ && isIntrinsicJsxName(tagName.escapedText);
+  function isJsxIntrinsicTagName(tagName) {
+    return isIdentifier(tagName) && isIntrinsicJsxName(tagName.escapedText) || isJsxNamespacedName(tagName);
   }
   function checkJsxAttribute(node, checkMode) {
     return node.initializer ? checkExpressionForMutableLocation(node.initializer, checkMode) : trueType;
@@ -67992,9 +68014,9 @@ function createTypeChecker(host) {
     if (!links.resolvedSymbol) {
       const intrinsicElementsType = getJsxType(JsxNames.IntrinsicElements, node);
       if (!isErrorType(intrinsicElementsType)) {
-        if (!isIdentifier(node.tagName))
+        if (!isIdentifier(node.tagName) && !isJsxNamespacedName(node.tagName))
           return Debug.fail();
-        const intrinsicProp = getPropertyOfType(intrinsicElementsType, node.tagName.escapedText);
+        const intrinsicProp = getPropertyOfType(intrinsicElementsType, isJsxNamespacedName(node.tagName) ? getEscapedTextOfJsxNamespacedName(node.tagName) : node.tagName.escapedText);
         if (intrinsicProp) {
           links.jsxFlags |= 1 /* IntrinsicNamedElement */;
           return links.resolvedSymbol = intrinsicProp;
@@ -68004,7 +68026,7 @@ function createTypeChecker(host) {
           links.jsxFlags |= 2 /* IntrinsicIndexedElement */;
           return links.resolvedSymbol = intrinsicElementsType.symbol;
         }
-        error(node, Diagnostics.Property_0_does_not_exist_on_type_1, idText(node.tagName), "JSX." + JsxNames.IntrinsicElements);
+        error(node, Diagnostics.Property_0_does_not_exist_on_type_1, intrinsicTagNameToString(node.tagName), "JSX." + JsxNames.IntrinsicElements);
         return links.resolvedSymbol = unknownSymbol;
       } else {
         if (noImplicitAny) {
@@ -68175,7 +68197,7 @@ function createTypeChecker(host) {
     }
   }
   function getIntrinsicAttributesTypeFromJsxOpeningLikeElement(node) {
-    Debug.assert(isJsxIntrinsicIdentifier(node.tagName));
+    Debug.assert(isJsxIntrinsicTagName(node.tagName));
     const links = getNodeLinks(node);
     if (!links.resolvedJsxElementAttributesType) {
       const symbol = getIntrinsicTagSymbol(node);
@@ -68275,7 +68297,7 @@ function createTypeChecker(host) {
       const elementTypeConstraint = getJsxElementTypeTypeAt(jsxOpeningLikeNode);
       if (elementTypeConstraint !== void 0) {
         const tagName = jsxOpeningLikeNode.tagName;
-        const tagType = isJsxIntrinsicIdentifier(tagName) ? getStringLiteralType(unescapeLeadingUnderscores(tagName.escapedText)) : checkExpression(tagName);
+        const tagType = isJsxIntrinsicTagName(tagName) ? getStringLiteralType(intrinsicTagNameToString(tagName)) : checkExpression(tagName);
         checkTypeRelatedTo(tagType, elementTypeConstraint, assignableRelation, tagName, Diagnostics.Its_type_0_is_not_a_valid_JSX_element_type, () => {
           const componentName = getTextOfNode(tagName);
           return chainDiagnosticMessages(
@@ -69535,7 +69557,7 @@ function createTypeChecker(host) {
     return typeArgumentTypes;
   }
   function getJsxReferenceKind(node) {
-    if (isJsxIntrinsicIdentifier(node.tagName)) {
+    if (isJsxIntrinsicTagName(node.tagName)) {
       return 2 /* Mixed */;
     }
     const tagType = getApparentType(checkExpression(node.tagName));
@@ -69572,7 +69594,7 @@ function createTypeChecker(host) {
       if (getJsxNamespaceContainerForImplicitImport(node)) {
         return true;
       }
-      const tagType = isJsxOpeningElement(node) || isJsxSelfClosingElement(node) && !isJsxIntrinsicIdentifier(node.tagName) ? checkExpression(node.tagName) : void 0;
+      const tagType = isJsxOpeningElement(node) || isJsxSelfClosingElement(node) && !isJsxIntrinsicTagName(node.tagName) ? checkExpression(node.tagName) : void 0;
       if (!tagType) {
         return true;
       }
@@ -70822,7 +70844,7 @@ function createTypeChecker(host) {
     );
   }
   function resolveJsxOpeningLikeElement(node, candidatesOutArray, checkMode) {
-    if (isJsxIntrinsicIdentifier(node.tagName)) {
+    if (isJsxIntrinsicTagName(node.tagName)) {
       const result = getIntrinsicAttributesTypeFromJsxOpeningLikeElement(node);
       const fakeSignature = createSignatureForJSXIntrinsic(node, result);
       checkTypeAssignableToAndOptionallyElaborate(checkExpressionWithContextualType(
@@ -71437,7 +71459,8 @@ function createTypeChecker(host) {
     if (isErrorType(targetType)) {
       return targetType;
     }
-    checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, target, expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
+    const errorNode = findAncestor(target.parent, (n) => n.kind === 237 /* SatisfiesExpression */ || n.kind === 356 /* JSDocSatisfiesTag */);
+    checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, errorNode, expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
     return exprType;
   }
   function checkMetaProperty(node) {
@@ -80143,7 +80166,7 @@ function createTypeChecker(host) {
       const isJSDoc2 = findAncestor(name, or(isJSDocLinkLike, isJSDocNameReference, isJSDocMemberName));
       const meaning = isJSDoc2 ? 788968 /* Type */ | 1920 /* Namespace */ | 111551 /* Value */ : 111551 /* Value */;
       if (name.kind === 80 /* Identifier */) {
-        if (isJSXTagName(name) && isJsxIntrinsicIdentifier(name)) {
+        if (isJSXTagName(name) && isJsxIntrinsicTagName(name)) {
           const symbol = getIntrinsicTagSymbol(name.parent);
           return symbol === unknownSymbol ? void 0 : symbol;
         }
@@ -80373,6 +80396,11 @@ function createTypeChecker(host) {
         return isMetaProperty(node.parent) ? checkMetaPropertyKeyword(node.parent).symbol : void 0;
       case 235 /* MetaProperty */:
         return checkExpression(node).symbol;
+      case 294 /* JsxNamespacedName */:
+        if (isJSXTagName(node) && isJsxIntrinsicTagName(node)) {
+          const symbol = getIntrinsicTagSymbol(node.parent);
+          return symbol === unknownSymbol ? void 0 : symbol;
+        }
       default:
         return void 0;
     }

package/lib/tsserver.js

@@ -747,6 +747,7 @@ __export(server_exports, {
   getErrorSummaryText: () => getErrorSummaryText,
   getEscapedTextOfIdentifierOrLiteral: () => getEscapedTextOfIdentifierOrLiteral,
   getEscapedTextOfJsxAttributeName: () => getEscapedTextOfJsxAttributeName,
+  getEscapedTextOfJsxNamespacedName: () => getEscapedTextOfJsxNamespacedName,
   getExpandoInitializer: () => getExpandoInitializer,
   getExportAssignmentExpression: () => getExportAssignmentExpression,
   getExportInfoMap: () => getExportInfoMap,
@@ -1039,6 +1040,7 @@ __export(server_exports, {
   getTextOfIdentifierOrLiteral: () => getTextOfIdentifierOrLiteral,
   getTextOfJSDocComment: () => getTextOfJSDocComment,
   getTextOfJsxAttributeName: () => getTextOfJsxAttributeName,
+  getTextOfJsxNamespacedName: () => getTextOfJsxNamespacedName,
   getTextOfNode: () => getTextOfNode,
   getTextOfNodeFromSourceText: () => getTextOfNodeFromSourceText,
   getTextOfPropertyName: () => getTextOfPropertyName,
@@ -1138,6 +1140,7 @@ __export(server_exports, {
   insertStatementsAfterCustomPrologue: () => insertStatementsAfterCustomPrologue,
   insertStatementsAfterStandardPrologue: () => insertStatementsAfterStandardPrologue,
   intersperse: () => intersperse,
+  intrinsicTagNameToString: () => intrinsicTagNameToString,
   introducesArgumentsExoticObject: () => introducesArgumentsExoticObject,
   inverseJsxOptionMap: () => inverseJsxOptionMap,
   isAbstractConstructorSymbol: () => isAbstractConstructorSymbol,
@@ -2298,7 +2301,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-dev.20230416`;
+var version = `${versionMajorMinor}.0-dev.20230417`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -16270,6 +16273,14 @@ function getErrorSpanForNode(sourceFile, node) {
       const pos2 = skipTrivia(sourceFile.text, node.pos);
       return getSpanOfTokenAtPosition(sourceFile, pos2);
     }
+    case 237 /* SatisfiesExpression */: {
+      const pos2 = skipTrivia(sourceFile.text, node.expression.end);
+      return getSpanOfTokenAtPosition(sourceFile, pos2);
+    }
+    case 356 /* JSDocSatisfiesTag */: {
+      const pos2 = skipTrivia(sourceFile.text, node.tagName.pos);
+      return getSpanOfTokenAtPosition(sourceFile, pos2);
+    }
   }
   if (errorNode === void 0) {
     return getSpanOfTokenAtPosition(sourceFile, node.pos);
@@ -18560,7 +18571,7 @@ function isQuoteOrBacktick(charCode) {
 }
 function isIntrinsicJsxName(name) {
   const ch = name.charCodeAt(0);
-  return ch >= 97 /* a */ && ch <= 122 /* z */ || stringContains(name, "-") || stringContains(name, ":");
+  return ch >= 97 /* a */ && ch <= 122 /* z */ || stringContains(name, "-");
 }
 var indentStrings = ["", "    "];
 function getIndentString(level) {
@@ -21450,15 +21461,24 @@ function tryGetJSDocSatisfiesTypeNode(node) {
   return tag && tag.typeExpression && tag.typeExpression.type;
 }
 function getEscapedTextOfJsxAttributeName(node) {
-  return isIdentifier(node) ? node.escapedText : `${node.namespace.escapedText}:${idText(node.name)}`;
+  return isIdentifier(node) ? node.escapedText : getEscapedTextOfJsxNamespacedName(node);
 }
 function getTextOfJsxAttributeName(node) {
-  return isIdentifier(node) ? idText(node) : `${idText(node.namespace)}:${idText(node.name)}`;
+  return isIdentifier(node) ? idText(node) : getTextOfJsxNamespacedName(node);
 }
 function isJsxAttributeName(node) {
   const kind = node.kind;
   return kind === 80 /* Identifier */ || kind === 294 /* JsxNamespacedName */;
 }
+function getEscapedTextOfJsxNamespacedName(node) {
+  return `${node.namespace.escapedText}:${idText(node.name)}`;
+}
+function getTextOfJsxNamespacedName(node) {
+  return `${idText(node.namespace)}:${idText(node.name)}`;
+}
+function intrinsicTagNameToString(node) {
+  return isIdentifier(node) ? idText(node) : getTextOfJsxNamespacedName(node);
+}
 
 // src/compiler/factory/baseNodeFactory.ts
 function createBaseNodeFactory() {
@@ -43609,6 +43629,9 @@ function createBinder() {
         const containingClassSymbol = containingClass.symbol;
         return getSymbolNameForPrivateIdentifier(containingClassSymbol, name.escapedText);
       }
+      if (isJsxNamespacedName(name)) {
+        return getEscapedTextOfJsxAttributeName(name);
+      }
       return isPropertyNameLiteral(name) ? getEscapedTextOfIdentifierOrLiteral(name) : void 0;
     }
     switch (node.kind) {
@@ -61790,16 +61813,18 @@ function createTypeChecker(host) {
     while (true) {
       if (tailCount === 1e3) {
         error(currentNode, Diagnostics.Type_instantiation_is_excessively_deep_and_possibly_infinite);
-        result = errorType;
-        break;
+        return errorType;
       }
-      const checkTuples = isSimpleTupleType(root.node.checkType) && isSimpleTupleType(root.node.extendsType) && length(root.node.checkType.elements) === length(root.node.extendsType.elements);
       const checkType = instantiateType(getActualTypeVariable(root.checkType), mapper);
-      const checkTypeDeferred = isDeferredType(checkType, checkTuples);
       const extendsType = instantiateType(root.extendsType, mapper);
+      if (checkType === errorType || extendsType === errorType) {
+        return errorType;
+      }
       if (checkType === wildcardType || extendsType === wildcardType) {
         return wildcardType;
       }
+      const checkTuples = isSimpleTupleType(root.node.checkType) && isSimpleTupleType(root.node.extendsType) && length(root.node.checkType.elements) === length(root.node.extendsType.elements);
+      const checkTypeDeferred = isDeferredType(checkType, checkTuples);
       let combinedMapper;
       if (root.inferTypeParameters) {
         const freshParams = sameMap(root.inferTypeParameters, maybeCloneTypeParameter);
@@ -69716,7 +69741,7 @@ function createTypeChecker(host) {
     }
     function isTypePresencePossible(type, propName, assumeTrue) {
       const prop = getPropertyOfType(type, propName);
-      return prop ? !!(prop.flags & 16777216 /* Optional */) || assumeTrue : !!getApplicableIndexInfoForName(type, propName) || !assumeTrue;
+      return prop ? !!(prop.flags & 16777216 /* Optional */ || getCheckFlags(prop) & 48 /* Partial */) || assumeTrue : !!getApplicableIndexInfoForName(type, propName) || !assumeTrue;
     }
     function narrowTypeByInKeyword(type, nameType, assumeTrue) {
       const name = getPropertyNameFromType(nameType);
@@ -71833,7 +71858,7 @@ function createTypeChecker(host) {
     return isTypeAny(instanceType) ? instanceType : getTypeOfPropertyOfType(instanceType, forcedLookupLocation);
   }
   function getStaticTypeOfReferencedJsxConstructor(context) {
-    if (isJsxIntrinsicIdentifier(context.tagName)) {
+    if (isJsxIntrinsicTagName(context.tagName)) {
       const result = getIntrinsicAttributesTypeFromJsxOpeningLikeElement(context);
       const fakeSignature = createSignatureForJSXIntrinsic(context, result);
       return getOrCreateTypeFromSignature(fakeSignature);
@@ -72434,7 +72459,7 @@ function createTypeChecker(host) {
   }
   function checkJsxElementDeferred(node) {
     checkJsxOpeningLikeElementOrOpeningFragment(node.openingElement);
-    if (isJsxIntrinsicIdentifier(node.closingElement.tagName)) {
+    if (isJsxIntrinsicTagName(node.closingElement.tagName)) {
       getIntrinsicTagSymbol(node.closingElement);
     } else {
       checkExpression(node.closingElement.tagName);
@@ -72457,8 +72482,8 @@ function createTypeChecker(host) {
   function isHyphenatedJsxName(name) {
     return stringContains(name, "-");
   }
-  function isJsxIntrinsicIdentifier(tagName) {
-    return tagName.kind === 80 /* Identifier */ && isIntrinsicJsxName(tagName.escapedText);
+  function isJsxIntrinsicTagName(tagName) {
+    return isIdentifier(tagName) && isIntrinsicJsxName(tagName.escapedText) || isJsxNamespacedName(tagName);
   }
   function checkJsxAttribute(node, checkMode) {
     return node.initializer ? checkExpressionForMutableLocation(node.initializer, checkMode) : trueType;
@@ -72643,9 +72668,9 @@ function createTypeChecker(host) {
     if (!links.resolvedSymbol) {
       const intrinsicElementsType = getJsxType(JsxNames.IntrinsicElements, node);
       if (!isErrorType(intrinsicElementsType)) {
-        if (!isIdentifier(node.tagName))
+        if (!isIdentifier(node.tagName) && !isJsxNamespacedName(node.tagName))
           return Debug.fail();
-        const intrinsicProp = getPropertyOfType(intrinsicElementsType, node.tagName.escapedText);
+        const intrinsicProp = getPropertyOfType(intrinsicElementsType, isJsxNamespacedName(node.tagName) ? getEscapedTextOfJsxNamespacedName(node.tagName) : node.tagName.escapedText);
         if (intrinsicProp) {
           links.jsxFlags |= 1 /* IntrinsicNamedElement */;
           return links.resolvedSymbol = intrinsicProp;
@@ -72655,7 +72680,7 @@ function createTypeChecker(host) {
           links.jsxFlags |= 2 /* IntrinsicIndexedElement */;
           return links.resolvedSymbol = intrinsicElementsType.symbol;
         }
-        error(node, Diagnostics.Property_0_does_not_exist_on_type_1, idText(node.tagName), "JSX." + JsxNames.IntrinsicElements);
+        error(node, Diagnostics.Property_0_does_not_exist_on_type_1, intrinsicTagNameToString(node.tagName), "JSX." + JsxNames.IntrinsicElements);
         return links.resolvedSymbol = unknownSymbol;
       } else {
         if (noImplicitAny) {
@@ -72826,7 +72851,7 @@ function createTypeChecker(host) {
     }
   }
   function getIntrinsicAttributesTypeFromJsxOpeningLikeElement(node) {
-    Debug.assert(isJsxIntrinsicIdentifier(node.tagName));
+    Debug.assert(isJsxIntrinsicTagName(node.tagName));
     const links = getNodeLinks(node);
     if (!links.resolvedJsxElementAttributesType) {
       const symbol = getIntrinsicTagSymbol(node);
@@ -72926,7 +72951,7 @@ function createTypeChecker(host) {
       const elementTypeConstraint = getJsxElementTypeTypeAt(jsxOpeningLikeNode);
       if (elementTypeConstraint !== void 0) {
         const tagName = jsxOpeningLikeNode.tagName;
-        const tagType = isJsxIntrinsicIdentifier(tagName) ? getStringLiteralType(unescapeLeadingUnderscores(tagName.escapedText)) : checkExpression(tagName);
+        const tagType = isJsxIntrinsicTagName(tagName) ? getStringLiteralType(intrinsicTagNameToString(tagName)) : checkExpression(tagName);
         checkTypeRelatedTo(tagType, elementTypeConstraint, assignableRelation, tagName, Diagnostics.Its_type_0_is_not_a_valid_JSX_element_type, () => {
           const componentName = getTextOfNode(tagName);
           return chainDiagnosticMessages(
@@ -74186,7 +74211,7 @@ function createTypeChecker(host) {
     return typeArgumentTypes;
   }
   function getJsxReferenceKind(node) {
-    if (isJsxIntrinsicIdentifier(node.tagName)) {
+    if (isJsxIntrinsicTagName(node.tagName)) {
       return 2 /* Mixed */;
     }
     const tagType = getApparentType(checkExpression(node.tagName));
@@ -74223,7 +74248,7 @@ function createTypeChecker(host) {
       if (getJsxNamespaceContainerForImplicitImport(node)) {
         return true;
       }
-      const tagType = isJsxOpeningElement(node) || isJsxSelfClosingElement(node) && !isJsxIntrinsicIdentifier(node.tagName) ? checkExpression(node.tagName) : void 0;
+      const tagType = isJsxOpeningElement(node) || isJsxSelfClosingElement(node) && !isJsxIntrinsicTagName(node.tagName) ? checkExpression(node.tagName) : void 0;
       if (!tagType) {
         return true;
       }
@@ -75473,7 +75498,7 @@ function createTypeChecker(host) {
     );
   }
   function resolveJsxOpeningLikeElement(node, candidatesOutArray, checkMode) {
-    if (isJsxIntrinsicIdentifier(node.tagName)) {
+    if (isJsxIntrinsicTagName(node.tagName)) {
       const result = getIntrinsicAttributesTypeFromJsxOpeningLikeElement(node);
       const fakeSignature = createSignatureForJSXIntrinsic(node, result);
       checkTypeAssignableToAndOptionallyElaborate(checkExpressionWithContextualType(
@@ -76088,7 +76113,8 @@ function createTypeChecker(host) {
     if (isErrorType(targetType)) {
       return targetType;
     }
-    checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, target, expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
+    const errorNode = findAncestor(target.parent, (n) => n.kind === 237 /* SatisfiesExpression */ || n.kind === 356 /* JSDocSatisfiesTag */);
+    checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, errorNode, expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
     return exprType;
   }
   function checkMetaProperty(node) {
@@ -84794,7 +84820,7 @@ function createTypeChecker(host) {
       const isJSDoc2 = findAncestor(name, or(isJSDocLinkLike, isJSDocNameReference, isJSDocMemberName));
       const meaning = isJSDoc2 ? 788968 /* Type */ | 1920 /* Namespace */ | 111551 /* Value */ : 111551 /* Value */;
       if (name.kind === 80 /* Identifier */) {
-        if (isJSXTagName(name) && isJsxIntrinsicIdentifier(name)) {
+        if (isJSXTagName(name) && isJsxIntrinsicTagName(name)) {
           const symbol = getIntrinsicTagSymbol(name.parent);
           return symbol === unknownSymbol ? void 0 : symbol;
         }
@@ -85024,6 +85050,11 @@ function createTypeChecker(host) {
         return isMetaProperty(node.parent) ? checkMetaPropertyKeyword(node.parent).symbol : void 0;
       case 235 /* MetaProperty */:
         return checkExpression(node).symbol;
+      case 294 /* JsxNamespacedName */:
+        if (isJSXTagName(node) && isJsxIntrinsicTagName(node)) {
+          const symbol = getIntrinsicTagSymbol(node.parent);
+          return symbol === unknownSymbol ? void 0 : symbol;
+        }
       default:
         return void 0;
     }
@@ -136367,6 +136398,9 @@ function createLanguageService(host, documentRegistry = createDocumentRegistry(h
     if (isImportMeta(node.parent) && node.parent.name === node) {
       return node.parent;
     }
+    if (isJsxNamespacedName(node.parent)) {
+      return node.parent;
+    }
     return node;
   }
   function shouldGetType(sourceFile, node, position) {
@@ -169470,6 +169504,7 @@ __export(ts_exports2, {
   getErrorSummaryText: () => getErrorSummaryText,
   getEscapedTextOfIdentifierOrLiteral: () => getEscapedTextOfIdentifierOrLiteral,
   getEscapedTextOfJsxAttributeName: () => getEscapedTextOfJsxAttributeName,
+  getEscapedTextOfJsxNamespacedName: () => getEscapedTextOfJsxNamespacedName,
   getExpandoInitializer: () => getExpandoInitializer,
   getExportAssignmentExpression: () => getExportAssignmentExpression,
   getExportInfoMap: () => getExportInfoMap,
@@ -169762,6 +169797,7 @@ __export(ts_exports2, {
   getTextOfIdentifierOrLiteral: () => getTextOfIdentifierOrLiteral,
   getTextOfJSDocComment: () => getTextOfJSDocComment,
   getTextOfJsxAttributeName: () => getTextOfJsxAttributeName,
+  getTextOfJsxNamespacedName: () => getTextOfJsxNamespacedName,
   getTextOfNode: () => getTextOfNode,
   getTextOfNodeFromSourceText: () => getTextOfNodeFromSourceText,
   getTextOfPropertyName: () => getTextOfPropertyName,
@@ -169861,6 +169897,7 @@ __export(ts_exports2, {
   insertStatementsAfterCustomPrologue: () => insertStatementsAfterCustomPrologue,
   insertStatementsAfterStandardPrologue: () => insertStatementsAfterStandardPrologue,
   intersperse: () => intersperse,
+  intrinsicTagNameToString: () => intrinsicTagNameToString,
   introducesArgumentsExoticObject: () => introducesArgumentsExoticObject,
   inverseJsxOptionMap: () => inverseJsxOptionMap,
   isAbstractConstructorSymbol: () => isAbstractConstructorSymbol,
@@ -183902,6 +183939,7 @@ start(initializeNodeSystem(), require("os").platform());
   getErrorSummaryText,
   getEscapedTextOfIdentifierOrLiteral,
   getEscapedTextOfJsxAttributeName,
+  getEscapedTextOfJsxNamespacedName,
   getExpandoInitializer,
   getExportAssignmentExpression,
   getExportInfoMap,
@@ -184194,6 +184232,7 @@ start(initializeNodeSystem(), require("os").platform());
   getTextOfIdentifierOrLiteral,
   getTextOfJSDocComment,
   getTextOfJsxAttributeName,
+  getTextOfJsxNamespacedName,
   getTextOfNode,
   getTextOfNodeFromSourceText,
   getTextOfPropertyName,
@@ -184293,6 +184332,7 @@ start(initializeNodeSystem(), require("os").platform());
   insertStatementsAfterCustomPrologue,
   insertStatementsAfterStandardPrologue,
   intersperse,
+  intrinsicTagNameToString,
   introducesArgumentsExoticObject,
   inverseJsxOptionMap,
   isAbstractConstructorSymbol,

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.1";
-      version = `${versionMajorMinor}.0-dev.20230416`;
+      version = `${versionMajorMinor}.0-dev.20230417`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -14085,6 +14085,14 @@ ${lanes.join("\n")}
         const pos2 = skipTrivia(sourceFile.text, node.pos);
         return getSpanOfTokenAtPosition(sourceFile, pos2);
       }
+      case 237 /* SatisfiesExpression */: {
+        const pos2 = skipTrivia(sourceFile.text, node.expression.end);
+        return getSpanOfTokenAtPosition(sourceFile, pos2);
+      }
+      case 356 /* JSDocSatisfiesTag */: {
+        const pos2 = skipTrivia(sourceFile.text, node.tagName.pos);
+        return getSpanOfTokenAtPosition(sourceFile, pos2);
+      }
     }
     if (errorNode === void 0) {
       return getSpanOfTokenAtPosition(sourceFile, node.pos);
@@ -16291,7 +16299,7 @@ ${lanes.join("\n")}
   }
   function isIntrinsicJsxName(name) {
     const ch = name.charCodeAt(0);
-    return ch >= 97 /* a */ && ch <= 122 /* z */ || stringContains(name, "-") || stringContains(name, ":");
+    return ch >= 97 /* a */ && ch <= 122 /* z */ || stringContains(name, "-");
   }
   function getIndentString(level) {
     const singleLevel = indentStrings[1];
@@ -19103,15 +19111,24 @@ ${lanes.join("\n")}
     return tag && tag.typeExpression && tag.typeExpression.type;
   }
   function getEscapedTextOfJsxAttributeName(node) {
-    return isIdentifier(node) ? node.escapedText : `${node.namespace.escapedText}:${idText(node.name)}`;
+    return isIdentifier(node) ? node.escapedText : getEscapedTextOfJsxNamespacedName(node);
   }
   function getTextOfJsxAttributeName(node) {
-    return isIdentifier(node) ? idText(node) : `${idText(node.namespace)}:${idText(node.name)}`;
+    return isIdentifier(node) ? idText(node) : getTextOfJsxNamespacedName(node);
   }
   function isJsxAttributeName(node) {
     const kind = node.kind;
     return kind === 80 /* Identifier */ || kind === 294 /* JsxNamespacedName */;
   }
+  function getEscapedTextOfJsxNamespacedName(node) {
+    return `${node.namespace.escapedText}:${idText(node.name)}`;
+  }
+  function getTextOfJsxNamespacedName(node) {
+    return `${idText(node.namespace)}:${idText(node.name)}`;
+  }
+  function intrinsicTagNameToString(node) {
+    return isIdentifier(node) ? idText(node) : getTextOfJsxNamespacedName(node);
+  }
   var resolvingEmptyArray, externalHelpersModuleNameText, defaultMaximumTruncationLength, noTruncationMaximumTruncationLength, stringWriter, GetLiteralTextFlags, fullTripleSlashReferencePathRegEx, fullTripleSlashReferenceTypeReferenceDirectiveRegEx, fullTripleSlashLibReferenceRegEx, fullTripleSlashAMDReferencePathRegEx, fullTripleSlashAMDModuleRegEx, defaultLibReferenceRegEx, AssignmentKind, FunctionFlags, Associativity, OperatorPrecedence, templateSubstitutionRegExp, doubleQuoteEscapedCharsRegExp, singleQuoteEscapedCharsRegExp, backtickQuoteEscapedCharsRegExp, escapedCharsMap, nonAsciiCharacters, jsxDoubleQuoteEscapedCharsRegExp, jsxSingleQuoteEscapedCharsRegExp, jsxEscapedCharsMap, indentStrings, base64Digits, carriageReturnLineFeed, lineFeed, objectAllocator, objectAllocatorPatchers, localizedDiagnosticMessages, reservedCharacterPattern, wildcardCharCodes, commonPackageFolders, implicitExcludePathRegexPattern, filesMatcher, directoriesMatcher, excludeMatcher, wildcardMatchers, supportedTSExtensions, supportedTSExtensionsFlat, supportedTSExtensionsWithJson, supportedTSExtensionsForExtractExtension, supportedJSExtensions, supportedJSExtensionsFlat, allSupportedExtensions, allSupportedExtensionsWithJson, supportedDeclarationExtensions, supportedTSImplementationExtensions, extensionsNotSupportingExtensionlessResolution, ModuleSpecifierEnding, extensionsToRemove, emptyFileSystemEntries;
   var init_utilities = __esm({
     "src/compiler/utilities.ts"() {
@@ -41498,6 +41515,9 @@ ${lanes.join("\n")}
           const containingClassSymbol = containingClass.symbol;
           return getSymbolNameForPrivateIdentifier(containingClassSymbol, name.escapedText);
         }
+        if (isJsxNamespacedName(name)) {
+          return getEscapedTextOfJsxAttributeName(name);
+        }
         return isPropertyNameLiteral(name) ? getEscapedTextOfIdentifierOrLiteral(name) : void 0;
       }
       switch (node.kind) {
@@ -59587,16 +59607,18 @@ ${lanes.join("\n")}
       while (true) {
         if (tailCount === 1e3) {
           error(currentNode, Diagnostics.Type_instantiation_is_excessively_deep_and_possibly_infinite);
-          result = errorType;
-          break;
+          return errorType;
         }
-        const checkTuples = isSimpleTupleType(root.node.checkType) && isSimpleTupleType(root.node.extendsType) && length(root.node.checkType.elements) === length(root.node.extendsType.elements);
         const checkType = instantiateType(getActualTypeVariable(root.checkType), mapper);
-        const checkTypeDeferred = isDeferredType(checkType, checkTuples);
         const extendsType = instantiateType(root.extendsType, mapper);
+        if (checkType === errorType || extendsType === errorType) {
+          return errorType;
+        }
         if (checkType === wildcardType || extendsType === wildcardType) {
           return wildcardType;
         }
+        const checkTuples = isSimpleTupleType(root.node.checkType) && isSimpleTupleType(root.node.extendsType) && length(root.node.checkType.elements) === length(root.node.extendsType.elements);
+        const checkTypeDeferred = isDeferredType(checkType, checkTuples);
         let combinedMapper;
         if (root.inferTypeParameters) {
           const freshParams = sameMap(root.inferTypeParameters, maybeCloneTypeParameter);
@@ -67513,7 +67535,7 @@ ${lanes.join("\n")}
       }
       function isTypePresencePossible(type, propName, assumeTrue) {
         const prop = getPropertyOfType(type, propName);
-        return prop ? !!(prop.flags & 16777216 /* Optional */) || assumeTrue : !!getApplicableIndexInfoForName(type, propName) || !assumeTrue;
+        return prop ? !!(prop.flags & 16777216 /* Optional */ || getCheckFlags(prop) & 48 /* Partial */) || assumeTrue : !!getApplicableIndexInfoForName(type, propName) || !assumeTrue;
       }
       function narrowTypeByInKeyword(type, nameType, assumeTrue) {
         const name = getPropertyNameFromType(nameType);
@@ -69630,7 +69652,7 @@ ${lanes.join("\n")}
       return isTypeAny(instanceType) ? instanceType : getTypeOfPropertyOfType(instanceType, forcedLookupLocation);
     }
     function getStaticTypeOfReferencedJsxConstructor(context) {
-      if (isJsxIntrinsicIdentifier(context.tagName)) {
+      if (isJsxIntrinsicTagName(context.tagName)) {
         const result = getIntrinsicAttributesTypeFromJsxOpeningLikeElement(context);
         const fakeSignature = createSignatureForJSXIntrinsic(context, result);
         return getOrCreateTypeFromSignature(fakeSignature);
@@ -70231,7 +70253,7 @@ ${lanes.join("\n")}
     }
     function checkJsxElementDeferred(node) {
       checkJsxOpeningLikeElementOrOpeningFragment(node.openingElement);
-      if (isJsxIntrinsicIdentifier(node.closingElement.tagName)) {
+      if (isJsxIntrinsicTagName(node.closingElement.tagName)) {
         getIntrinsicTagSymbol(node.closingElement);
       } else {
         checkExpression(node.closingElement.tagName);
@@ -70254,8 +70276,8 @@ ${lanes.join("\n")}
     function isHyphenatedJsxName(name) {
       return stringContains(name, "-");
     }
-    function isJsxIntrinsicIdentifier(tagName) {
-      return tagName.kind === 80 /* Identifier */ && isIntrinsicJsxName(tagName.escapedText);
+    function isJsxIntrinsicTagName(tagName) {
+      return isIdentifier(tagName) && isIntrinsicJsxName(tagName.escapedText) || isJsxNamespacedName(tagName);
     }
     function checkJsxAttribute(node, checkMode) {
       return node.initializer ? checkExpressionForMutableLocation(node.initializer, checkMode) : trueType;
@@ -70440,9 +70462,9 @@ ${lanes.join("\n")}
       if (!links.resolvedSymbol) {
         const intrinsicElementsType = getJsxType(JsxNames.IntrinsicElements, node);
         if (!isErrorType(intrinsicElementsType)) {
-          if (!isIdentifier(node.tagName))
+          if (!isIdentifier(node.tagName) && !isJsxNamespacedName(node.tagName))
             return Debug.fail();
-          const intrinsicProp = getPropertyOfType(intrinsicElementsType, node.tagName.escapedText);
+          const intrinsicProp = getPropertyOfType(intrinsicElementsType, isJsxNamespacedName(node.tagName) ? getEscapedTextOfJsxNamespacedName(node.tagName) : node.tagName.escapedText);
           if (intrinsicProp) {
             links.jsxFlags |= 1 /* IntrinsicNamedElement */;
             return links.resolvedSymbol = intrinsicProp;
@@ -70452,7 +70474,7 @@ ${lanes.join("\n")}
             links.jsxFlags |= 2 /* IntrinsicIndexedElement */;
             return links.resolvedSymbol = intrinsicElementsType.symbol;
           }
-          error(node, Diagnostics.Property_0_does_not_exist_on_type_1, idText(node.tagName), "JSX." + JsxNames.IntrinsicElements);
+          error(node, Diagnostics.Property_0_does_not_exist_on_type_1, intrinsicTagNameToString(node.tagName), "JSX." + JsxNames.IntrinsicElements);
           return links.resolvedSymbol = unknownSymbol;
         } else {
           if (noImplicitAny) {
@@ -70623,7 +70645,7 @@ ${lanes.join("\n")}
       }
     }
     function getIntrinsicAttributesTypeFromJsxOpeningLikeElement(node) {
-      Debug.assert(isJsxIntrinsicIdentifier(node.tagName));
+      Debug.assert(isJsxIntrinsicTagName(node.tagName));
       const links = getNodeLinks(node);
       if (!links.resolvedJsxElementAttributesType) {
         const symbol = getIntrinsicTagSymbol(node);
@@ -70723,7 +70745,7 @@ ${lanes.join("\n")}
         const elementTypeConstraint = getJsxElementTypeTypeAt(jsxOpeningLikeNode);
         if (elementTypeConstraint !== void 0) {
           const tagName = jsxOpeningLikeNode.tagName;
-          const tagType = isJsxIntrinsicIdentifier(tagName) ? getStringLiteralType(unescapeLeadingUnderscores(tagName.escapedText)) : checkExpression(tagName);
+          const tagType = isJsxIntrinsicTagName(tagName) ? getStringLiteralType(intrinsicTagNameToString(tagName)) : checkExpression(tagName);
           checkTypeRelatedTo(tagType, elementTypeConstraint, assignableRelation, tagName, Diagnostics.Its_type_0_is_not_a_valid_JSX_element_type, () => {
             const componentName = getTextOfNode(tagName);
             return chainDiagnosticMessages(
@@ -71983,7 +72005,7 @@ ${lanes.join("\n")}
       return typeArgumentTypes;
     }
     function getJsxReferenceKind(node) {
-      if (isJsxIntrinsicIdentifier(node.tagName)) {
+      if (isJsxIntrinsicTagName(node.tagName)) {
         return 2 /* Mixed */;
       }
       const tagType = getApparentType(checkExpression(node.tagName));
@@ -72020,7 +72042,7 @@ ${lanes.join("\n")}
         if (getJsxNamespaceContainerForImplicitImport(node)) {
           return true;
         }
-        const tagType = isJsxOpeningElement(node) || isJsxSelfClosingElement(node) && !isJsxIntrinsicIdentifier(node.tagName) ? checkExpression(node.tagName) : void 0;
+        const tagType = isJsxOpeningElement(node) || isJsxSelfClosingElement(node) && !isJsxIntrinsicTagName(node.tagName) ? checkExpression(node.tagName) : void 0;
         if (!tagType) {
           return true;
         }
@@ -73270,7 +73292,7 @@ ${lanes.join("\n")}
       );
     }
     function resolveJsxOpeningLikeElement(node, candidatesOutArray, checkMode) {
-      if (isJsxIntrinsicIdentifier(node.tagName)) {
+      if (isJsxIntrinsicTagName(node.tagName)) {
         const result = getIntrinsicAttributesTypeFromJsxOpeningLikeElement(node);
         const fakeSignature = createSignatureForJSXIntrinsic(node, result);
         checkTypeAssignableToAndOptionallyElaborate(checkExpressionWithContextualType(
@@ -73885,7 +73907,8 @@ ${lanes.join("\n")}
       if (isErrorType(targetType)) {
         return targetType;
       }
-      checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, target, expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
+      const errorNode = findAncestor(target.parent, (n) => n.kind === 237 /* SatisfiesExpression */ || n.kind === 356 /* JSDocSatisfiesTag */);
+      checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, errorNode, expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
       return exprType;
     }
     function checkMetaProperty(node) {
@@ -82591,7 +82614,7 @@ ${lanes.join("\n")}
         const isJSDoc2 = findAncestor(name, or(isJSDocLinkLike, isJSDocNameReference, isJSDocMemberName));
         const meaning = isJSDoc2 ? 788968 /* Type */ | 1920 /* Namespace */ | 111551 /* Value */ : 111551 /* Value */;
         if (name.kind === 80 /* Identifier */) {
-          if (isJSXTagName(name) && isJsxIntrinsicIdentifier(name)) {
+          if (isJSXTagName(name) && isJsxIntrinsicTagName(name)) {
             const symbol = getIntrinsicTagSymbol(name.parent);
             return symbol === unknownSymbol ? void 0 : symbol;
           }
@@ -82821,6 +82844,11 @@ ${lanes.join("\n")}
           return isMetaProperty(node.parent) ? checkMetaPropertyKeyword(node.parent).symbol : void 0;
         case 235 /* MetaProperty */:
           return checkExpression(node).symbol;
+        case 294 /* JsxNamespacedName */:
+          if (isJSXTagName(node) && isJsxIntrinsicTagName(node)) {
+            const symbol = getIntrinsicTagSymbol(node.parent);
+            return symbol === unknownSymbol ? void 0 : symbol;
+          }
         default:
           return void 0;
       }
@@ -134123,6 +134151,9 @@ ${lanes.join("\n")}
       if (isImportMeta(node.parent) && node.parent.name === node) {
         return node.parent;
       }
+      if (isJsxNamespacedName(node.parent)) {
+        return node.parent;
+      }
       return node;
     }
     function shouldGetType(sourceFile, node, position) {
@@ -180550,6 +180581,7 @@ ${e.message}`;
     getErrorSummaryText: () => getErrorSummaryText,
     getEscapedTextOfIdentifierOrLiteral: () => getEscapedTextOfIdentifierOrLiteral,
     getEscapedTextOfJsxAttributeName: () => getEscapedTextOfJsxAttributeName,
+    getEscapedTextOfJsxNamespacedName: () => getEscapedTextOfJsxNamespacedName,
     getExpandoInitializer: () => getExpandoInitializer,
     getExportAssignmentExpression: () => getExportAssignmentExpression,
     getExportInfoMap: () => getExportInfoMap,
@@ -180842,6 +180874,7 @@ ${e.message}`;
     getTextOfIdentifierOrLiteral: () => getTextOfIdentifierOrLiteral,
     getTextOfJSDocComment: () => getTextOfJSDocComment,
     getTextOfJsxAttributeName: () => getTextOfJsxAttributeName,
+    getTextOfJsxNamespacedName: () => getTextOfJsxNamespacedName,
     getTextOfNode: () => getTextOfNode,
     getTextOfNodeFromSourceText: () => getTextOfNodeFromSourceText,
     getTextOfPropertyName: () => getTextOfPropertyName,
@@ -180941,6 +180974,7 @@ ${e.message}`;
     insertStatementsAfterCustomPrologue: () => insertStatementsAfterCustomPrologue,
     insertStatementsAfterStandardPrologue: () => insertStatementsAfterStandardPrologue,
     intersperse: () => intersperse,
+    intrinsicTagNameToString: () => intrinsicTagNameToString,
     introducesArgumentsExoticObject: () => introducesArgumentsExoticObject,
     inverseJsxOptionMap: () => inverseJsxOptionMap,
     isAbstractConstructorSymbol: () => isAbstractConstructorSymbol,
@@ -182922,6 +182956,7 @@ ${e.message}`;
     getErrorSummaryText: () => getErrorSummaryText,
     getEscapedTextOfIdentifierOrLiteral: () => getEscapedTextOfIdentifierOrLiteral,
     getEscapedTextOfJsxAttributeName: () => getEscapedTextOfJsxAttributeName,
+    getEscapedTextOfJsxNamespacedName: () => getEscapedTextOfJsxNamespacedName,
     getExpandoInitializer: () => getExpandoInitializer,
     getExportAssignmentExpression: () => getExportAssignmentExpression,
     getExportInfoMap: () => getExportInfoMap,
@@ -183214,6 +183249,7 @@ ${e.message}`;
     getTextOfIdentifierOrLiteral: () => getTextOfIdentifierOrLiteral,
     getTextOfJSDocComment: () => getTextOfJSDocComment,
     getTextOfJsxAttributeName: () => getTextOfJsxAttributeName,
+    getTextOfJsxNamespacedName: () => getTextOfJsxNamespacedName,
     getTextOfNode: () => getTextOfNode,
     getTextOfNodeFromSourceText: () => getTextOfNodeFromSourceText,
     getTextOfPropertyName: () => getTextOfPropertyName,
@@ -183313,6 +183349,7 @@ ${e.message}`;
     insertStatementsAfterCustomPrologue: () => insertStatementsAfterCustomPrologue,
     insertStatementsAfterStandardPrologue: () => insertStatementsAfterStandardPrologue,
     intersperse: () => intersperse,
+    intrinsicTagNameToString: () => intrinsicTagNameToString,
     introducesArgumentsExoticObject: () => introducesArgumentsExoticObject,
     inverseJsxOptionMap: () => inverseJsxOptionMap,
     isAbstractConstructorSymbol: () => isAbstractConstructorSymbol,

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.1";
-      version = `${versionMajorMinor}.0-dev.20230416`;
+      version = `${versionMajorMinor}.0-dev.20230417`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -14085,6 +14085,14 @@ ${lanes.join("\n")}
         const pos2 = skipTrivia(sourceFile.text, node.pos);
         return getSpanOfTokenAtPosition(sourceFile, pos2);
       }
+      case 237 /* SatisfiesExpression */: {
+        const pos2 = skipTrivia(sourceFile.text, node.expression.end);
+        return getSpanOfTokenAtPosition(sourceFile, pos2);
+      }
+      case 356 /* JSDocSatisfiesTag */: {
+        const pos2 = skipTrivia(sourceFile.text, node.tagName.pos);
+        return getSpanOfTokenAtPosition(sourceFile, pos2);
+      }
     }
     if (errorNode === void 0) {
       return getSpanOfTokenAtPosition(sourceFile, node.pos);
@@ -16291,7 +16299,7 @@ ${lanes.join("\n")}
   }
   function isIntrinsicJsxName(name) {
     const ch = name.charCodeAt(0);
-    return ch >= 97 /* a */ && ch <= 122 /* z */ || stringContains(name, "-") || stringContains(name, ":");
+    return ch >= 97 /* a */ && ch <= 122 /* z */ || stringContains(name, "-");
   }
   function getIndentString(level) {
     const singleLevel = indentStrings[1];
@@ -19103,15 +19111,24 @@ ${lanes.join("\n")}
     return tag && tag.typeExpression && tag.typeExpression.type;
   }
   function getEscapedTextOfJsxAttributeName(node) {
-    return isIdentifier(node) ? node.escapedText : `${node.namespace.escapedText}:${idText(node.name)}`;
+    return isIdentifier(node) ? node.escapedText : getEscapedTextOfJsxNamespacedName(node);
   }
   function getTextOfJsxAttributeName(node) {
-    return isIdentifier(node) ? idText(node) : `${idText(node.namespace)}:${idText(node.name)}`;
+    return isIdentifier(node) ? idText(node) : getTextOfJsxNamespacedName(node);
   }
   function isJsxAttributeName(node) {
     const kind = node.kind;
     return kind === 80 /* Identifier */ || kind === 294 /* JsxNamespacedName */;
   }
+  function getEscapedTextOfJsxNamespacedName(node) {
+    return `${node.namespace.escapedText}:${idText(node.name)}`;
+  }
+  function getTextOfJsxNamespacedName(node) {
+    return `${idText(node.namespace)}:${idText(node.name)}`;
+  }
+  function intrinsicTagNameToString(node) {
+    return isIdentifier(node) ? idText(node) : getTextOfJsxNamespacedName(node);
+  }
   var resolvingEmptyArray, externalHelpersModuleNameText, defaultMaximumTruncationLength, noTruncationMaximumTruncationLength, stringWriter, GetLiteralTextFlags, fullTripleSlashReferencePathRegEx, fullTripleSlashReferenceTypeReferenceDirectiveRegEx, fullTripleSlashLibReferenceRegEx, fullTripleSlashAMDReferencePathRegEx, fullTripleSlashAMDModuleRegEx, defaultLibReferenceRegEx, AssignmentKind, FunctionFlags, Associativity, OperatorPrecedence, templateSubstitutionRegExp, doubleQuoteEscapedCharsRegExp, singleQuoteEscapedCharsRegExp, backtickQuoteEscapedCharsRegExp, escapedCharsMap, nonAsciiCharacters, jsxDoubleQuoteEscapedCharsRegExp, jsxSingleQuoteEscapedCharsRegExp, jsxEscapedCharsMap, indentStrings, base64Digits, carriageReturnLineFeed, lineFeed, objectAllocator, objectAllocatorPatchers, localizedDiagnosticMessages, reservedCharacterPattern, wildcardCharCodes, commonPackageFolders, implicitExcludePathRegexPattern, filesMatcher, directoriesMatcher, excludeMatcher, wildcardMatchers, supportedTSExtensions, supportedTSExtensionsFlat, supportedTSExtensionsWithJson, supportedTSExtensionsForExtractExtension, supportedJSExtensions, supportedJSExtensionsFlat, allSupportedExtensions, allSupportedExtensionsWithJson, supportedDeclarationExtensions, supportedTSImplementationExtensions, extensionsNotSupportingExtensionlessResolution, ModuleSpecifierEnding, extensionsToRemove, emptyFileSystemEntries;
   var init_utilities = __esm({
     "src/compiler/utilities.ts"() {
@@ -41498,6 +41515,9 @@ ${lanes.join("\n")}
           const containingClassSymbol = containingClass.symbol;
           return getSymbolNameForPrivateIdentifier(containingClassSymbol, name.escapedText);
         }
+        if (isJsxNamespacedName(name)) {
+          return getEscapedTextOfJsxAttributeName(name);
+        }
         return isPropertyNameLiteral(name) ? getEscapedTextOfIdentifierOrLiteral(name) : void 0;
       }
       switch (node.kind) {
@@ -59587,16 +59607,18 @@ ${lanes.join("\n")}
       while (true) {
         if (tailCount === 1e3) {
           error(currentNode, Diagnostics.Type_instantiation_is_excessively_deep_and_possibly_infinite);
-          result = errorType;
-          break;
+          return errorType;
         }
-        const checkTuples = isSimpleTupleType(root.node.checkType) && isSimpleTupleType(root.node.extendsType) && length(root.node.checkType.elements) === length(root.node.extendsType.elements);
         const checkType = instantiateType(getActualTypeVariable(root.checkType), mapper);
-        const checkTypeDeferred = isDeferredType(checkType, checkTuples);
         const extendsType = instantiateType(root.extendsType, mapper);
+        if (checkType === errorType || extendsType === errorType) {
+          return errorType;
+        }
         if (checkType === wildcardType || extendsType === wildcardType) {
           return wildcardType;
         }
+        const checkTuples = isSimpleTupleType(root.node.checkType) && isSimpleTupleType(root.node.extendsType) && length(root.node.checkType.elements) === length(root.node.extendsType.elements);
+        const checkTypeDeferred = isDeferredType(checkType, checkTuples);
         let combinedMapper;
         if (root.inferTypeParameters) {
           const freshParams = sameMap(root.inferTypeParameters, maybeCloneTypeParameter);
@@ -67513,7 +67535,7 @@ ${lanes.join("\n")}
       }
       function isTypePresencePossible(type, propName, assumeTrue) {
         const prop = getPropertyOfType(type, propName);
-        return prop ? !!(prop.flags & 16777216 /* Optional */) || assumeTrue : !!getApplicableIndexInfoForName(type, propName) || !assumeTrue;
+        return prop ? !!(prop.flags & 16777216 /* Optional */ || getCheckFlags(prop) & 48 /* Partial */) || assumeTrue : !!getApplicableIndexInfoForName(type, propName) || !assumeTrue;
       }
       function narrowTypeByInKeyword(type, nameType, assumeTrue) {
         const name = getPropertyNameFromType(nameType);
@@ -69630,7 +69652,7 @@ ${lanes.join("\n")}
       return isTypeAny(instanceType) ? instanceType : getTypeOfPropertyOfType(instanceType, forcedLookupLocation);
     }
     function getStaticTypeOfReferencedJsxConstructor(context) {
-      if (isJsxIntrinsicIdentifier(context.tagName)) {
+      if (isJsxIntrinsicTagName(context.tagName)) {
         const result = getIntrinsicAttributesTypeFromJsxOpeningLikeElement(context);
         const fakeSignature = createSignatureForJSXIntrinsic(context, result);
         return getOrCreateTypeFromSignature(fakeSignature);
@@ -70231,7 +70253,7 @@ ${lanes.join("\n")}
     }
     function checkJsxElementDeferred(node) {
       checkJsxOpeningLikeElementOrOpeningFragment(node.openingElement);
-      if (isJsxIntrinsicIdentifier(node.closingElement.tagName)) {
+      if (isJsxIntrinsicTagName(node.closingElement.tagName)) {
         getIntrinsicTagSymbol(node.closingElement);
       } else {
         checkExpression(node.closingElement.tagName);
@@ -70254,8 +70276,8 @@ ${lanes.join("\n")}
     function isHyphenatedJsxName(name) {
       return stringContains(name, "-");
     }
-    function isJsxIntrinsicIdentifier(tagName) {
-      return tagName.kind === 80 /* Identifier */ && isIntrinsicJsxName(tagName.escapedText);
+    function isJsxIntrinsicTagName(tagName) {
+      return isIdentifier(tagName) && isIntrinsicJsxName(tagName.escapedText) || isJsxNamespacedName(tagName);
     }
     function checkJsxAttribute(node, checkMode) {
       return node.initializer ? checkExpressionForMutableLocation(node.initializer, checkMode) : trueType;
@@ -70440,9 +70462,9 @@ ${lanes.join("\n")}
       if (!links.resolvedSymbol) {
         const intrinsicElementsType = getJsxType(JsxNames.IntrinsicElements, node);
         if (!isErrorType(intrinsicElementsType)) {
-          if (!isIdentifier(node.tagName))
+          if (!isIdentifier(node.tagName) && !isJsxNamespacedName(node.tagName))
             return Debug.fail();
-          const intrinsicProp = getPropertyOfType(intrinsicElementsType, node.tagName.escapedText);
+          const intrinsicProp = getPropertyOfType(intrinsicElementsType, isJsxNamespacedName(node.tagName) ? getEscapedTextOfJsxNamespacedName(node.tagName) : node.tagName.escapedText);
           if (intrinsicProp) {
             links.jsxFlags |= 1 /* IntrinsicNamedElement */;
             return links.resolvedSymbol = intrinsicProp;
@@ -70452,7 +70474,7 @@ ${lanes.join("\n")}
             links.jsxFlags |= 2 /* IntrinsicIndexedElement */;
             return links.resolvedSymbol = intrinsicElementsType.symbol;
           }
-          error(node, Diagnostics.Property_0_does_not_exist_on_type_1, idText(node.tagName), "JSX." + JsxNames.IntrinsicElements);
+          error(node, Diagnostics.Property_0_does_not_exist_on_type_1, intrinsicTagNameToString(node.tagName), "JSX." + JsxNames.IntrinsicElements);
           return links.resolvedSymbol = unknownSymbol;
         } else {
           if (noImplicitAny) {
@@ -70623,7 +70645,7 @@ ${lanes.join("\n")}
       }
     }
     function getIntrinsicAttributesTypeFromJsxOpeningLikeElement(node) {
-      Debug.assert(isJsxIntrinsicIdentifier(node.tagName));
+      Debug.assert(isJsxIntrinsicTagName(node.tagName));
       const links = getNodeLinks(node);
       if (!links.resolvedJsxElementAttributesType) {
         const symbol = getIntrinsicTagSymbol(node);
@@ -70723,7 +70745,7 @@ ${lanes.join("\n")}
         const elementTypeConstraint = getJsxElementTypeTypeAt(jsxOpeningLikeNode);
         if (elementTypeConstraint !== void 0) {
           const tagName = jsxOpeningLikeNode.tagName;
-          const tagType = isJsxIntrinsicIdentifier(tagName) ? getStringLiteralType(unescapeLeadingUnderscores(tagName.escapedText)) : checkExpression(tagName);
+          const tagType = isJsxIntrinsicTagName(tagName) ? getStringLiteralType(intrinsicTagNameToString(tagName)) : checkExpression(tagName);
           checkTypeRelatedTo(tagType, elementTypeConstraint, assignableRelation, tagName, Diagnostics.Its_type_0_is_not_a_valid_JSX_element_type, () => {
             const componentName = getTextOfNode(tagName);
             return chainDiagnosticMessages(
@@ -71983,7 +72005,7 @@ ${lanes.join("\n")}
       return typeArgumentTypes;
     }
     function getJsxReferenceKind(node) {
-      if (isJsxIntrinsicIdentifier(node.tagName)) {
+      if (isJsxIntrinsicTagName(node.tagName)) {
         return 2 /* Mixed */;
       }
       const tagType = getApparentType(checkExpression(node.tagName));
@@ -72020,7 +72042,7 @@ ${lanes.join("\n")}
         if (getJsxNamespaceContainerForImplicitImport(node)) {
           return true;
         }
-        const tagType = isJsxOpeningElement(node) || isJsxSelfClosingElement(node) && !isJsxIntrinsicIdentifier(node.tagName) ? checkExpression(node.tagName) : void 0;
+        const tagType = isJsxOpeningElement(node) || isJsxSelfClosingElement(node) && !isJsxIntrinsicTagName(node.tagName) ? checkExpression(node.tagName) : void 0;
         if (!tagType) {
           return true;
         }
@@ -73270,7 +73292,7 @@ ${lanes.join("\n")}
       );
     }
     function resolveJsxOpeningLikeElement(node, candidatesOutArray, checkMode) {
-      if (isJsxIntrinsicIdentifier(node.tagName)) {
+      if (isJsxIntrinsicTagName(node.tagName)) {
         const result = getIntrinsicAttributesTypeFromJsxOpeningLikeElement(node);
         const fakeSignature = createSignatureForJSXIntrinsic(node, result);
         checkTypeAssignableToAndOptionallyElaborate(checkExpressionWithContextualType(
@@ -73885,7 +73907,8 @@ ${lanes.join("\n")}
       if (isErrorType(targetType)) {
         return targetType;
       }
-      checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, target, expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
+      const errorNode = findAncestor(target.parent, (n) => n.kind === 237 /* SatisfiesExpression */ || n.kind === 356 /* JSDocSatisfiesTag */);
+      checkTypeAssignableToAndOptionallyElaborate(exprType, targetType, errorNode, expression, Diagnostics.Type_0_does_not_satisfy_the_expected_type_1);
       return exprType;
     }
     function checkMetaProperty(node) {
@@ -82591,7 +82614,7 @@ ${lanes.join("\n")}
         const isJSDoc2 = findAncestor(name, or(isJSDocLinkLike, isJSDocNameReference, isJSDocMemberName));
         const meaning = isJSDoc2 ? 788968 /* Type */ | 1920 /* Namespace */ | 111551 /* Value */ : 111551 /* Value */;
         if (name.kind === 80 /* Identifier */) {
-          if (isJSXTagName(name) && isJsxIntrinsicIdentifier(name)) {
+          if (isJSXTagName(name) && isJsxIntrinsicTagName(name)) {
             const symbol = getIntrinsicTagSymbol(name.parent);
             return symbol === unknownSymbol ? void 0 : symbol;
           }
@@ -82821,6 +82844,11 @@ ${lanes.join("\n")}
           return isMetaProperty(node.parent) ? checkMetaPropertyKeyword(node.parent).symbol : void 0;
         case 235 /* MetaProperty */:
           return checkExpression(node).symbol;
+        case 294 /* JsxNamespacedName */:
+          if (isJSXTagName(node) && isJsxIntrinsicTagName(node)) {
+            const symbol = getIntrinsicTagSymbol(node.parent);
+            return symbol === unknownSymbol ? void 0 : symbol;
+          }
         default:
           return void 0;
       }
@@ -134137,6 +134165,9 @@ ${lanes.join("\n")}
       if (isImportMeta(node.parent) && node.parent.name === node) {
         return node.parent;
       }
+      if (isJsxNamespacedName(node.parent)) {
+        return node.parent;
+      }
       return node;
     }
     function shouldGetType(sourceFile, node, position) {
@@ -169225,6 +169256,7 @@ ${options.prefix}` : "\n" : options.prefix
     getErrorSummaryText: () => getErrorSummaryText,
     getEscapedTextOfIdentifierOrLiteral: () => getEscapedTextOfIdentifierOrLiteral,
     getEscapedTextOfJsxAttributeName: () => getEscapedTextOfJsxAttributeName,
+    getEscapedTextOfJsxNamespacedName: () => getEscapedTextOfJsxNamespacedName,
     getExpandoInitializer: () => getExpandoInitializer,
     getExportAssignmentExpression: () => getExportAssignmentExpression,
     getExportInfoMap: () => getExportInfoMap,
@@ -169517,6 +169549,7 @@ ${options.prefix}` : "\n" : options.prefix
     getTextOfIdentifierOrLiteral: () => getTextOfIdentifierOrLiteral,
     getTextOfJSDocComment: () => getTextOfJSDocComment,
     getTextOfJsxAttributeName: () => getTextOfJsxAttributeName,
+    getTextOfJsxNamespacedName: () => getTextOfJsxNamespacedName,
     getTextOfNode: () => getTextOfNode,
     getTextOfNodeFromSourceText: () => getTextOfNodeFromSourceText,
     getTextOfPropertyName: () => getTextOfPropertyName,
@@ -169616,6 +169649,7 @@ ${options.prefix}` : "\n" : options.prefix
     insertStatementsAfterCustomPrologue: () => insertStatementsAfterCustomPrologue,
     insertStatementsAfterStandardPrologue: () => insertStatementsAfterStandardPrologue,
     intersperse: () => intersperse,
+    intrinsicTagNameToString: () => intrinsicTagNameToString,
     introducesArgumentsExoticObject: () => introducesArgumentsExoticObject,
     inverseJsxOptionMap: () => inverseJsxOptionMap,
     isAbstractConstructorSymbol: () => isAbstractConstructorSymbol,

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-dev.20230416`;
+var version = `${versionMajorMinor}.0-dev.20230417`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -10201,6 +10201,14 @@ function getErrorSpanForNode(sourceFile, node) {
       const pos2 = skipTrivia(sourceFile.text, node.pos);
       return getSpanOfTokenAtPosition(sourceFile, pos2);
     }
+    case 237 /* SatisfiesExpression */: {
+      const pos2 = skipTrivia(sourceFile.text, node.expression.end);
+      return getSpanOfTokenAtPosition(sourceFile, pos2);
+    }
+    case 356 /* JSDocSatisfiesTag */: {
+      const pos2 = skipTrivia(sourceFile.text, node.tagName.pos);
+      return getSpanOfTokenAtPosition(sourceFile, pos2);
+    }
   }
   if (errorNode === void 0) {
     return getSpanOfTokenAtPosition(sourceFile, node.pos);

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.1.0-dev.20230416",
+    "version": "5.1.0-dev.20230417",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -113,5 +113,5 @@
         "node": "14.21.1",
         "npm": "8.19.3"
     },
-    "gitHead": "bdcf8abb0c280cd0e41a2bc1f9c5f806b05ae424"
+    "gitHead": "430c5be783928c71e1b16ef267fad26d2998d7ab"
 }