@typescript-deploys/pr-build 5.1.0-pr-53739-12 → 5.1.0-pr-51328-34

package/lib/tsc.js

@@ -7741,7 +7741,8 @@ var Diagnostics = {
   _0_is_possibly_null_or_undefined: diag(18049, 1 /* Error */, "_0_is_possibly_null_or_undefined_18049", "'{0}' is possibly 'null' or 'undefined'."),
   The_value_0_cannot_be_used_here: diag(18050, 1 /* Error */, "The_value_0_cannot_be_used_here_18050", "The value '{0}' cannot be used here."),
   Compiler_option_0_cannot_be_given_an_empty_string: diag(18051, 1 /* Error */, "Compiler_option_0_cannot_be_given_an_empty_string_18051", "Compiler option '{0}' cannot be given an empty string."),
-  Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'")
+  Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'"),
+  Its_type_0_is_not_a_valid_JSX_element_type: diag(18053, 1 /* Error */, "Its_type_0_is_not_a_valid_JSX_element_type_18053", "Its type '{0}' is not a valid JSX element type.")
 };
 
 // src/compiler/scanner.ts
@@ -42568,7 +42569,6 @@ function isInstantiatedModule(node, preserveConstEnums) {
   const moduleState = getModuleInstanceState(node);
   return moduleState === 1 /* Instantiated */ || preserveConstEnums && moduleState === 2 /* ConstEnumOnly */;
 }
-var UNION_CROSS_PRODUCT_SIZE_LIMIT = 1e5;
 function createTypeChecker(host) {
   var getPackagesMap = memoize(() => {
     var map2 = /* @__PURE__ */ new Map();
@@ -51741,12 +51741,7 @@ function createTypeChecker(host) {
     if (!links.type) {
       Debug.assertIsDefined(links.deferralParent);
       Debug.assertIsDefined(links.deferralConstituents);
-      const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
-      let result = operation(links.deferralConstituents);
-      for (const part of links.deferredMismatchedParts || emptyArray) {
-        result = operation([result, getTypeOfSymbol(part)]);
-      }
-      links.type = result;
+      links.type = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralConstituents) : getIntersectionType(links.deferralConstituents);
     }
     return links.type;
   }
@@ -51754,12 +51749,8 @@ function createTypeChecker(host) {
     const links = getSymbolLinks(symbol);
     if (!links.writeType && links.deferralWriteConstituents) {
       Debug.assertIsDefined(links.deferralParent);
-      const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
-      let result = operation(links.deferralWriteConstituents);
-      for (const part of links.deferredMismatchedParts || emptyArray) {
-        result = operation([result, getTypeOfSymbol(part)]);
-      }
-      links.writeType = result;
+      Debug.assertIsDefined(links.deferralConstituents);
+      links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
     }
     return links.writeType;
   }
@@ -53796,7 +53787,7 @@ function createTypeChecker(host) {
     return getReducedType(getApparentType(getReducedType(type)));
   }
   function createUnionOrIntersectionProperty(containingType, name, skipObjectFunctionPropertyAugment) {
-    var _a2, _b, _c, _d;
+    var _a2, _b, _c;
     let singleProp;
     let propSet;
     let indexTypes;
@@ -53878,9 +53869,8 @@ function createTypeChecker(host) {
     let declarations;
     let firstType;
     let nameType;
-    let propTypes = [];
+    const propTypes = [];
     let writeTypes;
-    let deferredMismatchedParts;
     let firstValueDeclaration;
     let hasNonUniformValueDeclaration = false;
     for (const prop of props) {
@@ -53890,24 +53880,6 @@ function createTypeChecker(host) {
         hasNonUniformValueDeclaration = true;
       }
       declarations = addRange(declarations, prop.declarations);
-      if (getCheckFlags(prop) & 65536 /* DeferredType */) {
-        checkFlags |= getCheckFlags(prop) & (131072 /* HasNeverType */ | 64 /* HasNonUniformType */ | 128 /* HasLiteralType */);
-        if (!nameType) {
-          nameType = getSymbolLinks(prop).nameType;
-        }
-        if ((((_d = getSymbolLinks(prop).deferralParent) == null ? void 0 : _d.flags) & 3145728 /* UnionOrIntersection */) === (containingType.flags & 3145728 /* UnionOrIntersection */)) {
-          const deferredWriteTypes = getSymbolLinks(prop).deferralWriteConstituents;
-          if (deferredWriteTypes) {
-            writeTypes = concatenate(!writeTypes ? propTypes.slice() : writeTypes, deferredWriteTypes);
-          }
-          propTypes = concatenate(propTypes, getSymbolLinks(prop).deferralConstituents);
-          deferredMismatchedParts = concatenate(deferredMismatchedParts, getSymbolLinks(prop).deferredMismatchedParts);
-          break;
-        } else {
-          deferredMismatchedParts = append(deferredMismatchedParts, prop);
-          break;
-        }
-      }
       const type = getTypeOfSymbol(prop);
       if (!firstType) {
         firstType = type;
@@ -53938,12 +53910,11 @@ function createTypeChecker(host) {
     }
     result.declarations = declarations;
     result.links.nameType = nameType;
-    if (propTypes.length > 2 || deferredMismatchedParts) {
+    if (propTypes.length > 2) {
       result.links.checkFlags |= 65536 /* DeferredType */;
       result.links.deferralParent = containingType;
       result.links.deferralConstituents = propTypes;
       result.links.deferralWriteConstituents = writeTypes;
-      result.links.deferredMismatchedParts = deferredMismatchedParts;
     } else {
       result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
       if (writeTypes) {
@@ -56300,7 +56271,7 @@ function createTypeChecker(host) {
   function getIntersectionType(types, aliasSymbol, aliasTypeArguments, noSupertypeReduction) {
     const typeMembershipMap = /* @__PURE__ */ new Map();
     const includes = addTypesToIntersection(typeMembershipMap, 0, types);
-    let typeSet = arrayFrom(typeMembershipMap.values());
+    const typeSet = arrayFrom(typeMembershipMap.values());
     if (includes & 131072 /* Never */) {
       return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
     }
@@ -56332,8 +56303,6 @@ function createTypeChecker(host) {
     const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
     let result = intersectionTypes.get(id);
     if (!result) {
-      const originalSet = typeSet;
-      let runningResult;
       if (includes & 1048576 /* Union */) {
         if (intersectUnionsOfPrimitiveTypes(typeSet)) {
           result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -56345,32 +56314,12 @@ function createTypeChecker(host) {
           removeFromEach(typeSet, 65536 /* Null */);
           result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
         } else {
-          if (getCrossProductUnionSize(typeSet) >= UNION_CROSS_PRODUCT_SIZE_LIMIT && every(typeSet, (t) => !!(t.flags & 1048576 /* Union */) || !!(t.flags & 402784252 /* Primitive */))) {
-            if (typeSet.length > 2 || some(typeSet, (t) => getReducedType(t) !== t)) {
-              runningResult = getReducedType(typeSet[0]);
-              for (let i = 1; i < typeSet.length; i++) {
-                const reducedElem = getReducedType(typeSet[i]);
-                runningResult = reducedElem.flags & 402784252 /* Primitive */ && everyType(runningResult, (t) => !!(t.flags & 524288 /* Object */)) ? neverType : getReducedType(intersectTypes(runningResult, reducedElem));
-                if (i === typeSet.length - 1 || isTypeAny(runningResult) || runningResult.flags & 131072 /* Never */) {
-                  return runningResult;
-                }
-                if (!(runningResult.flags & 1048576 /* Union */) || runningResult.types.length > typeSet.length) {
-                  typeSet = typeSet.slice(i + 1);
-                  break;
-                }
-              }
-            }
-          }
           if (!checkCrossProductUnion(typeSet)) {
             return errorType;
           }
           const constituents = getCrossProductIntersections(typeSet);
-          if (runningResult && runningResult !== typeSet[0]) {
-            result = getIntersectionType([runningResult, getUnionType(constituents, 1 /* Literal */)], aliasSymbol, aliasTypeArguments);
-          } else {
-            const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, originalSet) : void 0;
-            result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
-          }
+          const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, typeSet) : void 0;
+          result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
         }
       } else {
         result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -56385,7 +56334,7 @@ function createTypeChecker(host) {
   function checkCrossProductUnion(types) {
     var _a2;
     const size = getCrossProductUnionSize(types);
-    if (size >= UNION_CROSS_PRODUCT_SIZE_LIMIT) {
+    if (size >= 1e5) {
       (_a2 = tracing) == null ? void 0 : _a2.instant(tracing.Phase.CheckTypes, "checkCrossProductUnion_DepthLimit", { typeIds: types.map((t) => t.id), size });
       error(currentNode, Diagnostics.Expression_produces_a_union_type_that_is_too_complex_to_represent);
       return false;
@@ -68220,6 +68169,12 @@ function createTypeChecker(host) {
       return getUnionType([jsxElementType, nullType]);
     }
   }
+  function getJsxElementTypeTypeAt(location) {
+    const type = getJsxType(JsxNames.ElementType, location);
+    if (isErrorType(type))
+      return void 0;
+    return type;
+  }
   function getJsxIntrinsicTagNamesAt(location) {
     const intrinsics = getJsxType(JsxNames.IntrinsicElements, location);
     return intrinsics ? getPropertiesOfType(intrinsics) : emptyArray;
@@ -68282,7 +68237,24 @@ function createTypeChecker(host) {
       const jsxOpeningLikeNode = node;
       const sig = getResolvedSignature(jsxOpeningLikeNode);
       checkDeprecatedSignature(sig, node);
-      checkJsxReturnAssignableToAppropriateBound(getJsxReferenceKind(jsxOpeningLikeNode), getReturnTypeOfSignature(sig), jsxOpeningLikeNode);
+      const elementTypeConstraint = getJsxElementTypeTypeAt(jsxOpeningLikeNode);
+      if (elementTypeConstraint !== void 0) {
+        const tagType = isJsxIntrinsicIdentifier(jsxOpeningLikeNode.tagName) ? (
+          // TODO: Should this be a literal that library authors could potentially check against?
+          stringType
+        ) : getApparentType(checkExpression(jsxOpeningLikeNode.tagName));
+        checkTypeRelatedTo(tagType, elementTypeConstraint, assignableRelation, jsxOpeningLikeNode.tagName, Diagnostics.Its_type_0_is_not_a_valid_JSX_element_type, () => {
+          const componentName = getTextOfNode(jsxOpeningLikeNode.tagName);
+          return chainDiagnosticMessages(
+            /*details*/
+            void 0,
+            Diagnostics._0_cannot_be_used_as_a_JSX_component,
+            componentName
+          );
+        });
+      } else {
+        checkJsxReturnAssignableToAppropriateBound(getJsxReferenceKind(jsxOpeningLikeNode), getReturnTypeOfSignature(sig), jsxOpeningLikeNode);
+      }
     }
   }
   function isKnownProperty(targetType, name, isComparingJsxAttributes) {
@@ -83045,6 +83017,7 @@ var JsxNames;
   JsxNames2.ElementAttributesPropertyNameContainer = "ElementAttributesProperty";
   JsxNames2.ElementChildrenAttributeNameContainer = "ElementChildrenAttribute";
   JsxNames2.Element = "Element";
+  JsxNames2.ElementType = "ElementType";
   JsxNames2.IntrinsicAttributes = "IntrinsicAttributes";
   JsxNames2.IntrinsicClassAttributes = "IntrinsicClassAttributes";
   JsxNames2.LibraryManagedAttributes = "LibraryManagedAttributes";

package/lib/tsserver.js

@@ -11242,7 +11242,8 @@ var Diagnostics = {
   _0_is_possibly_null_or_undefined: diag(18049, 1 /* Error */, "_0_is_possibly_null_or_undefined_18049", "'{0}' is possibly 'null' or 'undefined'."),
   The_value_0_cannot_be_used_here: diag(18050, 1 /* Error */, "The_value_0_cannot_be_used_here_18050", "The value '{0}' cannot be used here."),
   Compiler_option_0_cannot_be_given_an_empty_string: diag(18051, 1 /* Error */, "Compiler_option_0_cannot_be_given_an_empty_string_18051", "Compiler option '{0}' cannot be given an empty string."),
-  Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'")
+  Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'"),
+  Its_type_0_is_not_a_valid_JSX_element_type: diag(18053, 1 /* Error */, "Its_type_0_is_not_a_valid_JSX_element_type_18053", "Its type '{0}' is not a valid JSX element type.")
 };
 
 // src/compiler/scanner.ts
@@ -47218,7 +47219,6 @@ function isInstantiatedModule(node, preserveConstEnums) {
   const moduleState = getModuleInstanceState(node);
   return moduleState === 1 /* Instantiated */ || preserveConstEnums && moduleState === 2 /* ConstEnumOnly */;
 }
-var UNION_CROSS_PRODUCT_SIZE_LIMIT = 1e5;
 function createTypeChecker(host) {
   var getPackagesMap = memoize(() => {
     var map2 = /* @__PURE__ */ new Map();
@@ -56391,12 +56391,7 @@ function createTypeChecker(host) {
     if (!links.type) {
       Debug.assertIsDefined(links.deferralParent);
       Debug.assertIsDefined(links.deferralConstituents);
-      const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
-      let result = operation(links.deferralConstituents);
-      for (const part of links.deferredMismatchedParts || emptyArray) {
-        result = operation([result, getTypeOfSymbol(part)]);
-      }
-      links.type = result;
+      links.type = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralConstituents) : getIntersectionType(links.deferralConstituents);
     }
     return links.type;
   }
@@ -56404,12 +56399,8 @@ function createTypeChecker(host) {
     const links = getSymbolLinks(symbol);
     if (!links.writeType && links.deferralWriteConstituents) {
       Debug.assertIsDefined(links.deferralParent);
-      const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
-      let result = operation(links.deferralWriteConstituents);
-      for (const part of links.deferredMismatchedParts || emptyArray) {
-        result = operation([result, getTypeOfSymbol(part)]);
-      }
-      links.writeType = result;
+      Debug.assertIsDefined(links.deferralConstituents);
+      links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
     }
     return links.writeType;
   }
@@ -58446,7 +58437,7 @@ function createTypeChecker(host) {
     return getReducedType(getApparentType(getReducedType(type)));
   }
   function createUnionOrIntersectionProperty(containingType, name, skipObjectFunctionPropertyAugment) {
-    var _a2, _b, _c, _d;
+    var _a2, _b, _c;
     let singleProp;
     let propSet;
     let indexTypes;
@@ -58528,9 +58519,8 @@ function createTypeChecker(host) {
     let declarations;
     let firstType;
     let nameType;
-    let propTypes = [];
+    const propTypes = [];
     let writeTypes;
-    let deferredMismatchedParts;
     let firstValueDeclaration;
     let hasNonUniformValueDeclaration = false;
     for (const prop of props) {
@@ -58540,24 +58530,6 @@ function createTypeChecker(host) {
         hasNonUniformValueDeclaration = true;
       }
       declarations = addRange(declarations, prop.declarations);
-      if (getCheckFlags(prop) & 65536 /* DeferredType */) {
-        checkFlags |= getCheckFlags(prop) & (131072 /* HasNeverType */ | 64 /* HasNonUniformType */ | 128 /* HasLiteralType */);
-        if (!nameType) {
-          nameType = getSymbolLinks(prop).nameType;
-        }
-        if ((((_d = getSymbolLinks(prop).deferralParent) == null ? void 0 : _d.flags) & 3145728 /* UnionOrIntersection */) === (containingType.flags & 3145728 /* UnionOrIntersection */)) {
-          const deferredWriteTypes = getSymbolLinks(prop).deferralWriteConstituents;
-          if (deferredWriteTypes) {
-            writeTypes = concatenate(!writeTypes ? propTypes.slice() : writeTypes, deferredWriteTypes);
-          }
-          propTypes = concatenate(propTypes, getSymbolLinks(prop).deferralConstituents);
-          deferredMismatchedParts = concatenate(deferredMismatchedParts, getSymbolLinks(prop).deferredMismatchedParts);
-          break;
-        } else {
-          deferredMismatchedParts = append(deferredMismatchedParts, prop);
-          break;
-        }
-      }
       const type = getTypeOfSymbol(prop);
       if (!firstType) {
         firstType = type;
@@ -58588,12 +58560,11 @@ function createTypeChecker(host) {
     }
     result.declarations = declarations;
     result.links.nameType = nameType;
-    if (propTypes.length > 2 || deferredMismatchedParts) {
+    if (propTypes.length > 2) {
       result.links.checkFlags |= 65536 /* DeferredType */;
       result.links.deferralParent = containingType;
       result.links.deferralConstituents = propTypes;
       result.links.deferralWriteConstituents = writeTypes;
-      result.links.deferredMismatchedParts = deferredMismatchedParts;
     } else {
       result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
       if (writeTypes) {
@@ -60950,7 +60921,7 @@ function createTypeChecker(host) {
   function getIntersectionType(types, aliasSymbol, aliasTypeArguments, noSupertypeReduction) {
     const typeMembershipMap = /* @__PURE__ */ new Map();
     const includes = addTypesToIntersection(typeMembershipMap, 0, types);
-    let typeSet = arrayFrom(typeMembershipMap.values());
+    const typeSet = arrayFrom(typeMembershipMap.values());
     if (includes & 131072 /* Never */) {
       return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
     }
@@ -60982,8 +60953,6 @@ function createTypeChecker(host) {
     const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
     let result = intersectionTypes.get(id);
     if (!result) {
-      const originalSet = typeSet;
-      let runningResult;
       if (includes & 1048576 /* Union */) {
         if (intersectUnionsOfPrimitiveTypes(typeSet)) {
           result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -60995,32 +60964,12 @@ function createTypeChecker(host) {
           removeFromEach(typeSet, 65536 /* Null */);
           result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
         } else {
-          if (getCrossProductUnionSize(typeSet) >= UNION_CROSS_PRODUCT_SIZE_LIMIT && every(typeSet, (t) => !!(t.flags & 1048576 /* Union */) || !!(t.flags & 402784252 /* Primitive */))) {
-            if (typeSet.length > 2 || some(typeSet, (t) => getReducedType(t) !== t)) {
-              runningResult = getReducedType(typeSet[0]);
-              for (let i = 1; i < typeSet.length; i++) {
-                const reducedElem = getReducedType(typeSet[i]);
-                runningResult = reducedElem.flags & 402784252 /* Primitive */ && everyType(runningResult, (t) => !!(t.flags & 524288 /* Object */)) ? neverType : getReducedType(intersectTypes(runningResult, reducedElem));
-                if (i === typeSet.length - 1 || isTypeAny(runningResult) || runningResult.flags & 131072 /* Never */) {
-                  return runningResult;
-                }
-                if (!(runningResult.flags & 1048576 /* Union */) || runningResult.types.length > typeSet.length) {
-                  typeSet = typeSet.slice(i + 1);
-                  break;
-                }
-              }
-            }
-          }
           if (!checkCrossProductUnion(typeSet)) {
             return errorType;
           }
           const constituents = getCrossProductIntersections(typeSet);
-          if (runningResult && runningResult !== typeSet[0]) {
-            result = getIntersectionType([runningResult, getUnionType(constituents, 1 /* Literal */)], aliasSymbol, aliasTypeArguments);
-          } else {
-            const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, originalSet) : void 0;
-            result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
-          }
+          const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, typeSet) : void 0;
+          result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
         }
       } else {
         result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -61035,7 +60984,7 @@ function createTypeChecker(host) {
   function checkCrossProductUnion(types) {
     var _a2;
     const size = getCrossProductUnionSize(types);
-    if (size >= UNION_CROSS_PRODUCT_SIZE_LIMIT) {
+    if (size >= 1e5) {
       (_a2 = tracing) == null ? void 0 : _a2.instant(tracing.Phase.CheckTypes, "checkCrossProductUnion_DepthLimit", { typeIds: types.map((t) => t.id), size });
       error(currentNode, Diagnostics.Expression_produces_a_union_type_that_is_too_complex_to_represent);
       return false;
@@ -72870,6 +72819,12 @@ function createTypeChecker(host) {
       return getUnionType([jsxElementType, nullType]);
     }
   }
+  function getJsxElementTypeTypeAt(location) {
+    const type = getJsxType(JsxNames.ElementType, location);
+    if (isErrorType(type))
+      return void 0;
+    return type;
+  }
   function getJsxIntrinsicTagNamesAt(location) {
     const intrinsics = getJsxType(JsxNames.IntrinsicElements, location);
     return intrinsics ? getPropertiesOfType(intrinsics) : emptyArray;
@@ -72932,7 +72887,24 @@ function createTypeChecker(host) {
       const jsxOpeningLikeNode = node;
       const sig = getResolvedSignature(jsxOpeningLikeNode);
       checkDeprecatedSignature(sig, node);
-      checkJsxReturnAssignableToAppropriateBound(getJsxReferenceKind(jsxOpeningLikeNode), getReturnTypeOfSignature(sig), jsxOpeningLikeNode);
+      const elementTypeConstraint = getJsxElementTypeTypeAt(jsxOpeningLikeNode);
+      if (elementTypeConstraint !== void 0) {
+        const tagType = isJsxIntrinsicIdentifier(jsxOpeningLikeNode.tagName) ? (
+          // TODO: Should this be a literal that library authors could potentially check against?
+          stringType
+        ) : getApparentType(checkExpression(jsxOpeningLikeNode.tagName));
+        checkTypeRelatedTo(tagType, elementTypeConstraint, assignableRelation, jsxOpeningLikeNode.tagName, Diagnostics.Its_type_0_is_not_a_valid_JSX_element_type, () => {
+          const componentName = getTextOfNode(jsxOpeningLikeNode.tagName);
+          return chainDiagnosticMessages(
+            /*details*/
+            void 0,
+            Diagnostics._0_cannot_be_used_as_a_JSX_component,
+            componentName
+          );
+        });
+      } else {
+        checkJsxReturnAssignableToAppropriateBound(getJsxReferenceKind(jsxOpeningLikeNode), getReturnTypeOfSignature(sig), jsxOpeningLikeNode);
+      }
     }
   }
   function isKnownProperty(targetType, name, isComparingJsxAttributes) {
@@ -87695,6 +87667,7 @@ var JsxNames;
   JsxNames2.ElementAttributesPropertyNameContainer = "ElementAttributesProperty";
   JsxNames2.ElementChildrenAttributeNameContainer = "ElementChildrenAttribute";
   JsxNames2.Element = "Element";
+  JsxNames2.ElementType = "ElementType";
   JsxNames2.IntrinsicAttributes = "IntrinsicAttributes";
   JsxNames2.IntrinsicClassAttributes = "IntrinsicClassAttributes";
   JsxNames2.LibraryManagedAttributes = "LibraryManagedAttributes";

package/lib/tsserverlibrary.js

@@ -9058,7 +9058,8 @@ ${lanes.join("\n")}
         _0_is_possibly_null_or_undefined: diag(18049, 1 /* Error */, "_0_is_possibly_null_or_undefined_18049", "'{0}' is possibly 'null' or 'undefined'."),
         The_value_0_cannot_be_used_here: diag(18050, 1 /* Error */, "The_value_0_cannot_be_used_here_18050", "The value '{0}' cannot be used here."),
         Compiler_option_0_cannot_be_given_an_empty_string: diag(18051, 1 /* Error */, "Compiler_option_0_cannot_be_given_an_empty_string_18051", "Compiler option '{0}' cannot be given an empty string."),
-        Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'")
+        Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'"),
+        Its_type_0_is_not_a_valid_JSX_element_type: diag(18053, 1 /* Error */, "Its_type_0_is_not_a_valid_JSX_element_type_18053", "Its type '{0}' is not a valid JSX element type.")
       };
     }
   });
@@ -54191,12 +54192,7 @@ ${lanes.join("\n")}
       if (!links.type) {
         Debug.assertIsDefined(links.deferralParent);
         Debug.assertIsDefined(links.deferralConstituents);
-        const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
-        let result = operation(links.deferralConstituents);
-        for (const part of links.deferredMismatchedParts || emptyArray) {
-          result = operation([result, getTypeOfSymbol(part)]);
-        }
-        links.type = result;
+        links.type = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralConstituents) : getIntersectionType(links.deferralConstituents);
       }
       return links.type;
     }
@@ -54204,12 +54200,8 @@ ${lanes.join("\n")}
       const links = getSymbolLinks(symbol);
       if (!links.writeType && links.deferralWriteConstituents) {
         Debug.assertIsDefined(links.deferralParent);
-        const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
-        let result = operation(links.deferralWriteConstituents);
-        for (const part of links.deferredMismatchedParts || emptyArray) {
-          result = operation([result, getTypeOfSymbol(part)]);
-        }
-        links.writeType = result;
+        Debug.assertIsDefined(links.deferralConstituents);
+        links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
       }
       return links.writeType;
     }
@@ -56246,7 +56238,7 @@ ${lanes.join("\n")}
       return getReducedType(getApparentType(getReducedType(type)));
     }
     function createUnionOrIntersectionProperty(containingType, name, skipObjectFunctionPropertyAugment) {
-      var _a2, _b, _c, _d;
+      var _a2, _b, _c;
       let singleProp;
       let propSet;
       let indexTypes;
@@ -56328,9 +56320,8 @@ ${lanes.join("\n")}
       let declarations;
       let firstType;
       let nameType;
-      let propTypes = [];
+      const propTypes = [];
       let writeTypes;
-      let deferredMismatchedParts;
       let firstValueDeclaration;
       let hasNonUniformValueDeclaration = false;
       for (const prop of props) {
@@ -56340,24 +56331,6 @@ ${lanes.join("\n")}
           hasNonUniformValueDeclaration = true;
         }
         declarations = addRange(declarations, prop.declarations);
-        if (getCheckFlags(prop) & 65536 /* DeferredType */) {
-          checkFlags |= getCheckFlags(prop) & (131072 /* HasNeverType */ | 64 /* HasNonUniformType */ | 128 /* HasLiteralType */);
-          if (!nameType) {
-            nameType = getSymbolLinks(prop).nameType;
-          }
-          if ((((_d = getSymbolLinks(prop).deferralParent) == null ? void 0 : _d.flags) & 3145728 /* UnionOrIntersection */) === (containingType.flags & 3145728 /* UnionOrIntersection */)) {
-            const deferredWriteTypes = getSymbolLinks(prop).deferralWriteConstituents;
-            if (deferredWriteTypes) {
-              writeTypes = concatenate(!writeTypes ? propTypes.slice() : writeTypes, deferredWriteTypes);
-            }
-            propTypes = concatenate(propTypes, getSymbolLinks(prop).deferralConstituents);
-            deferredMismatchedParts = concatenate(deferredMismatchedParts, getSymbolLinks(prop).deferredMismatchedParts);
-            break;
-          } else {
-            deferredMismatchedParts = append(deferredMismatchedParts, prop);
-            break;
-          }
-        }
         const type = getTypeOfSymbol(prop);
         if (!firstType) {
           firstType = type;
@@ -56388,12 +56361,11 @@ ${lanes.join("\n")}
       }
       result.declarations = declarations;
       result.links.nameType = nameType;
-      if (propTypes.length > 2 || deferredMismatchedParts) {
+      if (propTypes.length > 2) {
         result.links.checkFlags |= 65536 /* DeferredType */;
         result.links.deferralParent = containingType;
         result.links.deferralConstituents = propTypes;
         result.links.deferralWriteConstituents = writeTypes;
-        result.links.deferredMismatchedParts = deferredMismatchedParts;
       } else {
         result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
         if (writeTypes) {
@@ -58750,7 +58722,7 @@ ${lanes.join("\n")}
     function getIntersectionType(types, aliasSymbol, aliasTypeArguments, noSupertypeReduction) {
       const typeMembershipMap = /* @__PURE__ */ new Map();
       const includes = addTypesToIntersection(typeMembershipMap, 0, types);
-      let typeSet = arrayFrom(typeMembershipMap.values());
+      const typeSet = arrayFrom(typeMembershipMap.values());
       if (includes & 131072 /* Never */) {
         return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
       }
@@ -58782,8 +58754,6 @@ ${lanes.join("\n")}
       const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
       let result = intersectionTypes.get(id);
       if (!result) {
-        const originalSet = typeSet;
-        let runningResult;
         if (includes & 1048576 /* Union */) {
           if (intersectUnionsOfPrimitiveTypes(typeSet)) {
             result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -58795,32 +58765,12 @@ ${lanes.join("\n")}
             removeFromEach(typeSet, 65536 /* Null */);
             result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
           } else {
-            if (getCrossProductUnionSize(typeSet) >= UNION_CROSS_PRODUCT_SIZE_LIMIT && every(typeSet, (t) => !!(t.flags & 1048576 /* Union */) || !!(t.flags & 402784252 /* Primitive */))) {
-              if (typeSet.length > 2 || some(typeSet, (t) => getReducedType(t) !== t)) {
-                runningResult = getReducedType(typeSet[0]);
-                for (let i = 1; i < typeSet.length; i++) {
-                  const reducedElem = getReducedType(typeSet[i]);
-                  runningResult = reducedElem.flags & 402784252 /* Primitive */ && everyType(runningResult, (t) => !!(t.flags & 524288 /* Object */)) ? neverType : getReducedType(intersectTypes(runningResult, reducedElem));
-                  if (i === typeSet.length - 1 || isTypeAny(runningResult) || runningResult.flags & 131072 /* Never */) {
-                    return runningResult;
-                  }
-                  if (!(runningResult.flags & 1048576 /* Union */) || runningResult.types.length > typeSet.length) {
-                    typeSet = typeSet.slice(i + 1);
-                    break;
-                  }
-                }
-              }
-            }
             if (!checkCrossProductUnion(typeSet)) {
               return errorType;
             }
             const constituents = getCrossProductIntersections(typeSet);
-            if (runningResult && runningResult !== typeSet[0]) {
-              result = getIntersectionType([runningResult, getUnionType(constituents, 1 /* Literal */)], aliasSymbol, aliasTypeArguments);
-            } else {
-              const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, originalSet) : void 0;
-              result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
-            }
+            const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, typeSet) : void 0;
+            result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
           }
         } else {
           result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -58835,7 +58785,7 @@ ${lanes.join("\n")}
     function checkCrossProductUnion(types) {
       var _a2;
       const size = getCrossProductUnionSize(types);
-      if (size >= UNION_CROSS_PRODUCT_SIZE_LIMIT) {
+      if (size >= 1e5) {
         (_a2 = tracing) == null ? void 0 : _a2.instant(tracing.Phase.CheckTypes, "checkCrossProductUnion_DepthLimit", { typeIds: types.map((t) => t.id), size });
         error(currentNode, Diagnostics.Expression_produces_a_union_type_that_is_too_complex_to_represent);
         return false;
@@ -70670,6 +70620,12 @@ ${lanes.join("\n")}
         return getUnionType([jsxElementType, nullType]);
       }
     }
+    function getJsxElementTypeTypeAt(location) {
+      const type = getJsxType(JsxNames.ElementType, location);
+      if (isErrorType(type))
+        return void 0;
+      return type;
+    }
     function getJsxIntrinsicTagNamesAt(location) {
       const intrinsics = getJsxType(JsxNames.IntrinsicElements, location);
       return intrinsics ? getPropertiesOfType(intrinsics) : emptyArray;
@@ -70732,7 +70688,24 @@ ${lanes.join("\n")}
         const jsxOpeningLikeNode = node;
         const sig = getResolvedSignature(jsxOpeningLikeNode);
         checkDeprecatedSignature(sig, node);
-        checkJsxReturnAssignableToAppropriateBound(getJsxReferenceKind(jsxOpeningLikeNode), getReturnTypeOfSignature(sig), jsxOpeningLikeNode);
+        const elementTypeConstraint = getJsxElementTypeTypeAt(jsxOpeningLikeNode);
+        if (elementTypeConstraint !== void 0) {
+          const tagType = isJsxIntrinsicIdentifier(jsxOpeningLikeNode.tagName) ? (
+            // TODO: Should this be a literal that library authors could potentially check against?
+            stringType
+          ) : getApparentType(checkExpression(jsxOpeningLikeNode.tagName));
+          checkTypeRelatedTo(tagType, elementTypeConstraint, assignableRelation, jsxOpeningLikeNode.tagName, Diagnostics.Its_type_0_is_not_a_valid_JSX_element_type, () => {
+            const componentName = getTextOfNode(jsxOpeningLikeNode.tagName);
+            return chainDiagnosticMessages(
+              /*details*/
+              void 0,
+              Diagnostics._0_cannot_be_used_as_a_JSX_component,
+              componentName
+            );
+          });
+        } else {
+          checkJsxReturnAssignableToAppropriateBound(getJsxReferenceKind(jsxOpeningLikeNode), getReturnTypeOfSignature(sig), jsxOpeningLikeNode);
+        }
       }
     }
     function isKnownProperty(targetType, name, isComparingJsxAttributes) {
@@ -85521,7 +85494,7 @@ ${lanes.join("\n")}
       readFile: host.readFile ? (fileName) => host.readFile(fileName) : void 0
     };
   }
-  var ambientModuleSymbolRegex, anon, nextSymbolId, nextNodeId, nextMergeId, nextFlowId, TypeFacts, typeofNEFacts, CheckMode, SignatureCheckMode, isNotOverloadAndNotAccessor, intrinsicTypeKinds, SymbolLinks, UNION_CROSS_PRODUCT_SIZE_LIMIT, JsxNames, SymbolTrackerImpl;
+  var ambientModuleSymbolRegex, anon, nextSymbolId, nextNodeId, nextMergeId, nextFlowId, TypeFacts, typeofNEFacts, CheckMode, SignatureCheckMode, isNotOverloadAndNotAccessor, intrinsicTypeKinds, SymbolLinks, JsxNames, SymbolTrackerImpl;
   var init_checker = __esm({
     "src/compiler/checker.ts"() {
       "use strict";
@@ -85653,7 +85626,6 @@ ${lanes.join("\n")}
       }));
       SymbolLinks = class {
       };
-      UNION_CROSS_PRODUCT_SIZE_LIMIT = 1e5;
       ((JsxNames2) => {
         JsxNames2.JSX = "JSX";
         JsxNames2.IntrinsicElements = "IntrinsicElements";
@@ -85661,6 +85633,7 @@ ${lanes.join("\n")}
         JsxNames2.ElementAttributesPropertyNameContainer = "ElementAttributesProperty";
         JsxNames2.ElementChildrenAttributeNameContainer = "ElementChildrenAttribute";
         JsxNames2.Element = "Element";
+        JsxNames2.ElementType = "ElementType";
         JsxNames2.IntrinsicAttributes = "IntrinsicAttributes";
         JsxNames2.IntrinsicClassAttributes = "IntrinsicClassAttributes";
         JsxNames2.LibraryManagedAttributes = "LibraryManagedAttributes";

package/lib/typescript.js

@@ -9058,7 +9058,8 @@ ${lanes.join("\n")}
         _0_is_possibly_null_or_undefined: diag(18049, 1 /* Error */, "_0_is_possibly_null_or_undefined_18049", "'{0}' is possibly 'null' or 'undefined'."),
         The_value_0_cannot_be_used_here: diag(18050, 1 /* Error */, "The_value_0_cannot_be_used_here_18050", "The value '{0}' cannot be used here."),
         Compiler_option_0_cannot_be_given_an_empty_string: diag(18051, 1 /* Error */, "Compiler_option_0_cannot_be_given_an_empty_string_18051", "Compiler option '{0}' cannot be given an empty string."),
-        Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'")
+        Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'"),
+        Its_type_0_is_not_a_valid_JSX_element_type: diag(18053, 1 /* Error */, "Its_type_0_is_not_a_valid_JSX_element_type_18053", "Its type '{0}' is not a valid JSX element type.")
       };
     }
   });
@@ -54191,12 +54192,7 @@ ${lanes.join("\n")}
       if (!links.type) {
         Debug.assertIsDefined(links.deferralParent);
         Debug.assertIsDefined(links.deferralConstituents);
-        const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
-        let result = operation(links.deferralConstituents);
-        for (const part of links.deferredMismatchedParts || emptyArray) {
-          result = operation([result, getTypeOfSymbol(part)]);
-        }
-        links.type = result;
+        links.type = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralConstituents) : getIntersectionType(links.deferralConstituents);
       }
       return links.type;
     }
@@ -54204,12 +54200,8 @@ ${lanes.join("\n")}
       const links = getSymbolLinks(symbol);
       if (!links.writeType && links.deferralWriteConstituents) {
         Debug.assertIsDefined(links.deferralParent);
-        const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
-        let result = operation(links.deferralWriteConstituents);
-        for (const part of links.deferredMismatchedParts || emptyArray) {
-          result = operation([result, getTypeOfSymbol(part)]);
-        }
-        links.writeType = result;
+        Debug.assertIsDefined(links.deferralConstituents);
+        links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
       }
       return links.writeType;
     }
@@ -56246,7 +56238,7 @@ ${lanes.join("\n")}
       return getReducedType(getApparentType(getReducedType(type)));
     }
     function createUnionOrIntersectionProperty(containingType, name, skipObjectFunctionPropertyAugment) {
-      var _a2, _b, _c, _d;
+      var _a2, _b, _c;
       let singleProp;
       let propSet;
       let indexTypes;
@@ -56328,9 +56320,8 @@ ${lanes.join("\n")}
       let declarations;
       let firstType;
       let nameType;
-      let propTypes = [];
+      const propTypes = [];
       let writeTypes;
-      let deferredMismatchedParts;
       let firstValueDeclaration;
       let hasNonUniformValueDeclaration = false;
       for (const prop of props) {
@@ -56340,24 +56331,6 @@ ${lanes.join("\n")}
           hasNonUniformValueDeclaration = true;
         }
         declarations = addRange(declarations, prop.declarations);
-        if (getCheckFlags(prop) & 65536 /* DeferredType */) {
-          checkFlags |= getCheckFlags(prop) & (131072 /* HasNeverType */ | 64 /* HasNonUniformType */ | 128 /* HasLiteralType */);
-          if (!nameType) {
-            nameType = getSymbolLinks(prop).nameType;
-          }
-          if ((((_d = getSymbolLinks(prop).deferralParent) == null ? void 0 : _d.flags) & 3145728 /* UnionOrIntersection */) === (containingType.flags & 3145728 /* UnionOrIntersection */)) {
-            const deferredWriteTypes = getSymbolLinks(prop).deferralWriteConstituents;
-            if (deferredWriteTypes) {
-              writeTypes = concatenate(!writeTypes ? propTypes.slice() : writeTypes, deferredWriteTypes);
-            }
-            propTypes = concatenate(propTypes, getSymbolLinks(prop).deferralConstituents);
-            deferredMismatchedParts = concatenate(deferredMismatchedParts, getSymbolLinks(prop).deferredMismatchedParts);
-            break;
-          } else {
-            deferredMismatchedParts = append(deferredMismatchedParts, prop);
-            break;
-          }
-        }
         const type = getTypeOfSymbol(prop);
         if (!firstType) {
           firstType = type;
@@ -56388,12 +56361,11 @@ ${lanes.join("\n")}
       }
       result.declarations = declarations;
       result.links.nameType = nameType;
-      if (propTypes.length > 2 || deferredMismatchedParts) {
+      if (propTypes.length > 2) {
         result.links.checkFlags |= 65536 /* DeferredType */;
         result.links.deferralParent = containingType;
         result.links.deferralConstituents = propTypes;
         result.links.deferralWriteConstituents = writeTypes;
-        result.links.deferredMismatchedParts = deferredMismatchedParts;
       } else {
         result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
         if (writeTypes) {
@@ -58750,7 +58722,7 @@ ${lanes.join("\n")}
     function getIntersectionType(types, aliasSymbol, aliasTypeArguments, noSupertypeReduction) {
       const typeMembershipMap = /* @__PURE__ */ new Map();
       const includes = addTypesToIntersection(typeMembershipMap, 0, types);
-      let typeSet = arrayFrom(typeMembershipMap.values());
+      const typeSet = arrayFrom(typeMembershipMap.values());
       if (includes & 131072 /* Never */) {
         return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
       }
@@ -58782,8 +58754,6 @@ ${lanes.join("\n")}
       const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
       let result = intersectionTypes.get(id);
       if (!result) {
-        const originalSet = typeSet;
-        let runningResult;
         if (includes & 1048576 /* Union */) {
           if (intersectUnionsOfPrimitiveTypes(typeSet)) {
             result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -58795,32 +58765,12 @@ ${lanes.join("\n")}
             removeFromEach(typeSet, 65536 /* Null */);
             result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
           } else {
-            if (getCrossProductUnionSize(typeSet) >= UNION_CROSS_PRODUCT_SIZE_LIMIT && every(typeSet, (t) => !!(t.flags & 1048576 /* Union */) || !!(t.flags & 402784252 /* Primitive */))) {
-              if (typeSet.length > 2 || some(typeSet, (t) => getReducedType(t) !== t)) {
-                runningResult = getReducedType(typeSet[0]);
-                for (let i = 1; i < typeSet.length; i++) {
-                  const reducedElem = getReducedType(typeSet[i]);
-                  runningResult = reducedElem.flags & 402784252 /* Primitive */ && everyType(runningResult, (t) => !!(t.flags & 524288 /* Object */)) ? neverType : getReducedType(intersectTypes(runningResult, reducedElem));
-                  if (i === typeSet.length - 1 || isTypeAny(runningResult) || runningResult.flags & 131072 /* Never */) {
-                    return runningResult;
-                  }
-                  if (!(runningResult.flags & 1048576 /* Union */) || runningResult.types.length > typeSet.length) {
-                    typeSet = typeSet.slice(i + 1);
-                    break;
-                  }
-                }
-              }
-            }
             if (!checkCrossProductUnion(typeSet)) {
               return errorType;
             }
             const constituents = getCrossProductIntersections(typeSet);
-            if (runningResult && runningResult !== typeSet[0]) {
-              result = getIntersectionType([runningResult, getUnionType(constituents, 1 /* Literal */)], aliasSymbol, aliasTypeArguments);
-            } else {
-              const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, originalSet) : void 0;
-              result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
-            }
+            const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, typeSet) : void 0;
+            result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
           }
         } else {
           result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -58835,7 +58785,7 @@ ${lanes.join("\n")}
     function checkCrossProductUnion(types) {
       var _a2;
       const size = getCrossProductUnionSize(types);
-      if (size >= UNION_CROSS_PRODUCT_SIZE_LIMIT) {
+      if (size >= 1e5) {
         (_a2 = tracing) == null ? void 0 : _a2.instant(tracing.Phase.CheckTypes, "checkCrossProductUnion_DepthLimit", { typeIds: types.map((t) => t.id), size });
         error(currentNode, Diagnostics.Expression_produces_a_union_type_that_is_too_complex_to_represent);
         return false;
@@ -70670,6 +70620,12 @@ ${lanes.join("\n")}
         return getUnionType([jsxElementType, nullType]);
       }
     }
+    function getJsxElementTypeTypeAt(location) {
+      const type = getJsxType(JsxNames.ElementType, location);
+      if (isErrorType(type))
+        return void 0;
+      return type;
+    }
     function getJsxIntrinsicTagNamesAt(location) {
       const intrinsics = getJsxType(JsxNames.IntrinsicElements, location);
       return intrinsics ? getPropertiesOfType(intrinsics) : emptyArray;
@@ -70732,7 +70688,24 @@ ${lanes.join("\n")}
         const jsxOpeningLikeNode = node;
         const sig = getResolvedSignature(jsxOpeningLikeNode);
         checkDeprecatedSignature(sig, node);
-        checkJsxReturnAssignableToAppropriateBound(getJsxReferenceKind(jsxOpeningLikeNode), getReturnTypeOfSignature(sig), jsxOpeningLikeNode);
+        const elementTypeConstraint = getJsxElementTypeTypeAt(jsxOpeningLikeNode);
+        if (elementTypeConstraint !== void 0) {
+          const tagType = isJsxIntrinsicIdentifier(jsxOpeningLikeNode.tagName) ? (
+            // TODO: Should this be a literal that library authors could potentially check against?
+            stringType
+          ) : getApparentType(checkExpression(jsxOpeningLikeNode.tagName));
+          checkTypeRelatedTo(tagType, elementTypeConstraint, assignableRelation, jsxOpeningLikeNode.tagName, Diagnostics.Its_type_0_is_not_a_valid_JSX_element_type, () => {
+            const componentName = getTextOfNode(jsxOpeningLikeNode.tagName);
+            return chainDiagnosticMessages(
+              /*details*/
+              void 0,
+              Diagnostics._0_cannot_be_used_as_a_JSX_component,
+              componentName
+            );
+          });
+        } else {
+          checkJsxReturnAssignableToAppropriateBound(getJsxReferenceKind(jsxOpeningLikeNode), getReturnTypeOfSignature(sig), jsxOpeningLikeNode);
+        }
       }
     }
     function isKnownProperty(targetType, name, isComparingJsxAttributes) {
@@ -85521,7 +85494,7 @@ ${lanes.join("\n")}
       readFile: host.readFile ? (fileName) => host.readFile(fileName) : void 0
     };
   }
-  var ambientModuleSymbolRegex, anon, nextSymbolId, nextNodeId, nextMergeId, nextFlowId, TypeFacts, typeofNEFacts, CheckMode, SignatureCheckMode, isNotOverloadAndNotAccessor, intrinsicTypeKinds, SymbolLinks, UNION_CROSS_PRODUCT_SIZE_LIMIT, JsxNames, SymbolTrackerImpl;
+  var ambientModuleSymbolRegex, anon, nextSymbolId, nextNodeId, nextMergeId, nextFlowId, TypeFacts, typeofNEFacts, CheckMode, SignatureCheckMode, isNotOverloadAndNotAccessor, intrinsicTypeKinds, SymbolLinks, JsxNames, SymbolTrackerImpl;
   var init_checker = __esm({
     "src/compiler/checker.ts"() {
       "use strict";
@@ -85653,7 +85626,6 @@ ${lanes.join("\n")}
       }));
       SymbolLinks = class {
       };
-      UNION_CROSS_PRODUCT_SIZE_LIMIT = 1e5;
       ((JsxNames2) => {
         JsxNames2.JSX = "JSX";
         JsxNames2.IntrinsicElements = "IntrinsicElements";
@@ -85661,6 +85633,7 @@ ${lanes.join("\n")}
         JsxNames2.ElementAttributesPropertyNameContainer = "ElementAttributesProperty";
         JsxNames2.ElementChildrenAttributeNameContainer = "ElementChildrenAttribute";
         JsxNames2.Element = "Element";
+        JsxNames2.ElementType = "ElementType";
         JsxNames2.IntrinsicAttributes = "IntrinsicAttributes";
         JsxNames2.IntrinsicClassAttributes = "IntrinsicClassAttributes";
         JsxNames2.LibraryManagedAttributes = "LibraryManagedAttributes";

package/lib/typingsInstaller.js

@@ -7121,7 +7121,8 @@ var Diagnostics = {
   _0_is_possibly_null_or_undefined: diag(18049, 1 /* Error */, "_0_is_possibly_null_or_undefined_18049", "'{0}' is possibly 'null' or 'undefined'."),
   The_value_0_cannot_be_used_here: diag(18050, 1 /* Error */, "The_value_0_cannot_be_used_here_18050", "The value '{0}' cannot be used here."),
   Compiler_option_0_cannot_be_given_an_empty_string: diag(18051, 1 /* Error */, "Compiler_option_0_cannot_be_given_an_empty_string_18051", "Compiler option '{0}' cannot be given an empty string."),
-  Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'")
+  Non_abstract_class_0_does_not_implement_all_abstract_members_of_1: diag(18052, 1 /* Error */, "Non_abstract_class_0_does_not_implement_all_abstract_members_of_1_18052", "Non-abstract class '{0}' does not implement all abstract members of '{1}'"),
+  Its_type_0_is_not_a_valid_JSX_element_type: diag(18053, 1 /* Error */, "Its_type_0_is_not_a_valid_JSX_element_type_18053", "Its type '{0}' is not a valid JSX element type.")
 };
 
 // src/compiler/scanner.ts
@@ -28887,6 +28888,7 @@ var JsxNames;
   JsxNames2.ElementAttributesPropertyNameContainer = "ElementAttributesProperty";
   JsxNames2.ElementChildrenAttributeNameContainer = "ElementChildrenAttribute";
   JsxNames2.Element = "Element";
+  JsxNames2.ElementType = "ElementType";
   JsxNames2.IntrinsicAttributes = "IntrinsicAttributes";
   JsxNames2.IntrinsicClassAttributes = "IntrinsicClassAttributes";
   JsxNames2.LibraryManagedAttributes = "LibraryManagedAttributes";

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.1.0-pr-53739-12",
+  "version": "5.1.0-pr-51328-34",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -114,5 +114,5 @@
     "node": "14.21.1",
     "npm": "8.19.3"
   },
-  "gitHead": "2493625c9c4fae9f224de64cf587825d651468c6"
+  "gitHead": "4c0ad0eb588205a6ba5138b2e0b20babfe3896d3"
 }