typescript 5.0.0-dev.20230202 → 5.0.0-dev.20230203

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-dev.20230202`;
+var version = `${versionMajorMinor}.0-dev.20230203`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -35955,6 +35955,22 @@ function resolvedTypeScriptOnly(resolved) {
   Debug.assert(extensionIsTS(resolved.extension));
   return { fileName: resolved.path, packageId: resolved.packageId };
 }
+function createResolvedModuleWithFailedLookupLocationsHandlingSymlink(moduleName, resolved, isExternalLibraryImport, failedLookupLocations, affectingLocations, diagnostics, state, legacyResult) {
+  if (!state.resultFromCache && !state.compilerOptions.preserveSymlinks && resolved && isExternalLibraryImport && !resolved.originalPath && !isExternalModuleNameRelative(moduleName)) {
+    const { resolvedFileName, originalPath } = getOriginalAndResolvedFileName(resolved.path, state.host, state.traceEnabled);
+    if (originalPath)
+      resolved = { ...resolved, path: resolvedFileName, originalPath };
+  }
+  return createResolvedModuleWithFailedLookupLocations(
+    resolved,
+    isExternalLibraryImport,
+    failedLookupLocations,
+    affectingLocations,
+    diagnostics,
+    state.resultFromCache,
+    legacyResult
+  );
+}
 function createResolvedModuleWithFailedLookupLocations(resolved, isExternalLibraryImport, failedLookupLocations, affectingLocations, diagnostics, resultFromCache, legacyResult) {
   if (resultFromCache) {
     resultFromCache.failedLookupLocations = updateResolutionField(resultFromCache.failedLookupLocations, failedLookupLocations);
@@ -36115,6 +36131,15 @@ function arePathsEqual(path1, path2, host) {
   const useCaseSensitiveFileNames = typeof host.useCaseSensitiveFileNames === "function" ? host.useCaseSensitiveFileNames() : host.useCaseSensitiveFileNames;
   return comparePaths(path1, path2, !useCaseSensitiveFileNames) === 0 /* EqualTo */;
 }
+function getOriginalAndResolvedFileName(fileName, host, traceEnabled) {
+  const resolvedFileName = realPath(fileName, host, traceEnabled);
+  const pathsAreEqual = arePathsEqual(fileName, resolvedFileName, host);
+  return {
+    // If the fileName and realpath are differing only in casing prefer fileName so that we can issue correct errors for casing under forceConsistentCasingInFileNames
+    resolvedFileName: pathsAreEqual ? fileName : resolvedFileName,
+    originalPath: pathsAreEqual ? void 0 : fileName
+  };
+}
 function resolveTypeReferenceDirective(typeReferenceDirectiveName, containingFile, options, host, redirectedReference, cache, resolutionMode) {
   Debug.assert(typeof typeReferenceDirectiveName === "string", "Non-string value passed to `ts.resolveTypeReferenceDirective`, likely by a wrapping package working with an outdated `resolveTypeReferenceDirectives` signature. This is probably not a problem in TS itself.");
   const traceEnabled = isTraceEnabled(options, host);
@@ -36186,13 +36211,13 @@ function resolveTypeReferenceDirective(typeReferenceDirectiveName, containingFil
   let resolvedTypeReferenceDirective;
   if (resolved) {
     const { fileName, packageId } = resolved;
-    const resolvedFileName = options.preserveSymlinks ? fileName : realPath(fileName, host, traceEnabled);
-    const pathsAreEqual = arePathsEqual(fileName, resolvedFileName, host);
+    let resolvedFileName = fileName, originalPath;
+    if (!options.preserveSymlinks)
+      ({ resolvedFileName, originalPath } = getOriginalAndResolvedFileName(fileName, host, traceEnabled));
     resolvedTypeReferenceDirective = {
       primary,
-      // If the fileName and realpath are differing only in casing prefer fileName so that we can issue correct errors for casing under forceConsistentCasingInFileNames
-      resolvedFileName: pathsAreEqual ? fileName : resolvedFileName,
-      originalPath: pathsAreEqual ? void 0 : fileName,
+      resolvedFileName,
+      originalPath,
       packageId,
       isExternalLibraryImport: pathContainsNodeModules(fileName)
     };
@@ -37050,13 +37075,14 @@ function nodeModuleNameResolverWorker(features, moduleName, containingDirectory,
       legacyResult = diagnosticResult.value.resolved.path;
     }
   }
-  return createResolvedModuleWithFailedLookupLocations(
+  return createResolvedModuleWithFailedLookupLocationsHandlingSymlink(
+    moduleName,
     (_c = result == null ? void 0 : result.value) == null ? void 0 : _c.resolved,
     (_d = result == null ? void 0 : result.value) == null ? void 0 : _d.isExternalLibraryImport,
     failedLookupLocations,
     affectingLocations,
     diagnostics,
-    state.resultFromCache,
+    state,
     legacyResult
   );
   function tryResolve(extensions2, state2) {
@@ -37086,16 +37112,7 @@ function nodeModuleNameResolverWorker(features, moduleName, containingDirectory,
         }
         resolved2 = loadModuleFromNearestNodeModulesDirectory(extensions2, moduleName, containingDirectory, state2, cache, redirectedReference);
       }
-      if (!resolved2)
-        return void 0;
-      let resolvedValue = resolved2.value;
-      if (!compilerOptions.preserveSymlinks && resolvedValue && !resolvedValue.originalPath) {
-        const path = realPath(resolvedValue.path, host, traceEnabled);
-        const pathsAreEqual = arePathsEqual(path, resolvedValue.path, host);
-        const originalPath = pathsAreEqual ? void 0 : resolvedValue.path;
-        resolvedValue = { ...resolvedValue, path: pathsAreEqual ? resolvedValue.path : path, originalPath };
-      }
-      return { value: resolvedValue && { resolved: resolvedValue, isExternalLibraryImport: true } };
+      return resolved2 && { value: resolved2.value && { resolved: resolved2.value, isExternalLibraryImport: true } };
     } else {
       const { path: candidate, parts } = normalizePathForCJSResolution(containingDirectory, moduleName);
       const resolved2 = nodeLoadModuleByRelativeName(
@@ -38150,13 +38167,14 @@ function classicNameResolver(moduleName, containingFile, compilerOptions, host,
     candidateIsFromPackageJsonField: false
   };
   const resolved = tryResolve(1 /* TypeScript */ | 4 /* Declaration */) || tryResolve(2 /* JavaScript */ | (compilerOptions.resolveJsonModule ? 8 /* Json */ : 0));
-  return createResolvedModuleWithFailedLookupLocations(
+  return createResolvedModuleWithFailedLookupLocationsHandlingSymlink(
+    moduleName,
     resolved && resolved.value,
     (resolved == null ? void 0 : resolved.value) && pathContainsNodeModules(resolved.value.path),
     failedLookupLocations,
     affectingLocations,
     diagnostics,
-    state.resultFromCache
+    state
   );
   function tryResolve(extensions) {
     const resolvedUsingSettings = tryLoadModuleUsingOptionalResolutionSettings(extensions, moduleName, containingDirectory, loadModuleFromFileNoPackageId, state);
@@ -44304,7 +44322,12 @@ function createTypeChecker(host) {
   }
   function resolveExportByName(moduleSymbol, name, sourceNode, dontResolveAlias) {
     const exportValue = moduleSymbol.exports.get("export=" /* ExportEquals */);
-    const exportSymbol = exportValue ? getPropertyOfType(getTypeOfSymbol(exportValue), name) : moduleSymbol.exports.get(name);
+    const exportSymbol = exportValue ? getPropertyOfType(
+      getTypeOfSymbol(exportValue),
+      name,
+      /*skipObjectFunctionPropertyAugment*/
+      true
+    ) : moduleSymbol.exports.get(name);
     const resolved = resolveSymbol(exportSymbol, dontResolveAlias);
     markSymbolOfAliasDeclarationIfTypeOnly(
       sourceNode,
@@ -53719,7 +53742,7 @@ function createTypeChecker(host) {
             for (const tag of node.tags) {
               if (isJSDocOverloadTag(tag)) {
                 const jsDocSignature = tag.typeExpression;
-                if (jsDocSignature.type === void 0) {
+                if (jsDocSignature.type === void 0 && !isConstructorDeclaration(decl)) {
                   reportImplicitAny(jsDocSignature, anyType);
                 }
                 result.push(getSignatureFromDeclaration(jsDocSignature));
@@ -53831,6 +53854,12 @@ function createTypeChecker(host) {
     if (declaration.kind === 173 /* Constructor */) {
       return getDeclaredTypeOfClassOrInterface(getMergedSymbol(declaration.parent.symbol));
     }
+    if (isJSDocSignature(declaration)) {
+      const root = getJSDocRoot(declaration);
+      if (root && isConstructorDeclaration(root.parent)) {
+        return getDeclaredTypeOfClassOrInterface(getMergedSymbol(root.parent.parent.symbol));
+      }
+    }
     if (isJSDocConstructSignature(declaration)) {
       return getTypeFromTypeNode(declaration.parameters[0].type);
     }
@@ -58551,7 +58580,6 @@ function createTypeChecker(host) {
     let overrideNextErrorInfo = 0;
     let lastSkippedInfo;
     let incompatibleStack;
-    let inPropertyCheck = false;
     Debug.assert(relation !== identityRelation || !errorNode, "no error reporting in identity checking");
     const result = isRelatedTo(
       source,
@@ -59510,14 +59538,15 @@ function createTypeChecker(host) {
             );
           }
         }
-        if (result2 && !inPropertyCheck && (target2.flags & 2097152 /* Intersection */ && !isGenericObjectType(target2) && source2.flags & (524288 /* Object */ | 2097152 /* Intersection */) || isNonGenericObjectType(target2) && !isArrayOrTupleType(target2) && source2.flags & 2097152 /* Intersection */ && getApparentType(source2).flags & 3670016 /* StructuredType */ && !some(source2.types, (t) => !!(getObjectFlags(t) & 262144 /* NonInferrableType */)))) {
-          inPropertyCheck = true;
+        if (result2 && !(intersectionState & 2 /* Target */) && target2.flags & 2097152 /* Intersection */ && !isGenericObjectType(target2) && source2.flags & (524288 /* Object */ | 2097152 /* Intersection */)) {
           result2 &= propertiesRelatedTo(
             source2,
             target2,
             reportErrors2,
             /*excludedProperties*/
             void 0,
+            /*optionalsOnly*/
+            false,
             0 /* None */
           );
           if (result2 && isObjectLiteralType(source2) && getObjectFlags(source2) & 8192 /* FreshLiteral */) {
@@ -59530,7 +59559,17 @@ function createTypeChecker(host) {
               0 /* None */
             );
           }
-          inPropertyCheck = false;
+        } else if (result2 && isNonGenericObjectType(target2) && !isArrayOrTupleType(target2) && source2.flags & 2097152 /* Intersection */ && getApparentType(source2).flags & 3670016 /* StructuredType */ && !some(source2.types, (t) => !!(getObjectFlags(t) & 262144 /* NonInferrableType */))) {
+          result2 &= propertiesRelatedTo(
+            source2,
+            target2,
+            reportErrors2,
+            /*excludedProperties*/
+            void 0,
+            /*optionalsOnly*/
+            true,
+            intersectionState
+          );
         }
       }
       if (result2) {
@@ -60020,12 +60059,14 @@ function createTypeChecker(host) {
             reportStructuralErrors,
             /*excludedProperties*/
             void 0,
+            /*optionalsOnly*/
+            false,
             intersectionState
           );
           if (result2) {
-            result2 &= signaturesRelatedTo(source2, target2, 0 /* Call */, reportStructuralErrors);
+            result2 &= signaturesRelatedTo(source2, target2, 0 /* Call */, reportStructuralErrors, intersectionState);
             if (result2) {
-              result2 &= signaturesRelatedTo(source2, target2, 1 /* Construct */, reportStructuralErrors);
+              result2 &= signaturesRelatedTo(source2, target2, 1 /* Construct */, reportStructuralErrors, intersectionState);
               if (result2) {
                 result2 &= indexSignaturesRelatedTo(source2, target2, sourceIsPrimitive, reportStructuralErrors, intersectionState);
               }
@@ -60154,6 +60195,8 @@ function createTypeChecker(host) {
           /*reportErrors*/
           false,
           excludedProperties,
+          /*optionalsOnly*/
+          false,
           0 /* None */
         );
         if (result2) {
@@ -60162,7 +60205,8 @@ function createTypeChecker(host) {
             type,
             0 /* Call */,
             /*reportStructuralErrors*/
-            false
+            false,
+            0 /* None */
           );
           if (result2) {
             result2 &= signaturesRelatedTo(
@@ -60170,7 +60214,8 @@ function createTypeChecker(host) {
               type,
               1 /* Construct */,
               /*reportStructuralErrors*/
-              false
+              false,
+              0 /* None */
             );
             if (result2 && !(isTupleType(source2) && isTupleType(type))) {
               result2 &= indexSignaturesRelatedTo(
@@ -60348,7 +60393,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    function propertiesRelatedTo(source2, target2, reportErrors2, excludedProperties, intersectionState) {
+    function propertiesRelatedTo(source2, target2, reportErrors2, excludedProperties, optionalsOnly, intersectionState) {
       if (relation === identityRelation) {
         return propertiesIdenticalTo(source2, target2, excludedProperties);
       }
@@ -60484,7 +60529,7 @@ function createTypeChecker(host) {
       const numericNamesOnly = isTupleType(source2) && isTupleType(target2);
       for (const targetProp of excludeProperties(properties, excludedProperties)) {
         const name = targetProp.escapedName;
-        if (!(targetProp.flags & 4194304 /* Prototype */) && (!numericNamesOnly || isNumericLiteralName(name) || name === "length")) {
+        if (!(targetProp.flags & 4194304 /* Prototype */) && (!numericNamesOnly || isNumericLiteralName(name) || name === "length") && (!optionalsOnly || targetProp.flags & 16777216 /* Optional */)) {
           const sourceProp = getPropertyOfType(source2, name);
           if (sourceProp && sourceProp !== targetProp) {
             const related = propertyRelatedTo(source2, target2, sourceProp, targetProp, getNonMissingTypeOfSymbol, reportErrors2, intersectionState, relation === comparableRelation);
@@ -60520,7 +60565,7 @@ function createTypeChecker(host) {
       }
       return result2;
     }
-    function signaturesRelatedTo(source2, target2, kind, reportErrors2) {
+    function signaturesRelatedTo(source2, target2, kind, reportErrors2, intersectionState) {
       var _a3, _b;
       if (relation === identityRelation) {
         return signaturesIdenticalTo(source2, target2, kind);
@@ -60557,6 +60602,7 @@ function createTypeChecker(host) {
             /*erase*/
             true,
             reportErrors2,
+            intersectionState,
             incompatibleReporter(sourceSignatures[i], targetSignatures[i])
           );
           if (!related) {
@@ -60568,7 +60614,7 @@ function createTypeChecker(host) {
         const eraseGenerics = relation === comparableRelation || !!compilerOptions.noStrictGenericChecks;
         const sourceSignature = first(sourceSignatures);
         const targetSignature = first(targetSignatures);
-        result2 = signatureRelatedTo(sourceSignature, targetSignature, eraseGenerics, reportErrors2, incompatibleReporter(sourceSignature, targetSignature));
+        result2 = signatureRelatedTo(sourceSignature, targetSignature, eraseGenerics, reportErrors2, intersectionState, incompatibleReporter(sourceSignature, targetSignature));
         if (!result2 && reportErrors2 && kind === 1 /* Construct */ && sourceObjectFlags & targetObjectFlags && (((_a3 = targetSignature.declaration) == null ? void 0 : _a3.kind) === 173 /* Constructor */ || ((_b = sourceSignature.declaration) == null ? void 0 : _b.kind) === 173 /* Constructor */)) {
           const constructSignatureToString = (signature) => signatureToString(
             signature,
@@ -60593,6 +60639,7 @@ function createTypeChecker(host) {
                 /*erase*/
                 true,
                 shouldElaborateErrors,
+                intersectionState,
                 incompatibleReporter(s, t)
               );
               if (related) {
@@ -60645,7 +60692,7 @@ function createTypeChecker(host) {
       }
       return (source2, target2) => reportIncompatibleError(Diagnostics.Construct_signature_return_types_0_and_1_are_incompatible, typeToString(source2), typeToString(target2));
     }
-    function signatureRelatedTo(source2, target2, erase, reportErrors2, incompatibleReporter) {
+    function signatureRelatedTo(source2, target2, erase, reportErrors2, intersectionState, incompatibleReporter) {
       return compareSignaturesRelated(
         erase ? getErasedSignature(source2) : source2,
         erase ? getErasedSignature(target2) : target2,
@@ -60653,9 +60700,20 @@ function createTypeChecker(host) {
         reportErrors2,
         reportError,
         incompatibleReporter,
-        isRelatedToWorker,
+        isRelatedToWorker2,
         reportUnreliableMapper
       );
+      function isRelatedToWorker2(source3, target3, reportErrors3) {
+        return isRelatedTo(
+          source3,
+          target3,
+          3 /* Both */,
+          reportErrors3,
+          /*headMessage*/
+          void 0,
+          intersectionState
+        );
+      }
     }
     function signaturesIdenticalTo(source2, target2, kind) {
       const sourceSignatures = getSignaturesOfType(source2, kind);
@@ -60714,7 +60772,7 @@ function createTypeChecker(host) {
       }
       for (const info of getIndexInfosOfType(source2)) {
         if (isApplicableIndexType(info.keyType, keyType)) {
-          const related = indexInfoRelatedTo(info, targetInfo, reportErrors2);
+          const related = indexInfoRelatedTo(info, targetInfo, reportErrors2, intersectionState);
           if (!related) {
             return 0 /* False */;
           }
@@ -60723,8 +60781,16 @@ function createTypeChecker(host) {
       }
       return result2;
     }
-    function indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2) {
-      const related = isRelatedTo(sourceInfo.type, targetInfo.type, 3 /* Both */, reportErrors2);
+    function indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState) {
+      const related = isRelatedTo(
+        sourceInfo.type,
+        targetInfo.type,
+        3 /* Both */,
+        reportErrors2,
+        /*headMessage*/
+        void 0,
+        intersectionState
+      );
       if (!related && reportErrors2) {
         if (sourceInfo.keyType === targetInfo.keyType) {
           reportError(Diagnostics._0_index_signatures_are_incompatible, typeToString(sourceInfo.keyType));
@@ -60753,7 +60819,7 @@ function createTypeChecker(host) {
     function typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState) {
       const sourceInfo = getApplicableIndexInfo(source2, targetInfo.keyType);
       if (sourceInfo) {
-        return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2);
+        return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState);
       }
       if (!(intersectionState & 1 /* Source */) && isObjectTypeWithInferableIndex(source2)) {
         return membersRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
@@ -61044,12 +61110,15 @@ function createTypeChecker(host) {
   }
   function isDeeplyNestedType(type, stack, depth, maxDepth = 3) {
     if (depth >= maxDepth) {
+      if (type.flags & 2097152 /* Intersection */) {
+        return some(type.types, (t) => isDeeplyNestedType(t, stack, depth, maxDepth));
+      }
       const identity2 = getRecursionIdentity(type);
       let count = 0;
       let lastTypeId = 0;
       for (let i = 0; i < depth; i++) {
         const t = stack[i];
-        if (getRecursionIdentity(t) === identity2) {
+        if (t.flags & 2097152 /* Intersection */ ? some(t.types, (u) => getRecursionIdentity(u) === identity2) : getRecursionIdentity(t) === identity2) {
           if (t.id >= lastTypeId) {
             count++;
             if (count >= maxDepth) {
@@ -70068,7 +70137,7 @@ function createTypeChecker(host) {
     }
   }
   function checkCallExpression(node, checkMode) {
-    var _a2;
+    var _a2, _b, _c;
     checkGrammarTypeArguments(node, node.typeArguments);
     const signature = getResolvedSignature(
       node,
@@ -70085,7 +70154,7 @@ function createTypeChecker(host) {
     }
     if (node.kind === 211 /* NewExpression */) {
       const declaration = signature.declaration;
-      if (declaration && declaration.kind !== 173 /* Constructor */ && declaration.kind !== 177 /* ConstructSignature */ && declaration.kind !== 182 /* ConstructorType */ && !isJSDocConstructSignature(declaration) && !isJSConstructor(declaration)) {
+      if (declaration && declaration.kind !== 173 /* Constructor */ && declaration.kind !== 177 /* ConstructSignature */ && declaration.kind !== 182 /* ConstructorType */ && !(isJSDocSignature(declaration) && ((_b = (_a2 = getJSDocRoot(declaration)) == null ? void 0 : _a2.parent) == null ? void 0 : _b.kind) === 173 /* Constructor */) && !isJSDocConstructSignature(declaration) && !isJSConstructor(declaration)) {
         if (noImplicitAny) {
           error(node, Diagnostics.new_expression_whose_target_lacks_a_construct_signature_implicitly_has_an_any_type);
         }
@@ -70113,7 +70182,7 @@ function createTypeChecker(host) {
         /*allowDeclaration*/
         false
       );
-      if ((_a2 = jsSymbol == null ? void 0 : jsSymbol.exports) == null ? void 0 : _a2.size) {
+      if ((_c = jsSymbol == null ? void 0 : jsSymbol.exports) == null ? void 0 : _c.size) {
         const jsAssignmentType = createAnonymousType(jsSymbol, jsSymbol.exports, emptyArray, emptyArray, emptyArray);
         jsAssignmentType.objectFlags |= 4096 /* JSLiteral */;
         return getIntersectionType([returnType, jsAssignmentType]);