@typescript-deploys/pr-build 5.0.0-pr-52577-2 → 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.20230202`;
+var version = `${versionMajorMinor}.0-insiders.20230207`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6572,7 +6572,6 @@ var Diagnostics = {
   Cannot_find_type_definition_file_for_0: diag(2688, 1 /* Error */, "Cannot_find_type_definition_file_for_0_2688", "Cannot find type definition file for '{0}'."),
   Cannot_extend_an_interface_0_Did_you_mean_implements: diag(2689, 1 /* Error */, "Cannot_extend_an_interface_0_Did_you_mean_implements_2689", "Cannot extend an interface '{0}'. Did you mean 'implements'?"),
   _0_only_refers_to_a_type_but_is_being_used_as_a_value_here_Did_you_mean_to_use_1_in_0: diag(2690, 1 /* Error */, "_0_only_refers_to_a_type_but_is_being_used_as_a_value_here_Did_you_mean_to_use_1_in_0_2690", "'{0}' only refers to a type, but is being used as a value here. Did you mean to use '{1} in {0}'?"),
-  An_import_path_cannot_end_with_a_0_extension_Consider_importing_1_instead: diag(2691, 1 /* Error */, "An_import_path_cannot_end_with_a_0_extension_Consider_importing_1_instead_2691", "An import path cannot end with a '{0}' extension. Consider importing '{1}' instead."),
   _0_is_a_primitive_but_1_is_a_wrapper_object_Prefer_using_0_when_possible: diag(2692, 1 /* Error */, "_0_is_a_primitive_but_1_is_a_wrapper_object_Prefer_using_0_when_possible_2692", "'{0}' is a primitive, but '{1}' is a wrapper object. Prefer using '{0}' when possible."),
   _0_only_refers_to_a_type_but_is_being_used_as_a_value_here: diag(2693, 1 /* Error */, "_0_only_refers_to_a_type_but_is_being_used_as_a_value_here_2693", "'{0}' only refers to a type, but is being used as a value here."),
   Namespace_0_has_no_exported_member_1: diag(2694, 1 /* Error */, "Namespace_0_has_no_exported_member_1_2694", "Namespace '{0}' has no exported member '{1}'."),
@@ -7273,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."),
@@ -37789,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)) {
@@ -41430,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,
@@ -41440,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;
@@ -42113,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 || {});
@@ -42500,6 +42510,7 @@ function createTypeChecker(host) {
     isArrayType,
     isTupleType,
     isArrayLikeType,
+    isEmptyAnonymousObjectType,
     isTypeInvalidDueToUnionDiscriminant,
     getExactOptionalProperties,
     getAllPossiblePropertiesOfTypes,
@@ -45362,12 +45373,9 @@ function createTypeChecker(host) {
       if (resolutionDiagnostic) {
         error(errorNode, resolutionDiagnostic, moduleReference, resolvedModule.resolvedFileName);
       } else {
-        const tsExtension = tryExtractTSExtension(moduleReference);
         const isExtensionlessRelativePathImport = pathIsRelative(moduleReference) && !hasExtension(moduleReference);
         const resolutionIsNode16OrNext = moduleResolutionKind === 3 /* Node16 */ || moduleResolutionKind === 99 /* NodeNext */;
-        if (tsExtension) {
-          errorOnTSExtensionImport(tsExtension);
-        } else if (!getResolveJsonModule(compilerOptions) && fileExtensionIs(moduleReference, ".json" /* Json */) && moduleResolutionKind !== 1 /* Classic */ && hasJsonModuleEmitEnabled(compilerOptions)) {
+        if (!getResolveJsonModule(compilerOptions) && fileExtensionIs(moduleReference, ".json" /* Json */) && moduleResolutionKind !== 1 /* Classic */ && hasJsonModuleEmitEnabled(compilerOptions)) {
           error(errorNode, Diagnostics.Cannot_find_module_0_Consider_using_resolveJsonModule_to_import_module_with_json_extension, moduleReference);
         } else if (mode === 99 /* ESNext */ && resolutionIsNode16OrNext && isExtensionlessRelativePathImport) {
           const absoluteRef = getNormalizedAbsolutePath(moduleReference, getDirectoryPath(currentSourceFile.path));
@@ -45387,10 +45395,6 @@ function createTypeChecker(host) {
       }
     }
     return void 0;
-    function errorOnTSExtensionImport(tsExtension) {
-      const diag2 = Diagnostics.An_import_path_cannot_end_with_a_0_extension_Consider_importing_1_instead;
-      error(errorNode, diag2, tsExtension, getSuggestedImportSource(tsExtension));
-    }
     function getSuggestedImportSource(tsExtension) {
       const importSourceWithoutExtension = removeExtension(moduleReference, tsExtension);
       if (emitModuleKindIsNonNodeESM(moduleKind) || mode === 99 /* ESNext */) {
@@ -47523,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(
@@ -50504,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);
       }
@@ -54388,7 +54392,7 @@ function createTypeChecker(host) {
     return links.resolvedJSDocType;
   }
   function getSubstitutionType(baseType, constraint) {
-    if (constraint.flags & 3 /* AnyOrUnknown */ || constraint === baseType) {
+    if (constraint.flags & 3 /* AnyOrUnknown */ || constraint === baseType || baseType.flags & 1 /* Any */) {
       return baseType;
     }
     const id = `${getTypeId(baseType)}>${getTypeId(constraint)}`;
@@ -56075,7 +56079,7 @@ function createTypeChecker(host) {
           }
         }
         const propType = getTypeOfSymbol(prop);
-        return accessExpression && getAssignmentTargetKind(accessExpression) !== 1 /* Definite */ ? getFlowTypeOfReference(accessExpression, propType) : propType;
+        return accessExpression && getAssignmentTargetKind(accessExpression) !== 1 /* Definite */ ? getFlowTypeOfReference(accessExpression, propType) : accessNode && isIndexedAccessTypeNode(accessNode) && containsMissingType(propType) ? getUnionType([propType, undefinedType]) : propType;
       }
       if (everyType(objectType, isTupleType) && isNumericLiteralName(propName)) {
         const index = +propName;
@@ -58226,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) {
@@ -58453,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;
@@ -60693,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,
@@ -60821,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) {
@@ -64679,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]);
@@ -72480,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)) {
@@ -77892,7 +77913,7 @@ function createTypeChecker(host) {
             getNodeLinks(node).flags |= 2048 /* LexicalModuleMergesWithClass */;
           }
         }
-        if (compilerOptions.verbatimModuleSyntax && node.parent.kind === 308 /* SourceFile */) {
+        if (compilerOptions.verbatimModuleSyntax && node.parent.kind === 308 /* SourceFile */ && (moduleKind === 1 /* CommonJS */ || node.parent.impliedNodeFormat === 1 /* CommonJS */)) {
           const exportModifier = (_b = node.modifiers) == null ? void 0 : _b.find((m) => m.kind === 93 /* ExportKeyword */);
           if (exportModifier) {
             error(exportModifier, Diagnostics.A_top_level_export_modifier_cannot_be_used_on_value_declarations_in_a_CommonJS_module_when_verbatimModuleSyntax_is_enabled);
@@ -111979,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
     )
   };
 }