@typescript-deploys/pr-build 5.0.0-pr-52617-10 → 5.0.0-pr-52282-27

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230205`;
+var version = `${versionMajorMinor}.0-insiders.20230207`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -7272,6 +7272,10 @@ var Diagnostics = {
   Conditions_to_set_in_addition_to_the_resolver_specific_defaults_when_resolving_imports: diag(6410, 3 /* Message */, "Conditions_to_set_in_addition_to_the_resolver_specific_defaults_when_resolving_imports_6410", "Conditions to set in addition to the resolver-specific defaults when resolving imports."),
   true_when_moduleResolution_is_node16_nodenext_or_bundler_otherwise_false: diag(6411, 3 /* Message */, "true_when_moduleResolution_is_node16_nodenext_or_bundler_otherwise_false_6411", "`true` when 'moduleResolution' is 'node16', 'nodenext', or 'bundler'; otherwise `false`."),
   Project_0_is_out_of_date_because_buildinfo_file_1_indicates_that_file_2_was_root_file_of_compilation_but_not_any_more: diag(6412, 3 /* Message */, "Project_0_is_out_of_date_because_buildinfo_file_1_indicates_that_file_2_was_root_file_of_compilation_6412", "Project '{0}' is out of date because buildinfo file '{1}' indicates that file '{2}' was root file of compilation but not any more."),
+  Entering_conditional_exports: diag(6413, 3 /* Message */, "Entering_conditional_exports_6413", "Entering conditional exports."),
+  Resolved_under_condition_0: diag(6414, 3 /* Message */, "Resolved_under_condition_0_6414", "Resolved under condition '{0}'."),
+  Failed_to_resolve_under_condition_0: diag(6415, 3 /* Message */, "Failed_to_resolve_under_condition_0_6415", "Failed to resolve under condition '{0}'."),
+  Exiting_conditional_exports: diag(6416, 3 /* Message */, "Exiting_conditional_exports_6416", "Exiting conditional exports."),
   The_expected_type_comes_from_property_0_which_is_declared_here_on_type_1: diag(6500, 3 /* Message */, "The_expected_type_comes_from_property_0_which_is_declared_here_on_type_1_6500", "The expected type comes from property '{0}' which is declared here on type '{1}'"),
   The_expected_type_comes_from_this_index_signature: diag(6501, 3 /* Message */, "The_expected_type_comes_from_this_index_signature_6501", "The expected type comes from this index signature."),
   The_expected_type_comes_from_the_return_type_of_this_signature: diag(6502, 3 /* Message */, "The_expected_type_comes_from_the_return_type_of_this_signature_6502", "The expected type comes from the return type of this signature."),
@@ -37788,18 +37792,24 @@ function getLoadModuleFromTargetImportOrExport(extensions, state, cache, redirec
       )));
     } else if (typeof target === "object" && target !== null) {
       if (!Array.isArray(target)) {
+        traceIfEnabled(state, Diagnostics.Entering_conditional_exports);
         for (const condition of getOwnKeys(target)) {
           if (condition === "default" || state.conditions.indexOf(condition) >= 0 || isApplicableVersionedTypesKey(state.conditions, condition)) {
             traceIfEnabled(state, Diagnostics.Matched_0_condition_1, isImports ? "imports" : "exports", condition);
             const subTarget = target[condition];
             const result = loadModuleFromTargetImportOrExport(subTarget, subpath, pattern, key);
             if (result) {
+              traceIfEnabled(state, Diagnostics.Resolved_under_condition_0, condition);
+              traceIfEnabled(state, Diagnostics.Exiting_conditional_exports);
               return result;
+            } else {
+              traceIfEnabled(state, Diagnostics.Failed_to_resolve_under_condition_0, condition);
             }
           } else {
             traceIfEnabled(state, Diagnostics.Saw_non_matching_condition_0, condition);
           }
         }
+        traceIfEnabled(state, Diagnostics.Exiting_conditional_exports);
         return void 0;
       } else {
         if (!length(target)) {
@@ -41429,7 +41439,7 @@ function computeModuleSpecifiers(modulePaths, compilerOptions, importingSourceFi
   let redirectPathsSpecifiers;
   let relativeSpecifiers;
   for (const modulePath of modulePaths) {
-    const specifier = tryGetModuleNameAsNodeModule(
+    const specifier = modulePath.isInNodeModules ? tryGetModuleNameAsNodeModule(
       modulePath,
       info,
       importingSourceFile,
@@ -41439,7 +41449,7 @@ function computeModuleSpecifiers(modulePaths, compilerOptions, importingSourceFi
       /*packageNameOnly*/
       void 0,
       options.overrideImportMode
-    );
+    ) : void 0;
     nodeModulesSpecifiers = append(nodeModulesSpecifiers, specifier);
     if (specifier && modulePath.isRedirect) {
       return nodeModulesSpecifiers;
@@ -42112,6 +42122,7 @@ var SignatureCheckMode = /* @__PURE__ */ ((SignatureCheckMode3) => {
   SignatureCheckMode3[SignatureCheckMode3["StrictCallback"] = 2] = "StrictCallback";
   SignatureCheckMode3[SignatureCheckMode3["IgnoreReturnTypes"] = 4] = "IgnoreReturnTypes";
   SignatureCheckMode3[SignatureCheckMode3["StrictArity"] = 8] = "StrictArity";
+  SignatureCheckMode3[SignatureCheckMode3["StrictTopSignature"] = 16] = "StrictTopSignature";
   SignatureCheckMode3[SignatureCheckMode3["Callback"] = 3] = "Callback";
   return SignatureCheckMode3;
 })(SignatureCheckMode || {});
@@ -47516,7 +47527,7 @@ function createTypeChecker(host) {
       if (signature.thisParameter) {
         return symbolToParameterDeclaration(signature.thisParameter, context);
       }
-      if (signature.declaration) {
+      if (signature.declaration && isInJSFile(signature.declaration)) {
         const thisTag = getJSDocThisTag(signature.declaration);
         if (thisTag && thisTag.typeExpression) {
           return factory.createParameterDeclaration(
@@ -50497,7 +50508,7 @@ function createTypeChecker(host) {
   function getWidenedTypeForAssignmentDeclaration(symbol, resolvedSymbol) {
     const container = getAssignedExpandoInitializer(symbol.valueDeclaration);
     if (container) {
-      const tag = getJSDocTypeTag(container);
+      const tag = isInJSFile(container) ? getJSDocTypeTag(container) : void 0;
       if (tag && tag.typeExpression) {
         return getTypeFromTypeNode(tag.typeExpression);
       }
@@ -58219,16 +58230,24 @@ function createTypeChecker(host) {
       void 0
     ) !== 0 /* False */;
   }
-  function isAnySignature(s) {
-    return !s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s) && (getTypeOfParameter(s.parameters[0]) === anyArrayType || isTypeAny(getTypeOfParameter(s.parameters[0]))) && isTypeAny(getReturnTypeOfSignature(s));
+  function isTopSignature(s) {
+    if (!s.typeParameters && (!s.thisParameter || isTypeAny(getTypeOfParameter(s.thisParameter))) && s.parameters.length === 1 && signatureHasRestParameter(s)) {
+      const paramType = getTypeOfParameter(s.parameters[0]);
+      const restType = isArrayType(paramType) ? getTypeArguments(paramType)[0] : paramType;
+      return !!(restType.flags & (1 /* Any */ | 131072 /* Never */) && getReturnTypeOfSignature(s).flags & 3 /* AnyOrUnknown */);
+    }
+    return false;
   }
   function compareSignaturesRelated(source, target, checkMode, reportErrors2, errorReporter, incompatibleErrorReporter, compareTypes, reportUnreliableMarkers) {
     if (source === target) {
       return -1 /* True */;
     }
-    if (isAnySignature(target)) {
+    if (!(checkMode & 16 /* StrictTopSignature */ && isTopSignature(source)) && isTopSignature(target)) {
       return -1 /* True */;
     }
+    if (checkMode & 16 /* StrictTopSignature */ && isTopSignature(source) && !isTopSignature(target)) {
+      return 0 /* False */;
+    }
     const targetCount = getParameterCount(target);
     const sourceHasMoreParameters = !hasEffectiveRestParameter(target) && (checkMode & 8 /* StrictArity */ ? hasEffectiveRestParameter(source) || getParameterCount(source) > targetCount : getMinArgumentCount(source) > targetCount);
     if (sourceHasMoreParameters) {
@@ -58446,7 +58465,9 @@ function createTypeChecker(host) {
   function isSimpleTypeRelatedTo(source, target, relation, errorReporter) {
     const s = source.flags;
     const t = target.flags;
-    if (t & 3 /* AnyOrUnknown */ || s & 131072 /* Never */ || source === wildcardType)
+    if (t & 1 /* Any */ || s & 131072 /* Never */ || source === wildcardType)
+      return true;
+    if (t & 2 /* Unknown */ && !(relation === strictSubtypeRelation && s & 1 /* Any */))
       return true;
     if (t & 131072 /* Never */)
       return false;
@@ -60686,10 +60707,11 @@ 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, intersectionState, incompatibleReporter) {
+      const checkMode = relation === subtypeRelation ? 16 /* StrictTopSignature */ : relation === strictSubtypeRelation ? 16 /* StrictTopSignature */ | 8 /* StrictArity */ : 0 /* None */;
       return compareSignaturesRelated(
         erase ? getErasedSignature(source2) : source2,
         erase ? getErasedSignature(target2) : target2,
-        relation === strictSubtypeRelation ? 8 /* StrictArity */ : 0,
+        checkMode,
         reportErrors2,
         reportError,
         incompatibleReporter,
@@ -60814,7 +60836,7 @@ function createTypeChecker(host) {
       if (sourceInfo) {
         return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState);
       }
-      if (!(intersectionState & 1 /* Source */) && isObjectTypeWithInferableIndex(source2)) {
+      if (!(intersectionState & 1 /* Source */) && (relation !== strictSubtypeRelation || getObjectFlags(source2) & 8192 /* FreshLiteral */) && isObjectTypeWithInferableIndex(source2)) {
         return membersRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
       }
       if (reportErrors2) {
@@ -61333,8 +61355,7 @@ function createTypeChecker(host) {
     return !!elementType && isEmptyLiteralType(elementType);
   }
   function isTupleLikeType(type) {
-    let lengthType;
-    return isTupleType(type) || !!getPropertyOfType(type, "0") || isArrayLikeType(type) && !!(lengthType = getTypeOfPropertyOfType(type, "length")) && everyType(lengthType, (t) => !!(t.flags & 256 /* NumberLiteral */));
+    return isTupleType(type) || !!getPropertyOfType(type, "0");
   }
   function isArrayOrTupleLikeType(type) {
     return isArrayLikeType(type) || isTupleLikeType(type);
@@ -64673,52 +64694,58 @@ function createTypeChecker(host) {
       if (!isTypeDerivedFrom(rightType, globalFunctionType)) {
         return type;
       }
-      let targetType;
-      const prototypeProperty = getPropertyOfType(rightType, "prototype");
-      if (prototypeProperty) {
-        const prototypePropertyType = getTypeOfSymbol(prototypeProperty);
-        if (!isTypeAny(prototypePropertyType)) {
-          targetType = prototypePropertyType;
-        }
-      }
-      if (isTypeAny(type) && (targetType === globalObjectType || targetType === globalFunctionType)) {
+      const instanceType = mapType(rightType, getInstanceType);
+      if (isTypeAny(type) && (instanceType === globalObjectType || instanceType === globalFunctionType) || !assumeTrue && !(instanceType.flags & 524288 /* Object */ && !isEmptyAnonymousObjectType(instanceType))) {
         return type;
       }
-      if (!targetType) {
-        const constructSignatures = getSignaturesOfType(rightType, 1 /* Construct */);
-        targetType = constructSignatures.length ? getUnionType(map(constructSignatures, (signature) => getReturnTypeOfSignature(getErasedSignature(signature)))) : emptyObjectType;
-      }
-      if (!assumeTrue && rightType.flags & 1048576 /* Union */) {
-        const nonConstructorTypeInUnion = find(rightType.types, (t) => !isConstructorType(t));
-        if (!nonConstructorTypeInUnion)
-          return type;
-      }
       return getNarrowedType(
         type,
-        targetType,
+        instanceType,
         assumeTrue,
         /*checkDerived*/
         true
       );
     }
+    function getInstanceType(constructorType) {
+      const prototypePropertyType = getTypeOfPropertyOfType(constructorType, "prototype");
+      if (prototypePropertyType && !isTypeAny(prototypePropertyType)) {
+        return prototypePropertyType;
+      }
+      const constructSignatures = getSignaturesOfType(constructorType, 1 /* Construct */);
+      if (constructSignatures.length) {
+        return getUnionType(map(constructSignatures, (signature) => getReturnTypeOfSignature(getErasedSignature(signature))));
+      }
+      return emptyObjectType;
+    }
     function getNarrowedType(type, candidate, assumeTrue, checkDerived) {
       var _a3;
       const key2 = type.flags & 1048576 /* Union */ ? `N${getTypeId(type)},${getTypeId(candidate)},${(assumeTrue ? 1 : 0) | (checkDerived ? 2 : 0)}` : void 0;
       return (_a3 = getCachedType(key2)) != null ? _a3 : setCachedType(key2, getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived));
     }
     function getNarrowedTypeWorker(type, candidate, assumeTrue, checkDerived) {
-      const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
       if (!assumeTrue) {
-        return filterType(type, (t) => !isRelated(t, candidate));
+        if (checkDerived) {
+          return filterType(type, (t) => !isTypeDerivedFrom(t, candidate));
+        }
+        const trueType2 = getNarrowedType(
+          type,
+          candidate,
+          /*assumeTrue*/
+          true,
+          /*checkDerived*/
+          false
+        );
+        return filterType(type, (t) => !isTypeSubsetOf(t, trueType2));
       }
       if (type.flags & 3 /* AnyOrUnknown */) {
         return candidate;
       }
+      const isRelated = checkDerived ? isTypeDerivedFrom : isTypeSubtypeOf;
       const keyPropertyName = type.flags & 1048576 /* Union */ ? getKeyPropertyName(type) : void 0;
       const narrowedType = mapType(candidate, (c) => {
         const discriminant = keyPropertyName && getTypeOfPropertyOfType(c, keyPropertyName);
         const matching = discriminant && getConstituentTypeForKeyType(type, discriminant);
-        const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
+        const directlyRelated = mapType(matching || type, checkDerived ? (t) => isTypeDerivedFrom(t, c) ? t : isTypeDerivedFrom(c, t) ? c : neverType : (t) => isTypeSubtypeOf(c, t) && !isTypeIdenticalTo(c, t) ? c : isTypeSubtypeOf(t, c) ? t : neverType);
         return directlyRelated.flags & 131072 /* Never */ ? mapType(type, (t) => maybeTypeOfKind(t, 465829888 /* Instantiable */) && isRelated(c, getBaseConstraintOfType(t) || unknownType) ? getIntersectionType([t, c]) : neverType) : directlyRelated;
       });
       return !(narrowedType.flags & 131072 /* Never */) ? narrowedType : isTypeSubtypeOf(candidate, type) ? candidate : isTypeAssignableTo(type, candidate) ? type : isTypeAssignableTo(candidate, type) ? candidate : getIntersectionType([type, candidate]);
@@ -72474,7 +72501,7 @@ function createTypeChecker(host) {
           return leftType;
         } else {
           checkAssignmentOperator(rightType);
-          return getRegularTypeOfObjectLiteral(rightType);
+          return rightType;
         }
       case 27 /* CommaToken */:
         if (!compilerOptions.allowUnreachableCode && isSideEffectFree(left) && !isIndirectCall(left.parent)) {
@@ -111973,14 +112000,14 @@ var moduleResolutionNameAndModeGetter = {
 function createModuleResolutionLoader(containingFile, redirectedReference, options, host, cache) {
   return {
     nameAndMode: moduleResolutionNameAndModeGetter,
-    resolve: (moduleName, resoluionMode) => resolveModuleName(
+    resolve: (moduleName, resolutionMode) => resolveModuleName(
       moduleName,
       containingFile,
       options,
       host,
       cache,
       redirectedReference,
-      resoluionMode
+      resolutionMode
     )
   };
 }