typescript 5.4.0-dev.20240109 → 5.4.0-dev.20240111

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20240109`;
+var version = `${versionMajorMinor}.0-dev.20240111`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -12673,7 +12673,7 @@ function isPartOfTypeNode(node) {
     case 116 /* VoidKeyword */:
       return node.parent.kind !== 222 /* VoidExpression */;
     case 233 /* ExpressionWithTypeArguments */:
-      return isHeritageClause(node.parent) && !isExpressionWithTypeArgumentsInClassExtendsClause(node);
+      return isPartOfTypeExpressionWithTypeArguments(node);
     case 168 /* TypeParameter */:
       return node.parent.kind === 200 /* MappedType */ || node.parent.kind === 195 /* InferType */;
     case 80 /* Identifier */:
@@ -12698,7 +12698,7 @@ function isPartOfTypeNode(node) {
       }
       switch (parent.kind) {
         case 233 /* ExpressionWithTypeArguments */:
-          return isHeritageClause(parent.parent) && !isExpressionWithTypeArgumentsInClassExtendsClause(parent);
+          return isPartOfTypeExpressionWithTypeArguments(parent);
         case 168 /* TypeParameter */:
           return node === parent.constraint;
         case 352 /* JSDocTemplateTag */:
@@ -12732,6 +12732,9 @@ function isPartOfTypeNode(node) {
   }
   return false;
 }
+function isPartOfTypeExpressionWithTypeArguments(node) {
+  return isJSDocImplementsTag(node.parent) || isJSDocAugmentsTag(node.parent) || isHeritageClause(node.parent) && !isExpressionWithTypeArgumentsInClassExtendsClause(node);
+}
 function forEachReturnStatement(body, visitor) {
   return traverse(body);
   function traverse(node) {
@@ -17668,6 +17671,9 @@ var stringReplace = String.prototype.replace;
 function replaceFirstStar(s, replacement) {
   return stringReplace.call(s, "*", replacement);
 }
+function getNameFromImportAttribute(node) {
+  return isIdentifier(node.name) ? node.name.escapedText : escapeLeadingUnderscores(node.name.text);
+}
 
 // src/compiler/factory/baseNodeFactory.ts
 function createBaseNodeFactory() {
@@ -44281,6 +44287,14 @@ function createTypeChecker(host) {
     emptyArray,
     emptyArray
   );
+  var resolvingApparentMappedType = createAnonymousType(
+    /*symbol*/
+    void 0,
+    emptySymbols,
+    emptyArray,
+    emptyArray,
+    emptyArray
+  );
   var markerSuperType = createTypeParameter();
   var markerSubType = createTypeParameter();
   markerSubType.constraint = markerSuperType;
@@ -44435,6 +44449,7 @@ function createTypeChecker(host) {
   var deferredGlobalImportMetaType;
   var deferredGlobalImportMetaExpressionType;
   var deferredGlobalImportCallOptionsType;
+  var deferredGlobalImportAttributesType;
   var deferredGlobalDisposableType;
   var deferredGlobalAsyncDisposableType;
   var deferredGlobalExtractSymbol;
@@ -47330,29 +47345,7 @@ function createTypeChecker(host) {
   function getContainersOfSymbol(symbol, enclosingDeclaration, meaning) {
     const container = getParentOfSymbol(symbol);
     if (container && !(symbol.flags & 262144 /* TypeParameter */)) {
-      const additionalContainers = mapDefined(container.declarations, fileSymbolIfFileSymbolExportEqualsContainer);
-      const reexportContainers = enclosingDeclaration && getAlternativeContainingModules(symbol, enclosingDeclaration);
-      const objectLiteralContainer = getVariableDeclarationOfObjectLiteral(container, meaning);
-      if (enclosingDeclaration && container.flags & getQualifiedLeftMeaning(meaning) && getAccessibleSymbolChain(
-        container,
-        enclosingDeclaration,
-        1920 /* Namespace */,
-        /*useOnlyExternalAliasing*/
-        false
-      )) {
-        return append(concatenate(concatenate([container], additionalContainers), reexportContainers), objectLiteralContainer);
-      }
-      const firstVariableMatch = !(container.flags & getQualifiedLeftMeaning(meaning)) && container.flags & 788968 /* Type */ && getDeclaredTypeOfSymbol(container).flags & 524288 /* Object */ && meaning === 111551 /* Value */ ? forEachSymbolTableInScope(enclosingDeclaration, (t) => {
-        return forEachEntry(t, (s) => {
-          if (s.flags & getQualifiedLeftMeaning(meaning) && getTypeOfSymbol(s) === getDeclaredTypeOfSymbol(container)) {
-            return s;
-          }
-        });
-      }) : void 0;
-      let res = firstVariableMatch ? [firstVariableMatch, ...additionalContainers, container] : [...additionalContainers, container];
-      res = append(res, objectLiteralContainer);
-      res = addRange(res, reexportContainers);
-      return res;
+      return getWithAlternativeContainers(container);
     }
     const candidates = mapDefined(symbol.declarations, (d) => {
       if (!isAmbientModule(d) && d.parent) {
@@ -47374,7 +47367,40 @@ function createTypeChecker(host) {
     if (!length(candidates)) {
       return void 0;
     }
-    return mapDefined(candidates, (candidate) => getAliasForSymbolInContainer(candidate, symbol) ? candidate : void 0);
+    const containers = mapDefined(candidates, (candidate) => getAliasForSymbolInContainer(candidate, symbol) ? candidate : void 0);
+    let bestContainers = [];
+    let alternativeContainers = [];
+    for (const container2 of containers) {
+      const [bestMatch, ...rest] = getWithAlternativeContainers(container2);
+      bestContainers = append(bestContainers, bestMatch);
+      alternativeContainers = addRange(alternativeContainers, rest);
+    }
+    return concatenate(bestContainers, alternativeContainers);
+    function getWithAlternativeContainers(container2) {
+      const additionalContainers = mapDefined(container2.declarations, fileSymbolIfFileSymbolExportEqualsContainer);
+      const reexportContainers = enclosingDeclaration && getAlternativeContainingModules(symbol, enclosingDeclaration);
+      const objectLiteralContainer = getVariableDeclarationOfObjectLiteral(container2, meaning);
+      if (enclosingDeclaration && container2.flags & getQualifiedLeftMeaning(meaning) && getAccessibleSymbolChain(
+        container2,
+        enclosingDeclaration,
+        1920 /* Namespace */,
+        /*useOnlyExternalAliasing*/
+        false
+      )) {
+        return append(concatenate(concatenate([container2], additionalContainers), reexportContainers), objectLiteralContainer);
+      }
+      const firstVariableMatch = !(container2.flags & getQualifiedLeftMeaning(meaning)) && container2.flags & 788968 /* Type */ && getDeclaredTypeOfSymbol(container2).flags & 524288 /* Object */ && meaning === 111551 /* Value */ ? forEachSymbolTableInScope(enclosingDeclaration, (t) => {
+        return forEachEntry(t, (s) => {
+          if (s.flags & getQualifiedLeftMeaning(meaning) && getTypeOfSymbol(s) === getDeclaredTypeOfSymbol(container2)) {
+            return s;
+          }
+        });
+      }) : void 0;
+      let res = firstVariableMatch ? [firstVariableMatch, ...additionalContainers, container2] : [...additionalContainers, container2];
+      res = append(res, objectLiteralContainer);
+      res = addRange(res, reexportContainers);
+      return res;
+    }
     function fileSymbolIfFileSymbolExportEqualsContainer(d) {
       return container && getFileSymbolIfFileSymbolExportEqualsContainer(d, container);
     }
@@ -47412,6 +47438,13 @@ function createTypeChecker(host) {
     });
   }
   function getSymbolIfSameReference(s1, s2) {
+    var _a, _b;
+    if (s1.flags & 524288 /* TypeAlias */ && ((_a = s2.declarations) == null ? void 0 : _a.find(isTypeAlias))) {
+      s2 = getDeclaredTypeOfTypeAlias(s2).aliasSymbol || s2;
+    }
+    if (s2.flags & 524288 /* TypeAlias */ && ((_b = s1.declarations) == null ? void 0 : _b.find(isTypeAlias))) {
+      s1 = getDeclaredTypeOfTypeAlias(s1).aliasSymbol || s1;
+    }
     if (getMergedSymbol(resolveSymbol(getMergedSymbol(s1))) === getMergedSymbol(resolveSymbol(getMergedSymbol(s2)))) {
       return s1;
     }
@@ -52654,7 +52687,7 @@ function createTypeChecker(host) {
         /*reportErrors*/
         false
       ) : unknownType;
-      return addOptionality(widenTypeInferredFromInitializer(element, checkDeclarationInitializer(element, 0 /* Normal */, contextualType)));
+      return addOptionality(widenTypeInferredFromInitializer(element, checkDeclarationInitializer(element, reportErrors2 ? 0 /* Normal */ : 1 /* Contextual */, contextualType)));
     }
     if (isBindingPattern(element.name)) {
       return getTypeFromBindingPattern(element.name, includePatternInType, reportErrors2);
@@ -52735,6 +52768,24 @@ function createTypeChecker(host) {
       0 /* Normal */
     ), declaration, reportErrors2);
   }
+  function getTypeFromImportAttributes(node) {
+    const links = getNodeLinks(node);
+    if (!links.resolvedType) {
+      const symbol = createSymbol(4096 /* ObjectLiteral */, "__importAttributes" /* ImportAttributes */);
+      const members = createSymbolTable();
+      forEach(node.elements, (attr) => {
+        const member = createSymbol(4 /* Property */, getNameFromImportAttribute(attr));
+        member.parent = symbol;
+        member.links.type = checkImportAttribute(attr);
+        member.links.target = member;
+        members.set(member.escapedName, member);
+      });
+      const type = createAnonymousType(symbol, members, emptyArray, emptyArray, emptyArray);
+      type.objectFlags |= 128 /* ObjectLiteral */ | 262144 /* NonInferrableType */;
+      links.resolvedType = type;
+    }
+    return links.resolvedType;
+  }
   function isGlobalSymbolConstructor(node) {
     const symbol = getSymbolOfNode(node);
     const globalSymbol = getGlobalESSymbolConstructorTypeSymbol(
@@ -52788,18 +52839,18 @@ function createTypeChecker(host) {
     }
     return false;
   }
-  function getTypeOfVariableOrParameterOrProperty(symbol) {
+  function getTypeOfVariableOrParameterOrProperty(symbol, checkMode) {
     const links = getSymbolLinks(symbol);
     if (!links.type) {
-      const type = getTypeOfVariableOrParameterOrPropertyWorker(symbol);
-      if (!links.type && !isParameterOfContextSensitiveSignature(symbol)) {
+      const type = getTypeOfVariableOrParameterOrPropertyWorker(symbol, checkMode);
+      if (!links.type && !isParameterOfContextSensitiveSignature(symbol) && !checkMode) {
         links.type = type;
       }
       return type;
     }
     return links.type;
   }
-  function getTypeOfVariableOrParameterOrPropertyWorker(symbol) {
+  function getTypeOfVariableOrParameterOrPropertyWorker(symbol, checkMode) {
     if (symbol.flags & 4194304 /* Prototype */) {
       return getTypeOfPrototypeProperty(symbol);
     }
@@ -52837,6 +52888,9 @@ function createTypeChecker(host) {
       if (symbol.flags & 512 /* ValueModule */ && !(symbol.flags & 67108864 /* Assignment */)) {
         return getTypeOfFuncClassEnumModule(symbol);
       }
+      if (isBindingElement(declaration) && checkMode === 1 /* Contextual */) {
+        return errorType;
+      }
       return reportCircularityError(symbol);
     }
     let type;
@@ -52874,6 +52928,9 @@ function createTypeChecker(host) {
       if (symbol.flags & 512 /* ValueModule */ && !(symbol.flags & 67108864 /* Assignment */)) {
         return getTypeOfFuncClassEnumModule(symbol);
       }
+      if (isBindingElement(declaration) && checkMode === 1 /* Contextual */) {
+        return type;
+      }
       return reportCircularityError(symbol);
     }
     return type;
@@ -53102,7 +53159,7 @@ function createTypeChecker(host) {
     }
     return getTypeOfSymbol(symbol);
   }
-  function getTypeOfSymbol(symbol) {
+  function getTypeOfSymbol(symbol, checkMode) {
     const checkFlags = getCheckFlags(symbol);
     if (checkFlags & 65536 /* DeferredType */) {
       return getTypeOfSymbolWithDeferredType(symbol);
@@ -53117,7 +53174,7 @@ function createTypeChecker(host) {
       return getTypeOfReverseMappedSymbol(symbol);
     }
     if (symbol.flags & (3 /* Variable */ | 4 /* Property */)) {
-      return getTypeOfVariableOrParameterOrProperty(symbol);
+      return getTypeOfVariableOrParameterOrProperty(symbol, checkMode);
     }
     if (symbol.flags & (16 /* Function */ | 8192 /* Method */ | 32 /* Class */ | 384 /* Enum */ | 512 /* ValueModule */)) {
       return getTypeOfFuncClassEnumModule(symbol);
@@ -55150,14 +55207,30 @@ function createTypeChecker(host) {
     return !!(typeParameter.symbol && forEach(typeParameter.symbol.declarations, (decl) => isTypeParameterDeclaration(decl) && decl.default));
   }
   function getApparentTypeOfMappedType(type) {
-    return type.resolvedApparentType || (type.resolvedApparentType = getResolvedApparentTypeOfMappedType(type));
+    if (type.resolvedApparentType) {
+      if (type.resolvedApparentType === resolvingApparentMappedType) {
+        return type.resolvedApparentType = type;
+      }
+      return type.resolvedApparentType;
+    }
+    type.resolvedApparentType = resolvingApparentMappedType;
+    return type.resolvedApparentType = getResolvedApparentTypeOfMappedType(type);
   }
   function getResolvedApparentTypeOfMappedType(type) {
-    const typeVariable = getHomomorphicTypeVariable(type);
-    if (typeVariable && !type.declaration.nameType) {
-      const constraint = getConstraintOfTypeParameter(typeVariable);
+    const mappedType = type.target || type;
+    const typeVariable = getHomomorphicTypeVariable(mappedType);
+    if (typeVariable && !mappedType.declaration.nameType) {
+      let constraint;
+      if (!type.target) {
+        constraint = getConstraintOfTypeParameter(typeVariable);
+      } else {
+        const modifiersConstraint = getConstraintOfType(getModifiersTypeFromMappedType(type));
+        if (modifiersConstraint) {
+          constraint = getApparentType(modifiersConstraint);
+        }
+      }
       if (constraint && everyType(constraint, isArrayOrTupleType)) {
-        return instantiateType(type, prependTypeMapping(typeVariable, constraint, type.mapper));
+        return instantiateType(mappedType, prependTypeMapping(typeVariable, constraint, mappedType.mapper));
       }
     }
     return type;
@@ -55248,6 +55321,7 @@ function createTypeChecker(host) {
         clone2.parent = (_c = (_b = singleProp.valueDeclaration) == null ? void 0 : _b.symbol) == null ? void 0 : _c.parent;
         clone2.links.containingType = containingType;
         clone2.links.mapper = links == null ? void 0 : links.mapper;
+        clone2.links.writeType = getWriteTypeOfSymbol(singleProp);
         return clone2;
       } else {
         return singleProp;
@@ -56716,6 +56790,14 @@ function createTypeChecker(host) {
       reportErrors2
     )) || emptyObjectType;
   }
+  function getGlobalImportAttributesType(reportErrors2) {
+    return deferredGlobalImportAttributesType || (deferredGlobalImportAttributesType = getGlobalType(
+      "ImportAttributes",
+      /*arity*/
+      0,
+      reportErrors2
+    )) || emptyObjectType;
+  }
   function getGlobalESSymbolConstructorSymbol(reportErrors2) {
     return deferredGlobalESSymbolConstructorSymbol || (deferredGlobalESSymbolConstructorSymbol = getGlobalValueSymbol("Symbol", reportErrors2));
   }
@@ -61873,6 +61955,18 @@ function createTypeChecker(host) {
       }
       return result2;
     }
+    function getApparentMappedTypeKeys(nameType, targetType) {
+      const modifiersType = getApparentType(getModifiersTypeFromMappedType(targetType));
+      const mappedKeys = [];
+      forEachMappedTypePropertyKeyTypeAndIndexSignatureKeyType(
+        modifiersType,
+        8576 /* StringOrNumberLiteralOrUnique */,
+        /*stringsOnly*/
+        false,
+        (t) => void mappedKeys.push(instantiateType(nameType, appendTypeMapping(targetType.mapper, getTypeParameterFromMappedType(targetType), t)))
+      );
+      return getUnionType(mappedKeys);
+    }
     function structuredTypeRelatedToWorker(source2, target2, reportErrors2, intersectionState, saveErrorInfo) {
       let result2;
       let originalErrorInfo;
@@ -62055,16 +62149,8 @@ function createTypeChecker(host) {
             const constraintType = getConstraintTypeFromMappedType(targetType);
             let targetKeys;
             if (nameType && isMappedTypeWithKeyofConstraintDeclaration(targetType)) {
-              const modifiersType = getApparentType(getModifiersTypeFromMappedType(targetType));
-              const mappedKeys = [];
-              forEachMappedTypePropertyKeyTypeAndIndexSignatureKeyType(
-                modifiersType,
-                8576 /* StringOrNumberLiteralOrUnique */,
-                /*stringsOnly*/
-                false,
-                (t) => void mappedKeys.push(instantiateType(nameType, appendTypeMapping(targetType.mapper, getTypeParameterFromMappedType(targetType), t)))
-              );
-              targetKeys = getUnionType([...mappedKeys, nameType]);
+              const mappedKeys = getApparentMappedTypeKeys(nameType, targetType);
+              targetKeys = getUnionType([mappedKeys, nameType]);
             } else {
               targetKeys = nameType || constraintType;
             }
@@ -62235,9 +62321,18 @@ function createTypeChecker(host) {
           }
         }
       } else if (sourceFlags & 4194304 /* Index */) {
-        if (result2 = isRelatedTo(keyofConstraintType, target2, 1 /* Source */, reportErrors2)) {
+        const isDeferredMappedIndex = shouldDeferIndexType(source2.type, source2.indexFlags) && getObjectFlags(source2.type) & 32 /* Mapped */;
+        if (result2 = isRelatedTo(keyofConstraintType, target2, 1 /* Source */, reportErrors2 && !isDeferredMappedIndex)) {
           return result2;
         }
+        if (isDeferredMappedIndex) {
+          const mappedType = source2.type;
+          const nameType = getNameTypeFromMappedType(mappedType);
+          const sourceMappedKeys = nameType && isMappedTypeWithKeyofConstraintDeclaration(mappedType) ? getApparentMappedTypeKeys(nameType, mappedType) : nameType || getConstraintTypeFromMappedType(mappedType);
+          if (result2 = isRelatedTo(sourceMappedKeys, target2, 1 /* Source */, reportErrors2)) {
+            return result2;
+          }
+        }
       } else if (sourceFlags & 134217728 /* TemplateLiteral */ && !(targetFlags & 524288 /* Object */)) {
         if (!(targetFlags & 134217728 /* TemplateLiteral */)) {
           const constraint = getBaseConstraintOfType(source2);
@@ -67450,9 +67545,9 @@ function createTypeChecker(host) {
       }
     }
   }
-  function getNarrowedTypeOfSymbol(symbol, location) {
+  function getNarrowedTypeOfSymbol(symbol, location, checkMode) {
     var _a;
-    const type = getTypeOfSymbol(symbol);
+    const type = getTypeOfSymbol(symbol, checkMode);
     const declaration = symbol.valueDeclaration;
     if (declaration) {
       if (isBindingElement(declaration) && !declaration.initializer && !declaration.dotDotDotToken && declaration.parent.elements.length >= 2) {
@@ -67579,7 +67674,7 @@ function createTypeChecker(host) {
       }
     }
     checkNestedBlockScopedBinding(node, symbol);
-    let type = getNarrowedTypeOfSymbol(localOrExportSymbol, node);
+    let type = getNarrowedTypeOfSymbol(localOrExportSymbol, node, checkMode);
     const assignmentKind = getAssignmentTargetKind(node);
     if (assignmentKind) {
       if (!(localOrExportSymbol.flags & 3 /* Variable */) && !(isInJSFile(node) && localOrExportSymbol.flags & 512 /* ValueModule */)) {
@@ -68889,6 +68984,8 @@ function createTypeChecker(host) {
       case 286 /* JsxOpeningElement */:
       case 285 /* JsxSelfClosingElement */:
         return getContextualJsxElementAttributesType(parent, contextFlags);
+      case 301 /* ImportAttribute */:
+        return getContextualImportAttributeType(parent);
     }
     return void 0;
   }
@@ -68936,6 +69033,12 @@ function createTypeChecker(host) {
       }
     }
   }
+  function getContextualImportAttributeType(node) {
+    return getTypeOfPropertyOfContextualType(getGlobalImportAttributesType(
+      /*reportErrors*/
+      false
+    ), getNameFromImportAttribute(node));
+  }
   function getContextualJsxElementAttributesType(node, contextFlags) {
     if (isJsxOpeningElement(node) && contextFlags !== 4 /* Completions */) {
       const index = findContextualNode(
@@ -81021,6 +81124,13 @@ function createTypeChecker(host) {
     var _a;
     const node = declaration.attributes;
     if (node) {
+      const importAttributesType = getGlobalImportAttributesType(
+        /*reportErrors*/
+        true
+      );
+      if (importAttributesType !== emptyObjectType) {
+        checkTypeAssignableTo(getTypeFromImportAttributes(node), getNullableType(importAttributesType, 32768 /* Undefined */), node);
+      }
       const validForTypeAttributes = isExclusivelyTypeOnlyImportOrExport(declaration);
       const override = getResolutionModeOverride(node, validForTypeAttributes ? grammarErrorOnNode : void 0);
       const isImportAttributes2 = declaration.attributes.token === 118 /* WithKeyword */;
@@ -81040,6 +81150,9 @@ function createTypeChecker(host) {
       }
     }
   }
+  function checkImportAttribute(node) {
+    return getRegularTypeOfLiteralType(checkExpressionCached(node.value));
+  }
   function checkImportDeclaration(node) {
     if (checkGrammarModuleElementContext(node, isInJSFile(node) ? Diagnostics.An_import_declaration_can_only_be_used_at_the_top_level_of_a_module : Diagnostics.An_import_declaration_can_only_be_used_at_the_top_level_of_a_namespace_or_module)) {
       return;
@@ -82455,6 +82568,12 @@ function createTypeChecker(host) {
     if (isMetaProperty(node.parent) && node.parent.keywordToken === node.kind) {
       return checkMetaPropertyKeyword(node.parent);
     }
+    if (isImportAttributes(node)) {
+      return getGlobalImportAttributesType(
+        /*reportErrors*/
+        false
+      );
+    }
     return errorType;
   }
   function getTypeOfAssignmentPattern(expr) {
@@ -113477,7 +113596,14 @@ function createPrinter(printerOptions = {}, handlers = {}) {
   function willEmitLeadingNewLine(node) {
     if (!currentSourceFile)
       return false;
-    if (some(getLeadingCommentRanges(currentSourceFile.text, node.pos), commentWillEmitNewLine))
+    const leadingCommentRanges = getLeadingCommentRanges(currentSourceFile.text, node.pos);
+    if (leadingCommentRanges) {
+      const parseNode = getParseTreeNode(node);
+      if (parseNode && isParenthesizedExpression(parseNode.parent)) {
+        return true;
+      }
+    }
+    if (some(leadingCommentRanges, commentWillEmitNewLine))
       return true;
     if (some(getSyntheticLeadingComments(node), commentWillEmitNewLine))
       return true;
@@ -119535,7 +119661,7 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
         }
         const isFromNodeModulesSearch = resolution.isExternalLibraryImport;
         const isJsFile = !resolutionExtensionIsTSOrJson(resolution.extension);
-        const isJsFileFromNodeModules = isFromNodeModulesSearch && isJsFile;
+        const isJsFileFromNodeModules = isFromNodeModulesSearch && isJsFile && (!resolution.originalPath || pathContainsNodeModules(resolution.resolvedFileName));
         const resolvedFileName = resolution.resolvedFileName;
         if (isFromNodeModulesSearch) {
           currentNodeModulesDepth++;