typescript 5.1.0-dev.20230416 → 5.1.0-dev.20230418

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.20230418`;
 
 // 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() {
@@ -37616,22 +37633,22 @@ var nodeModulesPathPart = "/node_modules/";
 function pathContainsNodeModules(path) {
   return stringContains(path, nodeModulesPathPart);
 }
-function parseNodeModuleFromPath(resolved) {
+function parseNodeModuleFromPath(resolved, isFolder) {
   const path = normalizePath(resolved);
   const idx = path.lastIndexOf(nodeModulesPathPart);
   if (idx === -1) {
     return void 0;
   }
   const indexAfterNodeModules = idx + nodeModulesPathPart.length;
-  let indexAfterPackageName = moveToNextDirectorySeparatorIfAvailable(path, indexAfterNodeModules);
+  let indexAfterPackageName = moveToNextDirectorySeparatorIfAvailable(path, indexAfterNodeModules, isFolder);
   if (path.charCodeAt(indexAfterNodeModules) === 64 /* at */) {
-    indexAfterPackageName = moveToNextDirectorySeparatorIfAvailable(path, indexAfterPackageName);
+    indexAfterPackageName = moveToNextDirectorySeparatorIfAvailable(path, indexAfterPackageName, isFolder);
   }
   return path.slice(0, indexAfterPackageName);
 }
-function moveToNextDirectorySeparatorIfAvailable(path, prevSeparatorIndex) {
+function moveToNextDirectorySeparatorIfAvailable(path, prevSeparatorIndex, isFolder) {
   const nextSeparatorIndex = path.indexOf(directorySeparator, prevSeparatorIndex + 1);
-  return nextSeparatorIndex === -1 ? prevSeparatorIndex : nextSeparatorIndex;
+  return nextSeparatorIndex === -1 ? isFolder ? path.length : prevSeparatorIndex : nextSeparatorIndex;
 }
 function loadModuleFromFileNoPackageId(extensions, candidate, onlyRecordFailures, state) {
   return noPackageId(loadModuleFromFile(extensions, candidate, onlyRecordFailures, state));
@@ -39006,6 +39023,9 @@ function createBinder() {
         const containingClassSymbol = containingClass.symbol;
         return getSymbolNameForPrivateIdentifier(containingClassSymbol, name.escapedText);
       }
+      if (isJsxNamespacedName(name)) {
+        return getEscapedTextOfJsxNamespacedName(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);
@@ -66873,7 +66895,7 @@ function createTypeChecker(host) {
     return node === conditional.whenTrue || node === conditional.whenFalse ? getContextualType(conditional, contextFlags) : void 0;
   }
   function getContextualTypeForChildJsxExpression(node, child, contextFlags) {
-    const attributesType = getApparentTypeOfContextualType(node.openingElement.tagName, contextFlags);
+    const attributesType = getApparentTypeOfContextualType(node.openingElement.attributes, contextFlags);
     const jsxChildrenPropertyName = getJsxElementChildrenPropertyName(getJsxNamespaceAt(node));
     if (!(attributesType && !isTypeAny(attributesType) && jsxChildrenPropertyName && jsxChildrenPropertyName !== "")) {
       return void 0;
@@ -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;
     }
@@ -118465,6 +118493,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     reusedNames,
     loader,
     getResolutionWithResolvedFileName,
+    deferWatchingNonRelativeResolution,
     shouldRetryResolution,
     logChanges
   }) {
@@ -118489,7 +118518,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
           resolutionHost.onDiscoveredSymlink();
         }
         resolutionsInFile.set(name, mode, resolution);
-        watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, path, getResolutionWithResolvedFileName);
+        watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, path, getResolutionWithResolvedFileName, deferWatchingNonRelativeResolution);
         if (existingResolution) {
           stopWatchFailedLookupLocationOfResolution(existingResolution, path, getResolutionWithResolvedFileName);
         }
@@ -118565,7 +118594,8 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
         typeReferenceDirectiveResolutionCache
       ),
       getResolutionWithResolvedFileName: getResolvedTypeReferenceDirective,
-      shouldRetryResolution: (resolution) => resolution.resolvedTypeReferenceDirective === void 0
+      shouldRetryResolution: (resolution) => resolution.resolvedTypeReferenceDirective === void 0,
+      deferWatchingNonRelativeResolution: false
     });
   }
   function resolveModuleNameLiterals(moduleLiterals, containingFile, redirectedReference, options, containingSourceFile, reusedNames) {
@@ -118584,7 +118614,9 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       ),
       getResolutionWithResolvedFileName: getResolvedModule2,
       shouldRetryResolution: (resolution) => !resolution.resolvedModule || !resolutionExtensionIsTSOrJson(resolution.resolvedModule.extension),
-      logChanges: logChangesWhenResolvingModule
+      logChanges: logChangesWhenResolvingModule,
+      deferWatchingNonRelativeResolution: true
+      // Defer non relative resolution watch because we could be using ambient modules
     });
   }
   function resolveSingleModuleNameWithoutWatching(moduleName, containingFile) {
@@ -118602,7 +118634,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
   function isNodeModulesAtTypesDirectory(dirPath) {
     return endsWith(dirPath, "/node_modules/@types");
   }
-  function watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, filePath, getResolutionWithResolvedFileName) {
+  function watchFailedLookupLocationsOfExternalModuleResolutions(name, resolution, filePath, getResolutionWithResolvedFileName, deferWatchingNonRelativeResolution) {
     var _a;
     if (resolution.refCount) {
       resolution.refCount++;
@@ -118610,7 +118642,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     } else {
       resolution.refCount = 1;
       Debug.assert(!((_a = resolution.files) == null ? void 0 : _a.size));
-      if (isExternalModuleNameRelative(name)) {
+      if (!deferWatchingNonRelativeResolution || isExternalModuleNameRelative(name)) {
         watchFailedLookupLocationOfResolution(resolution);
       } else {
         nonRelativeExternalModuleResolutions.add(name, resolution);
@@ -118890,7 +118922,11 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
           return false;
         }
         (failedLookupChecks || (failedLookupChecks = /* @__PURE__ */ new Set())).add(fileOrDirectoryPath);
-        const packagePath = parseNodeModuleFromPath(fileOrDirectoryPath);
+        const packagePath = parseNodeModuleFromPath(
+          fileOrDirectoryPath,
+          /*isFolder*/
+          true
+        );
         if (packagePath)
           (startsWithPathChecks || (startsWithPathChecks = /* @__PURE__ */ new Set())).add(packagePath);
       }