@typescript-deploys/pr-build 5.3.0-pr-55727-5 → 5.3.0-pr-55386-10

package/lib/tsc.js

@@ -1763,7 +1763,7 @@ Node ${formatSyntaxKind(node.kind)} was unexpected.`,
       // for use with vscode-js-debug's new customDescriptionGenerator in launch.json
       __tsDebuggerDisplay: {
         value() {
-          const typeHeader = this.flags & 98304 /* Nullable */ ? "NullableType" : this.flags & 384 /* StringOrNumberLiteral */ ? `LiteralType ${JSON.stringify(this.value)}` : this.flags & 2048 /* BigIntLiteral */ ? `LiteralType ${this.value.negative ? "-" : ""}${this.value.base10Value}n` : this.flags & 8192 /* UniqueESSymbol */ ? "UniqueESSymbolType" : this.flags & 32 /* Enum */ ? "EnumType" : this.flags & 67359327 /* Intrinsic */ ? `IntrinsicType ${this.intrinsicName}` : this.flags & 1048576 /* Union */ ? "UnionType" : this.flags & 2097152 /* Intersection */ ? "IntersectionType" : this.flags & 4194304 /* Index */ ? "IndexType" : this.flags & 8388608 /* IndexedAccess */ ? "IndexedAccessType" : this.flags & 16777216 /* Conditional */ ? "ConditionalType" : this.flags & 33554432 /* Substitution */ ? "SubstitutionType" : this.flags & 262144 /* TypeParameter */ ? "TypeParameter" : this.flags & 524288 /* Object */ ? this.objectFlags & 3 /* ClassOrInterface */ ? "InterfaceType" : this.objectFlags & 4 /* Reference */ ? "TypeReference" : this.objectFlags & 8 /* Tuple */ ? "TupleType" : this.objectFlags & 16 /* Anonymous */ ? "AnonymousType" : this.objectFlags & 32 /* Mapped */ ? "MappedType" : this.objectFlags & 1024 /* ReverseMapped */ ? "ReverseMappedType" : this.objectFlags & 256 /* EvolvingArray */ ? "EvolvingArrayType" : "ObjectType" : "Type";
+          const typeHeader = this.flags & 67359327 /* Intrinsic */ ? `IntrinsicType ${this.intrinsicName}${this.debugIntrinsicName ? ` (${this.debugIntrinsicName})` : ""}` : this.flags & 98304 /* Nullable */ ? "NullableType" : this.flags & 384 /* StringOrNumberLiteral */ ? `LiteralType ${JSON.stringify(this.value)}` : this.flags & 2048 /* BigIntLiteral */ ? `LiteralType ${this.value.negative ? "-" : ""}${this.value.base10Value}n` : this.flags & 8192 /* UniqueESSymbol */ ? "UniqueESSymbolType" : this.flags & 32 /* Enum */ ? "EnumType" : this.flags & 1048576 /* Union */ ? "UnionType" : this.flags & 2097152 /* Intersection */ ? "IntersectionType" : this.flags & 4194304 /* Index */ ? "IndexType" : this.flags & 8388608 /* IndexedAccess */ ? "IndexedAccessType" : this.flags & 16777216 /* Conditional */ ? "ConditionalType" : this.flags & 33554432 /* Substitution */ ? "SubstitutionType" : this.flags & 262144 /* TypeParameter */ ? "TypeParameter" : this.flags & 524288 /* Object */ ? this.objectFlags & 3 /* ClassOrInterface */ ? "InterfaceType" : this.objectFlags & 4 /* Reference */ ? "TypeReference" : this.objectFlags & 8 /* Tuple */ ? "TupleType" : this.objectFlags & 16 /* Anonymous */ ? "AnonymousType" : this.objectFlags & 32 /* Mapped */ ? "MappedType" : this.objectFlags & 1024 /* ReverseMapped */ ? "ReverseMappedType" : this.objectFlags & 256 /* EvolvingArray */ ? "EvolvingArrayType" : "ObjectType" : "Type";
           const remainingObjectFlags = this.flags & 524288 /* Object */ ? this.objectFlags & ~1343 /* ObjectTypeKindMask */ : 0;
           return `${typeHeader}${this.symbol ? ` '${symbolName(this.symbol)}'` : ""}${remainingObjectFlags ? ` (${formatObjectFlags(remainingObjectFlags)})` : ""}`;
         }
@@ -17439,6 +17439,9 @@ function getPropertyNameFromType(type) {
   }
   return Debug.fail();
 }
+function isExpandoPropertyDeclaration(declaration) {
+  return !!declaration && (isPropertyAccessExpression(declaration) || isElementAccessExpression(declaration) || isBinaryExpression(declaration));
+}
 
 // src/compiler/factory/baseNodeFactory.ts
 function createBaseNodeFactory() {
@@ -43530,29 +43533,72 @@ function createTypeChecker(host) {
   var resolvingSymbol = createSymbol(0, "__resolving__" /* Resolving */);
   var unresolvedSymbols = /* @__PURE__ */ new Map();
   var errorTypes = /* @__PURE__ */ new Map();
+  var seenIntrinsicNames = /* @__PURE__ */ new Set();
   var anyType = createIntrinsicType(1 /* Any */, "any");
-  var autoType = createIntrinsicType(1 /* Any */, "any", 262144 /* NonInferrableType */);
-  var wildcardType = createIntrinsicType(1 /* Any */, "any");
-  var blockedStringType = createIntrinsicType(1 /* Any */, "any");
+  var autoType = createIntrinsicType(1 /* Any */, "any", 262144 /* NonInferrableType */, "auto");
+  var wildcardType = createIntrinsicType(
+    1 /* Any */,
+    "any",
+    /*objectFlags*/
+    void 0,
+    "wildcard"
+  );
+  var blockedStringType = createIntrinsicType(
+    1 /* Any */,
+    "any",
+    /*objectFlags*/
+    void 0,
+    "blocked string"
+  );
   var errorType = createIntrinsicType(1 /* Any */, "error");
   var unresolvedType = createIntrinsicType(1 /* Any */, "unresolved");
-  var nonInferrableAnyType = createIntrinsicType(1 /* Any */, "any", 65536 /* ContainsWideningType */);
+  var nonInferrableAnyType = createIntrinsicType(1 /* Any */, "any", 65536 /* ContainsWideningType */, "non-inferrable");
   var intrinsicMarkerType = createIntrinsicType(1 /* Any */, "intrinsic");
   var unknownType = createIntrinsicType(2 /* Unknown */, "unknown");
-  var nonNullUnknownType = createIntrinsicType(2 /* Unknown */, "unknown");
+  var nonNullUnknownType = createIntrinsicType(
+    2 /* Unknown */,
+    "unknown",
+    /*objectFlags*/
+    void 0,
+    "non-null"
+  );
   var undefinedType = createIntrinsicType(32768 /* Undefined */, "undefined");
-  var undefinedWideningType = strictNullChecks ? undefinedType : createIntrinsicType(32768 /* Undefined */, "undefined", 65536 /* ContainsWideningType */);
-  var missingType = createIntrinsicType(32768 /* Undefined */, "undefined");
+  var undefinedWideningType = strictNullChecks ? undefinedType : createIntrinsicType(32768 /* Undefined */, "undefined", 65536 /* ContainsWideningType */, "widening");
+  var missingType = createIntrinsicType(
+    32768 /* Undefined */,
+    "undefined",
+    /*objectFlags*/
+    void 0,
+    "missing"
+  );
   var undefinedOrMissingType = exactOptionalPropertyTypes ? missingType : undefinedType;
-  var optionalType = createIntrinsicType(32768 /* Undefined */, "undefined");
+  var optionalType = createIntrinsicType(
+    32768 /* Undefined */,
+    "undefined",
+    /*objectFlags*/
+    void 0,
+    "optional"
+  );
   var nullType = createIntrinsicType(65536 /* Null */, "null");
-  var nullWideningType = strictNullChecks ? nullType : createIntrinsicType(65536 /* Null */, "null", 65536 /* ContainsWideningType */);
+  var nullWideningType = strictNullChecks ? nullType : createIntrinsicType(65536 /* Null */, "null", 65536 /* ContainsWideningType */, "widening");
   var stringType = createIntrinsicType(4 /* String */, "string");
   var numberType = createIntrinsicType(8 /* Number */, "number");
   var bigintType = createIntrinsicType(64 /* BigInt */, "bigint");
-  var falseType = createIntrinsicType(512 /* BooleanLiteral */, "false");
+  var falseType = createIntrinsicType(
+    512 /* BooleanLiteral */,
+    "false",
+    /*objectFlags*/
+    void 0,
+    "fresh"
+  );
   var regularFalseType = createIntrinsicType(512 /* BooleanLiteral */, "false");
-  var trueType = createIntrinsicType(512 /* BooleanLiteral */, "true");
+  var trueType = createIntrinsicType(
+    512 /* BooleanLiteral */,
+    "true",
+    /*objectFlags*/
+    void 0,
+    "fresh"
+  );
   var regularTrueType = createIntrinsicType(512 /* BooleanLiteral */, "true");
   trueType.regularType = regularTrueType;
   trueType.freshType = trueType;
@@ -43566,9 +43612,21 @@ function createTypeChecker(host) {
   var esSymbolType = createIntrinsicType(4096 /* ESSymbol */, "symbol");
   var voidType = createIntrinsicType(16384 /* Void */, "void");
   var neverType = createIntrinsicType(131072 /* Never */, "never");
-  var silentNeverType = createIntrinsicType(131072 /* Never */, "never", 262144 /* NonInferrableType */);
-  var implicitNeverType = createIntrinsicType(131072 /* Never */, "never");
-  var unreachableNeverType = createIntrinsicType(131072 /* Never */, "never");
+  var silentNeverType = createIntrinsicType(131072 /* Never */, "never", 262144 /* NonInferrableType */, "silent");
+  var implicitNeverType = createIntrinsicType(
+    131072 /* Never */,
+    "never",
+    /*objectFlags*/
+    void 0,
+    "implicit"
+  );
+  var unreachableNeverType = createIntrinsicType(
+    131072 /* Never */,
+    "never",
+    /*objectFlags*/
+    void 0,
+    "unreachable"
+  );
   var nonPrimitiveType = createIntrinsicType(67108864 /* NonPrimitive */, "object");
   var stringOrNumberType = getUnionType([stringType, numberType]);
   var stringNumberSymbolType = getUnionType([stringType, numberType, esSymbolType]);
@@ -43578,7 +43636,13 @@ function createTypeChecker(host) {
   var numericStringType = getTemplateLiteralType(["", ""], [numberType]);
   var restrictiveMapper = makeFunctionTypeMapper((t) => t.flags & 262144 /* TypeParameter */ ? getRestrictiveTypeParameter(t) : t, () => "(restrictive mapper)");
   var permissiveMapper = makeFunctionTypeMapper((t) => t.flags & 262144 /* TypeParameter */ ? wildcardType : t, () => "(permissive mapper)");
-  var uniqueLiteralType = createIntrinsicType(131072 /* Never */, "never");
+  var uniqueLiteralType = createIntrinsicType(
+    131072 /* Never */,
+    "never",
+    /*objectFlags*/
+    void 0,
+    "unique literal"
+  );
   var uniqueLiteralMapper = makeFunctionTypeMapper((t) => t.flags & 262144 /* TypeParameter */ ? uniqueLiteralType : t, () => "(unique literal mapper)");
   var outofbandVarianceMarkerHandler;
   var reportUnreliableMapper = makeFunctionTypeMapper((t) => {
@@ -46822,12 +46886,21 @@ function createTypeChecker(host) {
   function createOriginType(flags) {
     return new Type7(checker, flags);
   }
-  function createIntrinsicType(kind, intrinsicName, objectFlags = 0 /* None */) {
+  function createIntrinsicType(kind, intrinsicName, objectFlags = 0 /* None */, debugIntrinsicName) {
+    checkIntrinsicName(intrinsicName, debugIntrinsicName);
     const type = createType(kind);
     type.intrinsicName = intrinsicName;
+    type.debugIntrinsicName = debugIntrinsicName;
     type.objectFlags = objectFlags | 524288 /* CouldContainTypeVariablesComputed */ | 2097152 /* IsGenericTypeComputed */ | 33554432 /* IsUnknownLikeUnionComputed */ | 16777216 /* IsNeverIntersectionComputed */;
     return type;
   }
+  function checkIntrinsicName(name, debug) {
+    const key = `${name},${debug ?? ""}`;
+    if (seenIntrinsicNames.has(key)) {
+      Debug.fail(`Duplicate intrinsic type name ${name}${debug ? ` (${debug})` : ""}; you may need to pass a name to createIntrinsicType.`);
+    }
+    seenIntrinsicNames.add(key);
+  }
   function createObjectType(objectFlags, symbol) {
     const type = createTypeWithSymbol(524288 /* Object */, symbol);
     type.objectFlags = objectFlags;
@@ -49124,6 +49197,10 @@ function createTypeChecker(host) {
         const type = checkExpression(name.expression);
         return !!(type.flags & 402653316 /* StringLike */);
       }
+      if (isElementAccessExpression(name)) {
+        const type = checkExpression(name.argumentExpression);
+        return !!(type.flags & 402653316 /* StringLike */);
+      }
       return isStringLiteral(name);
     }
     function isSingleQuotedStringNamed(d) {
@@ -50559,6 +50636,7 @@ function createTypeChecker(host) {
           if (isTypeRepresentableAsFunctionNamespaceMerge(typeToSerialize, symbol)) {
             serializeAsFunctionNamespaceMerge(typeToSerialize, symbol, varName, isExportAssignmentCompatibleSymbolName ? 0 /* None */ : 1 /* Export */);
           } else {
+            const flags = ((_a2 = context.enclosingDeclaration) == null ? void 0 : _a2.kind) === 267 /* ModuleDeclaration */ && (!(symbol.flags & 98304 /* Accessor */) || symbol.flags & 65536 /* SetAccessor */) ? 1 /* Let */ : 2 /* Const */;
             const statement = factory.createVariableStatement(
               /*modifiers*/
               void 0,
@@ -50569,7 +50647,7 @@ function createTypeChecker(host) {
                   void 0,
                   serializeTypeForDeclaration(context, typeToSerialize, symbol, enclosingDeclaration, includePrivateSymbol, bundled)
                 )
-              ], ((_a2 = context.enclosingDeclaration) == null ? void 0 : _a2.kind) === 267 /* ModuleDeclaration */ ? 1 /* Let */ : 2 /* Const */)
+              ], flags)
             );
             addResult(
               statement,
@@ -53864,7 +53942,9 @@ function createTypeChecker(host) {
       } else if (isValidIndexKeyType(propNameType) || propNameType.flags & (1 /* Any */ | 32 /* Enum */)) {
         const indexKeyType = propNameType.flags & (1 /* Any */ | 4 /* String */) ? stringType : propNameType.flags & (8 /* Number */ | 32 /* Enum */) ? numberType : propNameType;
         const propType = instantiateType(templateType, appendTypeMapping(type.mapper, typeParameter, keyType));
-        const indexInfo = createIndexInfo(indexKeyType, propType, !!(templateModifiers & 1 /* IncludeReadonly */));
+        const modifiersIndexInfo = getApplicableIndexInfo(modifiersType, propNameType);
+        const isReadonly = !!(templateModifiers & 1 /* IncludeReadonly */ || !(templateModifiers & 2 /* ExcludeReadonly */) && (modifiersIndexInfo == null ? void 0 : modifiersIndexInfo.isReadonly));
+        const indexInfo = createIndexInfo(indexKeyType, propType, isReadonly);
         indexInfos = appendIndexInfo(
           indexInfos,
           indexInfo,
@@ -55462,7 +55542,13 @@ function createTypeChecker(host) {
       const id = getAliasId(symbol, typeArguments);
       let errorType2 = errorTypes.get(id);
       if (!errorType2) {
-        errorType2 = createIntrinsicType(1 /* Any */, "error");
+        errorType2 = createIntrinsicType(
+          1 /* Any */,
+          "error",
+          /*objectFlags*/
+          void 0,
+          `alias ${id}`
+        );
         errorType2.aliasSymbol = symbol;
         errorType2.aliasTypeArguments = typeArguments;
         errorTypes.set(id, errorType2);
@@ -55635,7 +55721,7 @@ function createTypeChecker(host) {
         if (getTypeParameterFromMappedType(mappedType) === getActualTypeVariable(type)) {
           const typeParameter = getHomomorphicTypeVariable(mappedType);
           if (typeParameter) {
-            const constraint = getConstraintOfTypeParameter(typeParameter);
+            const constraint = getConstraintOfTypeParameter(getConditionalFlowTypeOfType(typeParameter, parent));
             if (constraint && everyType(constraint, isArrayOrTupleType)) {
               constraints = append(constraints, getUnionType([numberType, numericStringType]));
             }
@@ -81448,7 +81534,7 @@ function createTypeChecker(host) {
     if (!symbol || !(symbol.flags & 16 /* Function */)) {
       return false;
     }
-    return !!forEachEntry(getExportsOfSymbol(symbol), (p) => p.flags & 111551 /* Value */ && p.valueDeclaration && isPropertyAccessExpression(p.valueDeclaration));
+    return !!forEachEntry(getExportsOfSymbol(symbol), (p) => p.flags & 111551 /* Value */ && isExpandoPropertyDeclaration(p.valueDeclaration));
   }
   function getPropertiesOfContainerFunction(node) {
     const declaration = getParseTreeNode(node, isFunctionDeclaration);
@@ -81955,11 +82041,11 @@ function createTypeChecker(host) {
       if (fileToDirective.has(file.path))
         return;
       fileToDirective.set(file.path, [key, mode]);
-      for (const { fileName } of file.referencedFiles) {
+      for (const { fileName, resolutionMode } of file.referencedFiles) {
         const resolvedFile = resolveTripleslashReference(fileName, file.fileName);
         const referencedFile = host.getSourceFile(resolvedFile);
         if (referencedFile) {
-          addReferencedFilesToTypeDirective(referencedFile, key, mode || file.impliedNodeFormat);
+          addReferencedFilesToTypeDirective(referencedFile, key, resolutionMode || file.impliedNodeFormat);
         }
       }
     }
@@ -107778,7 +107864,7 @@ function transformDeclarations(context) {
           fakespace.symbol = props[0].parent;
           const exportMappings = [];
           let declarations = mapDefined(props, (p) => {
-            if (!p.valueDeclaration || !(isPropertyAccessExpression(p.valueDeclaration) || isElementAccessExpression(p.valueDeclaration) || isBinaryExpression(p.valueDeclaration))) {
+            if (!isExpandoPropertyDeclaration(p.valueDeclaration)) {
               return void 0;
             }
             const nameStr = unescapeLeadingUnderscores(p.escapedName);

package/lib/tsserver.js

@@ -1332,6 +1332,7 @@ __export(server_exports, {
   isExclamationToken: () => isExclamationToken,
   isExcludedFile: () => isExcludedFile,
   isExclusivelyTypeOnlyImportOrExport: () => isExclusivelyTypeOnlyImportOrExport,
+  isExpandoPropertyDeclaration: () => isExpandoPropertyDeclaration,
   isExportAssignment: () => isExportAssignment,
   isExportDeclaration: () => isExportDeclaration,
   isExportModifier: () => isExportModifier,
@@ -4468,7 +4469,7 @@ Node ${formatSyntaxKind(node.kind)} was unexpected.`,
       // for use with vscode-js-debug's new customDescriptionGenerator in launch.json
       __tsDebuggerDisplay: {
         value() {
-          const typeHeader = this.flags & 98304 /* Nullable */ ? "NullableType" : this.flags & 384 /* StringOrNumberLiteral */ ? `LiteralType ${JSON.stringify(this.value)}` : this.flags & 2048 /* BigIntLiteral */ ? `LiteralType ${this.value.negative ? "-" : ""}${this.value.base10Value}n` : this.flags & 8192 /* UniqueESSymbol */ ? "UniqueESSymbolType" : this.flags & 32 /* Enum */ ? "EnumType" : this.flags & 67359327 /* Intrinsic */ ? `IntrinsicType ${this.intrinsicName}` : this.flags & 1048576 /* Union */ ? "UnionType" : this.flags & 2097152 /* Intersection */ ? "IntersectionType" : this.flags & 4194304 /* Index */ ? "IndexType" : this.flags & 8388608 /* IndexedAccess */ ? "IndexedAccessType" : this.flags & 16777216 /* Conditional */ ? "ConditionalType" : this.flags & 33554432 /* Substitution */ ? "SubstitutionType" : this.flags & 262144 /* TypeParameter */ ? "TypeParameter" : this.flags & 524288 /* Object */ ? this.objectFlags & 3 /* ClassOrInterface */ ? "InterfaceType" : this.objectFlags & 4 /* Reference */ ? "TypeReference" : this.objectFlags & 8 /* Tuple */ ? "TupleType" : this.objectFlags & 16 /* Anonymous */ ? "AnonymousType" : this.objectFlags & 32 /* Mapped */ ? "MappedType" : this.objectFlags & 1024 /* ReverseMapped */ ? "ReverseMappedType" : this.objectFlags & 256 /* EvolvingArray */ ? "EvolvingArrayType" : "ObjectType" : "Type";
+          const typeHeader = this.flags & 67359327 /* Intrinsic */ ? `IntrinsicType ${this.intrinsicName}${this.debugIntrinsicName ? ` (${this.debugIntrinsicName})` : ""}` : this.flags & 98304 /* Nullable */ ? "NullableType" : this.flags & 384 /* StringOrNumberLiteral */ ? `LiteralType ${JSON.stringify(this.value)}` : this.flags & 2048 /* BigIntLiteral */ ? `LiteralType ${this.value.negative ? "-" : ""}${this.value.base10Value}n` : this.flags & 8192 /* UniqueESSymbol */ ? "UniqueESSymbolType" : this.flags & 32 /* Enum */ ? "EnumType" : this.flags & 1048576 /* Union */ ? "UnionType" : this.flags & 2097152 /* Intersection */ ? "IntersectionType" : this.flags & 4194304 /* Index */ ? "IndexType" : this.flags & 8388608 /* IndexedAccess */ ? "IndexedAccessType" : this.flags & 16777216 /* Conditional */ ? "ConditionalType" : this.flags & 33554432 /* Substitution */ ? "SubstitutionType" : this.flags & 262144 /* TypeParameter */ ? "TypeParameter" : this.flags & 524288 /* Object */ ? this.objectFlags & 3 /* ClassOrInterface */ ? "InterfaceType" : this.objectFlags & 4 /* Reference */ ? "TypeReference" : this.objectFlags & 8 /* Tuple */ ? "TupleType" : this.objectFlags & 16 /* Anonymous */ ? "AnonymousType" : this.objectFlags & 32 /* Mapped */ ? "MappedType" : this.objectFlags & 1024 /* ReverseMapped */ ? "ReverseMappedType" : this.objectFlags & 256 /* EvolvingArray */ ? "EvolvingArrayType" : "ObjectType" : "Type";
           const remainingObjectFlags = this.flags & 524288 /* Object */ ? this.objectFlags & ~1343 /* ObjectTypeKindMask */ : 0;
           return `${typeHeader}${this.symbol ? ` '${symbolName(this.symbol)}'` : ""}${remainingObjectFlags ? ` (${formatObjectFlags(remainingObjectFlags)})` : ""}`;
         }
@@ -21634,6 +21635,9 @@ function getPropertyNameFromType(type) {
   }
   return Debug.fail();
 }
+function isExpandoPropertyDeclaration(declaration) {
+  return !!declaration && (isPropertyAccessExpression(declaration) || isElementAccessExpression(declaration) || isBinaryExpression(declaration));
+}
 
 // src/compiler/factory/baseNodeFactory.ts
 function createBaseNodeFactory() {
@@ -48232,29 +48236,72 @@ function createTypeChecker(host) {
   var resolvingSymbol = createSymbol(0, "__resolving__" /* Resolving */);
   var unresolvedSymbols = /* @__PURE__ */ new Map();
   var errorTypes = /* @__PURE__ */ new Map();
+  var seenIntrinsicNames = /* @__PURE__ */ new Set();
   var anyType = createIntrinsicType(1 /* Any */, "any");
-  var autoType = createIntrinsicType(1 /* Any */, "any", 262144 /* NonInferrableType */);
-  var wildcardType = createIntrinsicType(1 /* Any */, "any");
-  var blockedStringType = createIntrinsicType(1 /* Any */, "any");
+  var autoType = createIntrinsicType(1 /* Any */, "any", 262144 /* NonInferrableType */, "auto");
+  var wildcardType = createIntrinsicType(
+    1 /* Any */,
+    "any",
+    /*objectFlags*/
+    void 0,
+    "wildcard"
+  );
+  var blockedStringType = createIntrinsicType(
+    1 /* Any */,
+    "any",
+    /*objectFlags*/
+    void 0,
+    "blocked string"
+  );
   var errorType = createIntrinsicType(1 /* Any */, "error");
   var unresolvedType = createIntrinsicType(1 /* Any */, "unresolved");
-  var nonInferrableAnyType = createIntrinsicType(1 /* Any */, "any", 65536 /* ContainsWideningType */);
+  var nonInferrableAnyType = createIntrinsicType(1 /* Any */, "any", 65536 /* ContainsWideningType */, "non-inferrable");
   var intrinsicMarkerType = createIntrinsicType(1 /* Any */, "intrinsic");
   var unknownType = createIntrinsicType(2 /* Unknown */, "unknown");
-  var nonNullUnknownType = createIntrinsicType(2 /* Unknown */, "unknown");
+  var nonNullUnknownType = createIntrinsicType(
+    2 /* Unknown */,
+    "unknown",
+    /*objectFlags*/
+    void 0,
+    "non-null"
+  );
   var undefinedType = createIntrinsicType(32768 /* Undefined */, "undefined");
-  var undefinedWideningType = strictNullChecks ? undefinedType : createIntrinsicType(32768 /* Undefined */, "undefined", 65536 /* ContainsWideningType */);
-  var missingType = createIntrinsicType(32768 /* Undefined */, "undefined");
+  var undefinedWideningType = strictNullChecks ? undefinedType : createIntrinsicType(32768 /* Undefined */, "undefined", 65536 /* ContainsWideningType */, "widening");
+  var missingType = createIntrinsicType(
+    32768 /* Undefined */,
+    "undefined",
+    /*objectFlags*/
+    void 0,
+    "missing"
+  );
   var undefinedOrMissingType = exactOptionalPropertyTypes ? missingType : undefinedType;
-  var optionalType = createIntrinsicType(32768 /* Undefined */, "undefined");
+  var optionalType = createIntrinsicType(
+    32768 /* Undefined */,
+    "undefined",
+    /*objectFlags*/
+    void 0,
+    "optional"
+  );
   var nullType = createIntrinsicType(65536 /* Null */, "null");
-  var nullWideningType = strictNullChecks ? nullType : createIntrinsicType(65536 /* Null */, "null", 65536 /* ContainsWideningType */);
+  var nullWideningType = strictNullChecks ? nullType : createIntrinsicType(65536 /* Null */, "null", 65536 /* ContainsWideningType */, "widening");
   var stringType = createIntrinsicType(4 /* String */, "string");
   var numberType = createIntrinsicType(8 /* Number */, "number");
   var bigintType = createIntrinsicType(64 /* BigInt */, "bigint");
-  var falseType = createIntrinsicType(512 /* BooleanLiteral */, "false");
+  var falseType = createIntrinsicType(
+    512 /* BooleanLiteral */,
+    "false",
+    /*objectFlags*/
+    void 0,
+    "fresh"
+  );
   var regularFalseType = createIntrinsicType(512 /* BooleanLiteral */, "false");
-  var trueType = createIntrinsicType(512 /* BooleanLiteral */, "true");
+  var trueType = createIntrinsicType(
+    512 /* BooleanLiteral */,
+    "true",
+    /*objectFlags*/
+    void 0,
+    "fresh"
+  );
   var regularTrueType = createIntrinsicType(512 /* BooleanLiteral */, "true");
   trueType.regularType = regularTrueType;
   trueType.freshType = trueType;
@@ -48268,9 +48315,21 @@ function createTypeChecker(host) {
   var esSymbolType = createIntrinsicType(4096 /* ESSymbol */, "symbol");
   var voidType = createIntrinsicType(16384 /* Void */, "void");
   var neverType = createIntrinsicType(131072 /* Never */, "never");
-  var silentNeverType = createIntrinsicType(131072 /* Never */, "never", 262144 /* NonInferrableType */);
-  var implicitNeverType = createIntrinsicType(131072 /* Never */, "never");
-  var unreachableNeverType = createIntrinsicType(131072 /* Never */, "never");
+  var silentNeverType = createIntrinsicType(131072 /* Never */, "never", 262144 /* NonInferrableType */, "silent");
+  var implicitNeverType = createIntrinsicType(
+    131072 /* Never */,
+    "never",
+    /*objectFlags*/
+    void 0,
+    "implicit"
+  );
+  var unreachableNeverType = createIntrinsicType(
+    131072 /* Never */,
+    "never",
+    /*objectFlags*/
+    void 0,
+    "unreachable"
+  );
   var nonPrimitiveType = createIntrinsicType(67108864 /* NonPrimitive */, "object");
   var stringOrNumberType = getUnionType([stringType, numberType]);
   var stringNumberSymbolType = getUnionType([stringType, numberType, esSymbolType]);
@@ -48280,7 +48339,13 @@ function createTypeChecker(host) {
   var numericStringType = getTemplateLiteralType(["", ""], [numberType]);
   var restrictiveMapper = makeFunctionTypeMapper((t) => t.flags & 262144 /* TypeParameter */ ? getRestrictiveTypeParameter(t) : t, () => "(restrictive mapper)");
   var permissiveMapper = makeFunctionTypeMapper((t) => t.flags & 262144 /* TypeParameter */ ? wildcardType : t, () => "(permissive mapper)");
-  var uniqueLiteralType = createIntrinsicType(131072 /* Never */, "never");
+  var uniqueLiteralType = createIntrinsicType(
+    131072 /* Never */,
+    "never",
+    /*objectFlags*/
+    void 0,
+    "unique literal"
+  );
   var uniqueLiteralMapper = makeFunctionTypeMapper((t) => t.flags & 262144 /* TypeParameter */ ? uniqueLiteralType : t, () => "(unique literal mapper)");
   var outofbandVarianceMarkerHandler;
   var reportUnreliableMapper = makeFunctionTypeMapper((t) => {
@@ -51524,12 +51589,21 @@ function createTypeChecker(host) {
   function createOriginType(flags) {
     return new Type27(checker, flags);
   }
-  function createIntrinsicType(kind, intrinsicName, objectFlags = 0 /* None */) {
+  function createIntrinsicType(kind, intrinsicName, objectFlags = 0 /* None */, debugIntrinsicName) {
+    checkIntrinsicName(intrinsicName, debugIntrinsicName);
     const type = createType(kind);
     type.intrinsicName = intrinsicName;
+    type.debugIntrinsicName = debugIntrinsicName;
     type.objectFlags = objectFlags | 524288 /* CouldContainTypeVariablesComputed */ | 2097152 /* IsGenericTypeComputed */ | 33554432 /* IsUnknownLikeUnionComputed */ | 16777216 /* IsNeverIntersectionComputed */;
     return type;
   }
+  function checkIntrinsicName(name, debug) {
+    const key = `${name},${debug ?? ""}`;
+    if (seenIntrinsicNames.has(key)) {
+      Debug.fail(`Duplicate intrinsic type name ${name}${debug ? ` (${debug})` : ""}; you may need to pass a name to createIntrinsicType.`);
+    }
+    seenIntrinsicNames.add(key);
+  }
   function createObjectType(objectFlags, symbol) {
     const type = createTypeWithSymbol(524288 /* Object */, symbol);
     type.objectFlags = objectFlags;
@@ -53826,6 +53900,10 @@ function createTypeChecker(host) {
         const type = checkExpression(name.expression);
         return !!(type.flags & 402653316 /* StringLike */);
       }
+      if (isElementAccessExpression(name)) {
+        const type = checkExpression(name.argumentExpression);
+        return !!(type.flags & 402653316 /* StringLike */);
+      }
       return isStringLiteral(name);
     }
     function isSingleQuotedStringNamed(d) {
@@ -55261,6 +55339,7 @@ function createTypeChecker(host) {
           if (isTypeRepresentableAsFunctionNamespaceMerge(typeToSerialize, symbol)) {
             serializeAsFunctionNamespaceMerge(typeToSerialize, symbol, varName, isExportAssignmentCompatibleSymbolName ? 0 /* None */ : 1 /* Export */);
           } else {
+            const flags = ((_a2 = context.enclosingDeclaration) == null ? void 0 : _a2.kind) === 267 /* ModuleDeclaration */ && (!(symbol.flags & 98304 /* Accessor */) || symbol.flags & 65536 /* SetAccessor */) ? 1 /* Let */ : 2 /* Const */;
             const statement = factory.createVariableStatement(
               /*modifiers*/
               void 0,
@@ -55271,7 +55350,7 @@ function createTypeChecker(host) {
                   void 0,
                   serializeTypeForDeclaration(context, typeToSerialize, symbol, enclosingDeclaration, includePrivateSymbol, bundled)
                 )
-              ], ((_a2 = context.enclosingDeclaration) == null ? void 0 : _a2.kind) === 267 /* ModuleDeclaration */ ? 1 /* Let */ : 2 /* Const */)
+              ], flags)
             );
             addResult(
               statement,
@@ -58566,7 +58645,9 @@ function createTypeChecker(host) {
       } else if (isValidIndexKeyType(propNameType) || propNameType.flags & (1 /* Any */ | 32 /* Enum */)) {
         const indexKeyType = propNameType.flags & (1 /* Any */ | 4 /* String */) ? stringType : propNameType.flags & (8 /* Number */ | 32 /* Enum */) ? numberType : propNameType;
         const propType = instantiateType(templateType, appendTypeMapping(type.mapper, typeParameter, keyType));
-        const indexInfo = createIndexInfo(indexKeyType, propType, !!(templateModifiers & 1 /* IncludeReadonly */));
+        const modifiersIndexInfo = getApplicableIndexInfo(modifiersType, propNameType);
+        const isReadonly = !!(templateModifiers & 1 /* IncludeReadonly */ || !(templateModifiers & 2 /* ExcludeReadonly */) && (modifiersIndexInfo == null ? void 0 : modifiersIndexInfo.isReadonly));
+        const indexInfo = createIndexInfo(indexKeyType, propType, isReadonly);
         indexInfos = appendIndexInfo(
           indexInfos,
           indexInfo,
@@ -60164,7 +60245,13 @@ function createTypeChecker(host) {
       const id = getAliasId(symbol, typeArguments);
       let errorType2 = errorTypes.get(id);
       if (!errorType2) {
-        errorType2 = createIntrinsicType(1 /* Any */, "error");
+        errorType2 = createIntrinsicType(
+          1 /* Any */,
+          "error",
+          /*objectFlags*/
+          void 0,
+          `alias ${id}`
+        );
         errorType2.aliasSymbol = symbol;
         errorType2.aliasTypeArguments = typeArguments;
         errorTypes.set(id, errorType2);
@@ -60337,7 +60424,7 @@ function createTypeChecker(host) {
         if (getTypeParameterFromMappedType(mappedType) === getActualTypeVariable(type)) {
           const typeParameter = getHomomorphicTypeVariable(mappedType);
           if (typeParameter) {
-            const constraint = getConstraintOfTypeParameter(typeParameter);
+            const constraint = getConstraintOfTypeParameter(getConditionalFlowTypeOfType(typeParameter, parent2));
             if (constraint && everyType(constraint, isArrayOrTupleType)) {
               constraints = append(constraints, getUnionType([numberType, numericStringType]));
             }
@@ -86150,7 +86237,7 @@ function createTypeChecker(host) {
     if (!symbol || !(symbol.flags & 16 /* Function */)) {
       return false;
     }
-    return !!forEachEntry(getExportsOfSymbol(symbol), (p) => p.flags & 111551 /* Value */ && p.valueDeclaration && isPropertyAccessExpression(p.valueDeclaration));
+    return !!forEachEntry(getExportsOfSymbol(symbol), (p) => p.flags & 111551 /* Value */ && isExpandoPropertyDeclaration(p.valueDeclaration));
   }
   function getPropertiesOfContainerFunction(node) {
     const declaration = getParseTreeNode(node, isFunctionDeclaration);
@@ -86657,11 +86744,11 @@ function createTypeChecker(host) {
       if (fileToDirective.has(file.path))
         return;
       fileToDirective.set(file.path, [key, mode]);
-      for (const { fileName } of file.referencedFiles) {
+      for (const { fileName, resolutionMode } of file.referencedFiles) {
         const resolvedFile = resolveTripleslashReference(fileName, file.fileName);
         const referencedFile = host.getSourceFile(resolvedFile);
         if (referencedFile) {
-          addReferencedFilesToTypeDirective(referencedFile, key, mode || file.impliedNodeFormat);
+          addReferencedFilesToTypeDirective(referencedFile, key, resolutionMode || file.impliedNodeFormat);
         }
       }
     }
@@ -112651,7 +112738,7 @@ function transformDeclarations(context) {
           fakespace.symbol = props[0].parent;
           const exportMappings = [];
           let declarations = mapDefined(props, (p) => {
-            if (!p.valueDeclaration || !(isPropertyAccessExpression(p.valueDeclaration) || isElementAccessExpression(p.valueDeclaration) || isBinaryExpression(p.valueDeclaration))) {
+            if (!isExpandoPropertyDeclaration(p.valueDeclaration)) {
               return void 0;
             }
             const nameStr = unescapeLeadingUnderscores(p.escapedName);
@@ -173307,6 +173394,7 @@ __export(ts_exports2, {
   isExclamationToken: () => isExclamationToken,
   isExcludedFile: () => isExcludedFile,
   isExclusivelyTypeOnlyImportOrExport: () => isExclusivelyTypeOnlyImportOrExport,
+  isExpandoPropertyDeclaration: () => isExpandoPropertyDeclaration,
   isExportAssignment: () => isExportAssignment,
   isExportDeclaration: () => isExportDeclaration,
   isExportModifier: () => isExportModifier,
@@ -187868,6 +187956,7 @@ start(initializeNodeSystem(), require("os").platform());
   isExclamationToken,
   isExcludedFile,
   isExclusivelyTypeOnlyImportOrExport,
+  isExpandoPropertyDeclaration,
   isExportAssignment,
   isExportDeclaration,
   isExportModifier,

package/lib/typescript.js

@@ -2188,7 +2188,7 @@ Node ${formatSyntaxKind(node.kind)} was unexpected.`,
             // for use with vscode-js-debug's new customDescriptionGenerator in launch.json
             __tsDebuggerDisplay: {
               value() {
-                const typeHeader = this.flags & 98304 /* Nullable */ ? "NullableType" : this.flags & 384 /* StringOrNumberLiteral */ ? `LiteralType ${JSON.stringify(this.value)}` : this.flags & 2048 /* BigIntLiteral */ ? `LiteralType ${this.value.negative ? "-" : ""}${this.value.base10Value}n` : this.flags & 8192 /* UniqueESSymbol */ ? "UniqueESSymbolType" : this.flags & 32 /* Enum */ ? "EnumType" : this.flags & 67359327 /* Intrinsic */ ? `IntrinsicType ${this.intrinsicName}` : this.flags & 1048576 /* Union */ ? "UnionType" : this.flags & 2097152 /* Intersection */ ? "IntersectionType" : this.flags & 4194304 /* Index */ ? "IndexType" : this.flags & 8388608 /* IndexedAccess */ ? "IndexedAccessType" : this.flags & 16777216 /* Conditional */ ? "ConditionalType" : this.flags & 33554432 /* Substitution */ ? "SubstitutionType" : this.flags & 262144 /* TypeParameter */ ? "TypeParameter" : this.flags & 524288 /* Object */ ? this.objectFlags & 3 /* ClassOrInterface */ ? "InterfaceType" : this.objectFlags & 4 /* Reference */ ? "TypeReference" : this.objectFlags & 8 /* Tuple */ ? "TupleType" : this.objectFlags & 16 /* Anonymous */ ? "AnonymousType" : this.objectFlags & 32 /* Mapped */ ? "MappedType" : this.objectFlags & 1024 /* ReverseMapped */ ? "ReverseMappedType" : this.objectFlags & 256 /* EvolvingArray */ ? "EvolvingArrayType" : "ObjectType" : "Type";
+                const typeHeader = this.flags & 67359327 /* Intrinsic */ ? `IntrinsicType ${this.intrinsicName}${this.debugIntrinsicName ? ` (${this.debugIntrinsicName})` : ""}` : this.flags & 98304 /* Nullable */ ? "NullableType" : this.flags & 384 /* StringOrNumberLiteral */ ? `LiteralType ${JSON.stringify(this.value)}` : this.flags & 2048 /* BigIntLiteral */ ? `LiteralType ${this.value.negative ? "-" : ""}${this.value.base10Value}n` : this.flags & 8192 /* UniqueESSymbol */ ? "UniqueESSymbolType" : this.flags & 32 /* Enum */ ? "EnumType" : this.flags & 1048576 /* Union */ ? "UnionType" : this.flags & 2097152 /* Intersection */ ? "IntersectionType" : this.flags & 4194304 /* Index */ ? "IndexType" : this.flags & 8388608 /* IndexedAccess */ ? "IndexedAccessType" : this.flags & 16777216 /* Conditional */ ? "ConditionalType" : this.flags & 33554432 /* Substitution */ ? "SubstitutionType" : this.flags & 262144 /* TypeParameter */ ? "TypeParameter" : this.flags & 524288 /* Object */ ? this.objectFlags & 3 /* ClassOrInterface */ ? "InterfaceType" : this.objectFlags & 4 /* Reference */ ? "TypeReference" : this.objectFlags & 8 /* Tuple */ ? "TupleType" : this.objectFlags & 16 /* Anonymous */ ? "AnonymousType" : this.objectFlags & 32 /* Mapped */ ? "MappedType" : this.objectFlags & 1024 /* ReverseMapped */ ? "ReverseMappedType" : this.objectFlags & 256 /* EvolvingArray */ ? "EvolvingArrayType" : "ObjectType" : "Type";
                 const remainingObjectFlags = this.flags & 524288 /* Object */ ? this.objectFlags & ~1343 /* ObjectTypeKindMask */ : 0;
                 return `${typeHeader}${this.symbol ? ` '${symbolName(this.symbol)}'` : ""}${remainingObjectFlags ? ` (${formatObjectFlags(remainingObjectFlags)})` : ""}`;
               }
@@ -18862,6 +18862,9 @@ ${lanes.join("\n")}
     }
     return Debug.fail();
   }
+  function isExpandoPropertyDeclaration(declaration) {
+    return !!declaration && (isPropertyAccessExpression(declaration) || isElementAccessExpression(declaration) || isBinaryExpression(declaration));
+  }
   var resolvingEmptyArray, externalHelpersModuleNameText, defaultMaximumTruncationLength, noTruncationMaximumTruncationLength, stringWriter, getScriptTargetFeatures, GetLiteralTextFlags, fullTripleSlashReferencePathRegEx, fullTripleSlashReferenceTypeReferenceDirectiveRegEx, fullTripleSlashLibReferenceRegEx, fullTripleSlashAMDReferencePathRegEx, fullTripleSlashAMDModuleRegEx, defaultLibReferenceRegEx, AssignmentKind, FunctionFlags, Associativity, OperatorPrecedence, templateSubstitutionRegExp, doubleQuoteEscapedCharsRegExp, singleQuoteEscapedCharsRegExp, backtickQuoteEscapedCharsRegExp, escapedCharsMap, nonAsciiCharacters, jsxDoubleQuoteEscapedCharsRegExp, jsxSingleQuoteEscapedCharsRegExp, jsxEscapedCharsMap, indentStrings, base64Digits, carriageReturnLineFeed, lineFeed, objectAllocator, objectAllocatorPatchers, localizedDiagnosticMessages, reservedCharacterPattern, wildcardCharCodes, commonPackageFolders, implicitExcludePathRegexPattern, filesMatcher, directoriesMatcher, excludeMatcher, wildcardMatchers, supportedTSExtensions, supportedTSExtensionsFlat, supportedTSExtensionsWithJson, supportedTSExtensionsForExtractExtension, supportedJSExtensions, supportedJSExtensionsFlat, allSupportedExtensions, allSupportedExtensionsWithJson, supportedDeclarationExtensions, supportedTSImplementationExtensions, extensionsNotSupportingExtensionlessResolution, ModuleSpecifierEnding, extensionsToRemove, emptyFileSystemEntries;
   var init_utilities = __esm({
     "src/compiler/utilities.ts"() {
@@ -45999,29 +46002,72 @@ ${lanes.join("\n")}
     var resolvingSymbol = createSymbol(0, "__resolving__" /* Resolving */);
     var unresolvedSymbols = /* @__PURE__ */ new Map();
     var errorTypes = /* @__PURE__ */ new Map();
+    var seenIntrinsicNames = /* @__PURE__ */ new Set();
     var anyType = createIntrinsicType(1 /* Any */, "any");
-    var autoType = createIntrinsicType(1 /* Any */, "any", 262144 /* NonInferrableType */);
-    var wildcardType = createIntrinsicType(1 /* Any */, "any");
-    var blockedStringType = createIntrinsicType(1 /* Any */, "any");
+    var autoType = createIntrinsicType(1 /* Any */, "any", 262144 /* NonInferrableType */, "auto");
+    var wildcardType = createIntrinsicType(
+      1 /* Any */,
+      "any",
+      /*objectFlags*/
+      void 0,
+      "wildcard"
+    );
+    var blockedStringType = createIntrinsicType(
+      1 /* Any */,
+      "any",
+      /*objectFlags*/
+      void 0,
+      "blocked string"
+    );
     var errorType = createIntrinsicType(1 /* Any */, "error");
     var unresolvedType = createIntrinsicType(1 /* Any */, "unresolved");
-    var nonInferrableAnyType = createIntrinsicType(1 /* Any */, "any", 65536 /* ContainsWideningType */);
+    var nonInferrableAnyType = createIntrinsicType(1 /* Any */, "any", 65536 /* ContainsWideningType */, "non-inferrable");
     var intrinsicMarkerType = createIntrinsicType(1 /* Any */, "intrinsic");
     var unknownType = createIntrinsicType(2 /* Unknown */, "unknown");
-    var nonNullUnknownType = createIntrinsicType(2 /* Unknown */, "unknown");
+    var nonNullUnknownType = createIntrinsicType(
+      2 /* Unknown */,
+      "unknown",
+      /*objectFlags*/
+      void 0,
+      "non-null"
+    );
     var undefinedType = createIntrinsicType(32768 /* Undefined */, "undefined");
-    var undefinedWideningType = strictNullChecks ? undefinedType : createIntrinsicType(32768 /* Undefined */, "undefined", 65536 /* ContainsWideningType */);
-    var missingType = createIntrinsicType(32768 /* Undefined */, "undefined");
+    var undefinedWideningType = strictNullChecks ? undefinedType : createIntrinsicType(32768 /* Undefined */, "undefined", 65536 /* ContainsWideningType */, "widening");
+    var missingType = createIntrinsicType(
+      32768 /* Undefined */,
+      "undefined",
+      /*objectFlags*/
+      void 0,
+      "missing"
+    );
     var undefinedOrMissingType = exactOptionalPropertyTypes ? missingType : undefinedType;
-    var optionalType = createIntrinsicType(32768 /* Undefined */, "undefined");
+    var optionalType = createIntrinsicType(
+      32768 /* Undefined */,
+      "undefined",
+      /*objectFlags*/
+      void 0,
+      "optional"
+    );
     var nullType = createIntrinsicType(65536 /* Null */, "null");
-    var nullWideningType = strictNullChecks ? nullType : createIntrinsicType(65536 /* Null */, "null", 65536 /* ContainsWideningType */);
+    var nullWideningType = strictNullChecks ? nullType : createIntrinsicType(65536 /* Null */, "null", 65536 /* ContainsWideningType */, "widening");
     var stringType = createIntrinsicType(4 /* String */, "string");
     var numberType = createIntrinsicType(8 /* Number */, "number");
     var bigintType = createIntrinsicType(64 /* BigInt */, "bigint");
-    var falseType = createIntrinsicType(512 /* BooleanLiteral */, "false");
+    var falseType = createIntrinsicType(
+      512 /* BooleanLiteral */,
+      "false",
+      /*objectFlags*/
+      void 0,
+      "fresh"
+    );
     var regularFalseType = createIntrinsicType(512 /* BooleanLiteral */, "false");
-    var trueType = createIntrinsicType(512 /* BooleanLiteral */, "true");
+    var trueType = createIntrinsicType(
+      512 /* BooleanLiteral */,
+      "true",
+      /*objectFlags*/
+      void 0,
+      "fresh"
+    );
     var regularTrueType = createIntrinsicType(512 /* BooleanLiteral */, "true");
     trueType.regularType = regularTrueType;
     trueType.freshType = trueType;
@@ -46035,9 +46081,21 @@ ${lanes.join("\n")}
     var esSymbolType = createIntrinsicType(4096 /* ESSymbol */, "symbol");
     var voidType = createIntrinsicType(16384 /* Void */, "void");
     var neverType = createIntrinsicType(131072 /* Never */, "never");
-    var silentNeverType = createIntrinsicType(131072 /* Never */, "never", 262144 /* NonInferrableType */);
-    var implicitNeverType = createIntrinsicType(131072 /* Never */, "never");
-    var unreachableNeverType = createIntrinsicType(131072 /* Never */, "never");
+    var silentNeverType = createIntrinsicType(131072 /* Never */, "never", 262144 /* NonInferrableType */, "silent");
+    var implicitNeverType = createIntrinsicType(
+      131072 /* Never */,
+      "never",
+      /*objectFlags*/
+      void 0,
+      "implicit"
+    );
+    var unreachableNeverType = createIntrinsicType(
+      131072 /* Never */,
+      "never",
+      /*objectFlags*/
+      void 0,
+      "unreachable"
+    );
     var nonPrimitiveType = createIntrinsicType(67108864 /* NonPrimitive */, "object");
     var stringOrNumberType = getUnionType([stringType, numberType]);
     var stringNumberSymbolType = getUnionType([stringType, numberType, esSymbolType]);
@@ -46047,7 +46105,13 @@ ${lanes.join("\n")}
     var numericStringType = getTemplateLiteralType(["", ""], [numberType]);
     var restrictiveMapper = makeFunctionTypeMapper((t) => t.flags & 262144 /* TypeParameter */ ? getRestrictiveTypeParameter(t) : t, () => "(restrictive mapper)");
     var permissiveMapper = makeFunctionTypeMapper((t) => t.flags & 262144 /* TypeParameter */ ? wildcardType : t, () => "(permissive mapper)");
-    var uniqueLiteralType = createIntrinsicType(131072 /* Never */, "never");
+    var uniqueLiteralType = createIntrinsicType(
+      131072 /* Never */,
+      "never",
+      /*objectFlags*/
+      void 0,
+      "unique literal"
+    );
     var uniqueLiteralMapper = makeFunctionTypeMapper((t) => t.flags & 262144 /* TypeParameter */ ? uniqueLiteralType : t, () => "(unique literal mapper)");
     var outofbandVarianceMarkerHandler;
     var reportUnreliableMapper = makeFunctionTypeMapper((t) => {
@@ -49291,12 +49355,21 @@ ${lanes.join("\n")}
     function createOriginType(flags) {
       return new Type27(checker, flags);
     }
-    function createIntrinsicType(kind, intrinsicName, objectFlags = 0 /* None */) {
+    function createIntrinsicType(kind, intrinsicName, objectFlags = 0 /* None */, debugIntrinsicName) {
+      checkIntrinsicName(intrinsicName, debugIntrinsicName);
       const type = createType(kind);
       type.intrinsicName = intrinsicName;
+      type.debugIntrinsicName = debugIntrinsicName;
       type.objectFlags = objectFlags | 524288 /* CouldContainTypeVariablesComputed */ | 2097152 /* IsGenericTypeComputed */ | 33554432 /* IsUnknownLikeUnionComputed */ | 16777216 /* IsNeverIntersectionComputed */;
       return type;
     }
+    function checkIntrinsicName(name, debug) {
+      const key = `${name},${debug ?? ""}`;
+      if (seenIntrinsicNames.has(key)) {
+        Debug.fail(`Duplicate intrinsic type name ${name}${debug ? ` (${debug})` : ""}; you may need to pass a name to createIntrinsicType.`);
+      }
+      seenIntrinsicNames.add(key);
+    }
     function createObjectType(objectFlags, symbol) {
       const type = createTypeWithSymbol(524288 /* Object */, symbol);
       type.objectFlags = objectFlags;
@@ -51593,6 +51666,10 @@ ${lanes.join("\n")}
           const type = checkExpression(name.expression);
           return !!(type.flags & 402653316 /* StringLike */);
         }
+        if (isElementAccessExpression(name)) {
+          const type = checkExpression(name.argumentExpression);
+          return !!(type.flags & 402653316 /* StringLike */);
+        }
         return isStringLiteral(name);
       }
       function isSingleQuotedStringNamed(d) {
@@ -53028,6 +53105,7 @@ ${lanes.join("\n")}
             if (isTypeRepresentableAsFunctionNamespaceMerge(typeToSerialize, symbol)) {
               serializeAsFunctionNamespaceMerge(typeToSerialize, symbol, varName, isExportAssignmentCompatibleSymbolName ? 0 /* None */ : 1 /* Export */);
             } else {
+              const flags = ((_a2 = context.enclosingDeclaration) == null ? void 0 : _a2.kind) === 267 /* ModuleDeclaration */ && (!(symbol.flags & 98304 /* Accessor */) || symbol.flags & 65536 /* SetAccessor */) ? 1 /* Let */ : 2 /* Const */;
               const statement = factory.createVariableStatement(
                 /*modifiers*/
                 void 0,
@@ -53038,7 +53116,7 @@ ${lanes.join("\n")}
                     void 0,
                     serializeTypeForDeclaration(context, typeToSerialize, symbol, enclosingDeclaration, includePrivateSymbol, bundled)
                   )
-                ], ((_a2 = context.enclosingDeclaration) == null ? void 0 : _a2.kind) === 267 /* ModuleDeclaration */ ? 1 /* Let */ : 2 /* Const */)
+                ], flags)
               );
               addResult(
                 statement,
@@ -56333,7 +56411,9 @@ ${lanes.join("\n")}
         } else if (isValidIndexKeyType(propNameType) || propNameType.flags & (1 /* Any */ | 32 /* Enum */)) {
           const indexKeyType = propNameType.flags & (1 /* Any */ | 4 /* String */) ? stringType : propNameType.flags & (8 /* Number */ | 32 /* Enum */) ? numberType : propNameType;
           const propType = instantiateType(templateType, appendTypeMapping(type.mapper, typeParameter, keyType));
-          const indexInfo = createIndexInfo(indexKeyType, propType, !!(templateModifiers & 1 /* IncludeReadonly */));
+          const modifiersIndexInfo = getApplicableIndexInfo(modifiersType, propNameType);
+          const isReadonly = !!(templateModifiers & 1 /* IncludeReadonly */ || !(templateModifiers & 2 /* ExcludeReadonly */) && (modifiersIndexInfo == null ? void 0 : modifiersIndexInfo.isReadonly));
+          const indexInfo = createIndexInfo(indexKeyType, propType, isReadonly);
           indexInfos = appendIndexInfo(
             indexInfos,
             indexInfo,
@@ -57931,7 +58011,13 @@ ${lanes.join("\n")}
         const id = getAliasId(symbol, typeArguments);
         let errorType2 = errorTypes.get(id);
         if (!errorType2) {
-          errorType2 = createIntrinsicType(1 /* Any */, "error");
+          errorType2 = createIntrinsicType(
+            1 /* Any */,
+            "error",
+            /*objectFlags*/
+            void 0,
+            `alias ${id}`
+          );
           errorType2.aliasSymbol = symbol;
           errorType2.aliasTypeArguments = typeArguments;
           errorTypes.set(id, errorType2);
@@ -58104,7 +58190,7 @@ ${lanes.join("\n")}
           if (getTypeParameterFromMappedType(mappedType) === getActualTypeVariable(type)) {
             const typeParameter = getHomomorphicTypeVariable(mappedType);
             if (typeParameter) {
-              const constraint = getConstraintOfTypeParameter(typeParameter);
+              const constraint = getConstraintOfTypeParameter(getConditionalFlowTypeOfType(typeParameter, parent2));
               if (constraint && everyType(constraint, isArrayOrTupleType)) {
                 constraints = append(constraints, getUnionType([numberType, numericStringType]));
               }
@@ -83917,7 +84003,7 @@ ${lanes.join("\n")}
       if (!symbol || !(symbol.flags & 16 /* Function */)) {
         return false;
       }
-      return !!forEachEntry(getExportsOfSymbol(symbol), (p) => p.flags & 111551 /* Value */ && p.valueDeclaration && isPropertyAccessExpression(p.valueDeclaration));
+      return !!forEachEntry(getExportsOfSymbol(symbol), (p) => p.flags & 111551 /* Value */ && isExpandoPropertyDeclaration(p.valueDeclaration));
     }
     function getPropertiesOfContainerFunction(node) {
       const declaration = getParseTreeNode(node, isFunctionDeclaration);
@@ -84424,11 +84510,11 @@ ${lanes.join("\n")}
         if (fileToDirective.has(file.path))
           return;
         fileToDirective.set(file.path, [key, mode]);
-        for (const { fileName } of file.referencedFiles) {
+        for (const { fileName, resolutionMode } of file.referencedFiles) {
           const resolvedFile = resolveTripleslashReference(fileName, file.fileName);
           const referencedFile = host.getSourceFile(resolvedFile);
           if (referencedFile) {
-            addReferencedFilesToTypeDirective(referencedFile, key, mode || file.impliedNodeFormat);
+            addReferencedFilesToTypeDirective(referencedFile, key, resolutionMode || file.impliedNodeFormat);
           }
         }
       }
@@ -110728,7 +110814,7 @@ ${lanes.join("\n")}
             fakespace.symbol = props[0].parent;
             const exportMappings = [];
             let declarations = mapDefined(props, (p) => {
-              if (!p.valueDeclaration || !(isPropertyAccessExpression(p.valueDeclaration) || isElementAccessExpression(p.valueDeclaration) || isBinaryExpression(p.valueDeclaration))) {
+              if (!isExpandoPropertyDeclaration(p.valueDeclaration)) {
                 return void 0;
               }
               const nameStr = unescapeLeadingUnderscores(p.escapedName);
@@ -184495,6 +184581,7 @@ ${e.message}`;
     isExclamationToken: () => isExclamationToken,
     isExcludedFile: () => isExcludedFile,
     isExclusivelyTypeOnlyImportOrExport: () => isExclusivelyTypeOnlyImportOrExport,
+    isExpandoPropertyDeclaration: () => isExpandoPropertyDeclaration,
     isExportAssignment: () => isExportAssignment,
     isExportDeclaration: () => isExportDeclaration,
     isExportModifier: () => isExportModifier,
@@ -186898,6 +186985,7 @@ ${e.message}`;
     isExclamationToken: () => isExclamationToken,
     isExcludedFile: () => isExcludedFile,
     isExclusivelyTypeOnlyImportOrExport: () => isExclusivelyTypeOnlyImportOrExport,
+    isExpandoPropertyDeclaration: () => isExpandoPropertyDeclaration,
     isExportAssignment: () => isExportAssignment,
     isExportDeclaration: () => isExportDeclaration,
     isExportModifier: () => isExportModifier,

package/lib/typingsInstaller.js

@@ -1307,7 +1307,7 @@ Node ${formatSyntaxKind(node.kind)} was unexpected.`,
       // for use with vscode-js-debug's new customDescriptionGenerator in launch.json
       __tsDebuggerDisplay: {
         value() {
-          const typeHeader = this.flags & 98304 /* Nullable */ ? "NullableType" : this.flags & 384 /* StringOrNumberLiteral */ ? `LiteralType ${JSON.stringify(this.value)}` : this.flags & 2048 /* BigIntLiteral */ ? `LiteralType ${this.value.negative ? "-" : ""}${this.value.base10Value}n` : this.flags & 8192 /* UniqueESSymbol */ ? "UniqueESSymbolType" : this.flags & 32 /* Enum */ ? "EnumType" : this.flags & 67359327 /* Intrinsic */ ? `IntrinsicType ${this.intrinsicName}` : this.flags & 1048576 /* Union */ ? "UnionType" : this.flags & 2097152 /* Intersection */ ? "IntersectionType" : this.flags & 4194304 /* Index */ ? "IndexType" : this.flags & 8388608 /* IndexedAccess */ ? "IndexedAccessType" : this.flags & 16777216 /* Conditional */ ? "ConditionalType" : this.flags & 33554432 /* Substitution */ ? "SubstitutionType" : this.flags & 262144 /* TypeParameter */ ? "TypeParameter" : this.flags & 524288 /* Object */ ? this.objectFlags & 3 /* ClassOrInterface */ ? "InterfaceType" : this.objectFlags & 4 /* Reference */ ? "TypeReference" : this.objectFlags & 8 /* Tuple */ ? "TupleType" : this.objectFlags & 16 /* Anonymous */ ? "AnonymousType" : this.objectFlags & 32 /* Mapped */ ? "MappedType" : this.objectFlags & 1024 /* ReverseMapped */ ? "ReverseMappedType" : this.objectFlags & 256 /* EvolvingArray */ ? "EvolvingArrayType" : "ObjectType" : "Type";
+          const typeHeader = this.flags & 67359327 /* Intrinsic */ ? `IntrinsicType ${this.intrinsicName}${this.debugIntrinsicName ? ` (${this.debugIntrinsicName})` : ""}` : this.flags & 98304 /* Nullable */ ? "NullableType" : this.flags & 384 /* StringOrNumberLiteral */ ? `LiteralType ${JSON.stringify(this.value)}` : this.flags & 2048 /* BigIntLiteral */ ? `LiteralType ${this.value.negative ? "-" : ""}${this.value.base10Value}n` : this.flags & 8192 /* UniqueESSymbol */ ? "UniqueESSymbolType" : this.flags & 32 /* Enum */ ? "EnumType" : this.flags & 1048576 /* Union */ ? "UnionType" : this.flags & 2097152 /* Intersection */ ? "IntersectionType" : this.flags & 4194304 /* Index */ ? "IndexType" : this.flags & 8388608 /* IndexedAccess */ ? "IndexedAccessType" : this.flags & 16777216 /* Conditional */ ? "ConditionalType" : this.flags & 33554432 /* Substitution */ ? "SubstitutionType" : this.flags & 262144 /* TypeParameter */ ? "TypeParameter" : this.flags & 524288 /* Object */ ? this.objectFlags & 3 /* ClassOrInterface */ ? "InterfaceType" : this.objectFlags & 4 /* Reference */ ? "TypeReference" : this.objectFlags & 8 /* Tuple */ ? "TupleType" : this.objectFlags & 16 /* Anonymous */ ? "AnonymousType" : this.objectFlags & 32 /* Mapped */ ? "MappedType" : this.objectFlags & 1024 /* ReverseMapped */ ? "ReverseMappedType" : this.objectFlags & 256 /* EvolvingArray */ ? "EvolvingArrayType" : "ObjectType" : "Type";
           const remainingObjectFlags = this.flags & 524288 /* Object */ ? this.objectFlags & ~1343 /* ObjectTypeKindMask */ : 0;
           return `${typeHeader}${this.symbol ? ` '${symbolName(this.symbol)}'` : ""}${remainingObjectFlags ? ` (${formatObjectFlags(remainingObjectFlags)})` : ""}`;
         }

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.3.0-pr-55727-5",
+  "version": "5.3.0-pr-55386-10",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -113,5 +113,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "0166f0aec71c4c4395daae79d37217259c5952fd"
+  "gitHead": "e8f04da6973728f1428d3248f32b587ec43ffa2f"
 }