@typescript-deploys/pr-build 5.4.0-pr-56515-12 → 5.4.0-pr-56467-3

package/lib/lib.es2018.intl.d.ts

@@ -47,12 +47,13 @@ declare namespace Intl {
         select(n: number): LDMLPluralRule;
     }
 
-    const PluralRules: {
+    interface PluralRulesConstructor {
         new (locales?: string | string[], options?: PluralRulesOptions): PluralRules;
         (locales?: string | string[], options?: PluralRulesOptions): PluralRules;
-
         supportedLocalesOf(locales: string | string[], options?: { localeMatcher?: "lookup" | "best fit"; }): string[];
-    };
+    }
+
+    const PluralRules: PluralRulesConstructor;
 
     // We can only have one definition for 'type' in TypeScript, and so you can learn where the keys come from here:
     type ES2018NumberFormatPartType = "literal" | "nan" | "infinity" | "percent" | "integer" | "group" | "decimal" | "fraction" | "plusSign" | "minusSign" | "percentSign" | "currency" | "code" | "symbol" | "name";

package/lib/lib.es2020.intl.d.ts

@@ -19,9 +19,11 @@ and limitations under the License.
 /// <reference lib="es2018.intl" />
 declare namespace Intl {
     /**
-     * [Unicode BCP 47 Locale Identifiers](https://unicode.org/reports/tr35/#Unicode_Language_and_Locale_Identifiers) definition.
+     * A string that is a valid [Unicode BCP 47 Locale Identifier](https://unicode.org/reports/tr35/#Unicode_locale_identifier).
      *
-     * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl#locales_argument).
+     * For example: "fa", "es-MX", "zh-Hant-TW".
+     *
+     * See [MDN - Intl - locales argument](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl#locales_argument).
      */
     type UnicodeBCP47LocaleIdentifier = string;
 
@@ -89,16 +91,9 @@ declare namespace Intl {
     type RelativeTimeFormatStyle = "long" | "short" | "narrow";
 
     /**
-     * [BCP 47 language tag](http://tools.ietf.org/html/rfc5646) definition.
+     * The locale or locales to use
      *
-     * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl#locales_argument).
-     */
-    type BCP47LanguageTag = string;
-
-    /**
-     * The locale(s) to use
-     *
-     * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl#locales_argument).
+     * See [MDN - Intl - locales argument](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl#locales_argument).
      */
     type LocalesArgument = UnicodeBCP47LocaleIdentifier | Locale | readonly (UnicodeBCP47LocaleIdentifier | Locale)[] | undefined;
 
@@ -218,7 +213,7 @@ declare namespace Intl {
          * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/RelativeTimeFormat/RelativeTimeFormat).
          */
         new (
-            locales?: UnicodeBCP47LocaleIdentifier | UnicodeBCP47LocaleIdentifier[],
+            locales?: LocalesArgument,
             options?: RelativeTimeFormatOptions,
         ): RelativeTimeFormat;
 
@@ -241,7 +236,7 @@ declare namespace Intl {
          * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/RelativeTimeFormat/supportedLocalesOf).
          */
         supportedLocalesOf(
-            locales?: UnicodeBCP47LocaleIdentifier | UnicodeBCP47LocaleIdentifier[],
+            locales?: LocalesArgument,
             options?: RelativeTimeFormatOptions,
         ): UnicodeBCP47LocaleIdentifier[];
     };
@@ -312,7 +307,7 @@ declare namespace Intl {
         /** Attempts to remove information about the locale that would be added by calling `Locale.maximize()`. */
         minimize(): Locale;
         /** Returns the locale's full locale identifier string. */
-        toString(): BCP47LanguageTag;
+        toString(): UnicodeBCP47LocaleIdentifier;
     }
 
     /**
@@ -330,7 +325,7 @@ declare namespace Intl {
      * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/Locale).
      */
     const Locale: {
-        new (tag: BCP47LanguageTag | Locale, options?: LocaleOptions): Locale;
+        new (tag: UnicodeBCP47LocaleIdentifier | Locale, options?: LocaleOptions): Locale;
     };
 
     type DisplayNamesFallback =
@@ -424,6 +419,31 @@ declare namespace Intl {
          *
          * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/DisplayNames/supportedLocalesOf).
          */
-        supportedLocalesOf(locales?: LocalesArgument, options?: { localeMatcher?: RelativeTimeFormatLocaleMatcher; }): BCP47LanguageTag[];
+        supportedLocalesOf(locales?: LocalesArgument, options?: { localeMatcher?: RelativeTimeFormatLocaleMatcher; }): UnicodeBCP47LocaleIdentifier[];
     };
+
+    interface CollatorConstructor {
+        new (locales?: LocalesArgument, options?: CollatorOptions): Collator;
+        (locales?: LocalesArgument, options?: CollatorOptions): Collator;
+        supportedLocalesOf(locales: LocalesArgument, options?: CollatorOptions): string[];
+    }
+
+    interface DateTimeFormatConstructor {
+        new (locales?: LocalesArgument, options?: DateTimeFormatOptions): DateTimeFormat;
+        (locales?: LocalesArgument, options?: DateTimeFormatOptions): DateTimeFormat;
+        supportedLocalesOf(locales: LocalesArgument, options?: DateTimeFormatOptions): string[];
+    }
+
+    interface NumberFormatConstructor {
+        new (locales?: LocalesArgument, options?: NumberFormatOptions): NumberFormat;
+        (locales?: LocalesArgument, options?: NumberFormatOptions): NumberFormat;
+        supportedLocalesOf(locales: LocalesArgument, options?: NumberFormatOptions): string[];
+    }
+
+    interface PluralRulesConstructor {
+        new (locales?: LocalesArgument, options?: PluralRulesOptions): PluralRules;
+        (locales?: LocalesArgument, options?: PluralRulesOptions): PluralRules;
+
+        supportedLocalesOf(locales: LocalesArgument, options?: { localeMatcher?: "lookup" | "best fit"; }): string[];
+    }
 }

package/lib/lib.es2020.string.d.ts

@@ -25,4 +25,18 @@ interface String {
      * @param regexp A variable name or string literal containing the regular expression pattern and flags.
      */
     matchAll(regexp: RegExp): IterableIterator<RegExpMatchArray>;
+
+    /** Converts all alphabetic characters to lowercase, taking into account the host environment's current locale. */
+    toLocaleLowerCase(locales?: Intl.LocalesArgument): string;
+
+    /** Returns a string where all alphabetic characters have been converted to uppercase, taking into account the host environment's current locale. */
+    toLocaleUpperCase(locales?: Intl.LocalesArgument): string;
+
+    /**
+     * Determines whether two strings are equivalent in the current or specified locale.
+     * @param that String to compare to target string
+     * @param locales A locale string or array of locale strings that contain one or more language or locale tags. If you include more than one locale string, list them in descending order of priority so that the first entry is the preferred locale. If you omit this parameter, the default locale of the JavaScript runtime is used. This parameter must conform to BCP 47 standards; see the Intl.Collator object for details.
+     * @param options An object that contains one or more properties that specify comparison options. see the Intl.Collator object for details.
+     */
+    localeCompare(that: string, locales?: Intl.LocalesArgument, options?: Intl.CollatorOptions): number;
 }

package/lib/lib.es2021.intl.d.ts

@@ -143,7 +143,7 @@ declare namespace Intl {
          *
          * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/ListFormat).
          */
-        new (locales?: BCP47LanguageTag | BCP47LanguageTag[], options?: ListFormatOptions): ListFormat;
+        new (locales?: LocalesArgument, options?: ListFormatOptions): ListFormat;
 
         /**
          * Returns an array containing those of the provided locales that are
@@ -161,6 +161,6 @@ declare namespace Intl {
          *
          * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/ListFormat/supportedLocalesOf).
          */
-        supportedLocalesOf(locales: BCP47LanguageTag | BCP47LanguageTag[], options?: Pick<ListFormatOptions, "localeMatcher">): BCP47LanguageTag[];
+        supportedLocalesOf(locales: LocalesArgument, options?: Pick<ListFormatOptions, "localeMatcher">): UnicodeBCP47LocaleIdentifier[];
     };
 }

package/lib/lib.es2022.intl.d.ts

@@ -89,7 +89,7 @@ declare namespace Intl {
          *
          * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/Segmenter).
          */
-        new (locales?: BCP47LanguageTag | BCP47LanguageTag[], options?: SegmenterOptions): Segmenter;
+        new (locales?: LocalesArgument, options?: SegmenterOptions): Segmenter;
 
         /**
          * Returns an array containing those of the provided locales that are supported without having to fall back to the runtime's default locale.
@@ -103,7 +103,7 @@ declare namespace Intl {
          *
          * [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/Segmenter/supportedLocalesOf)
          */
-        supportedLocalesOf(locales: BCP47LanguageTag | BCP47LanguageTag[], options?: Pick<SegmenterOptions, "localeMatcher">): BCP47LanguageTag[];
+        supportedLocalesOf(locales: LocalesArgument, options?: Pick<SegmenterOptions, "localeMatcher">): UnicodeBCP47LocaleIdentifier[];
     };
 
     /**

package/lib/lib.es5.d.ts

@@ -4418,11 +4418,14 @@ declare namespace Intl {
         compare(x: string, y: string): number;
         resolvedOptions(): ResolvedCollatorOptions;
     }
-    var Collator: {
+
+    interface CollatorConstructor {
         new (locales?: string | string[], options?: CollatorOptions): Collator;
         (locales?: string | string[], options?: CollatorOptions): Collator;
         supportedLocalesOf(locales: string | string[], options?: CollatorOptions): string[];
-    };
+    }
+
+    var Collator: CollatorConstructor;
 
     interface NumberFormatOptions {
         localeMatcher?: string | undefined;
@@ -4454,12 +4457,15 @@ declare namespace Intl {
         format(value: number): string;
         resolvedOptions(): ResolvedNumberFormatOptions;
     }
-    var NumberFormat: {
+
+    interface NumberFormatConstructor {
         new (locales?: string | string[], options?: NumberFormatOptions): NumberFormat;
         (locales?: string | string[], options?: NumberFormatOptions): NumberFormat;
         supportedLocalesOf(locales: string | string[], options?: NumberFormatOptions): string[];
         readonly prototype: NumberFormat;
-    };
+    }
+
+    var NumberFormat: NumberFormatConstructor;
 
     interface DateTimeFormatOptions {
         localeMatcher?: "best fit" | "lookup" | undefined;
@@ -4498,12 +4504,15 @@ declare namespace Intl {
         format(date?: Date | number): string;
         resolvedOptions(): ResolvedDateTimeFormatOptions;
     }
-    var DateTimeFormat: {
+
+    interface DateTimeFormatConstructor {
         new (locales?: string | string[], options?: DateTimeFormatOptions): DateTimeFormat;
         (locales?: string | string[], options?: DateTimeFormatOptions): DateTimeFormat;
         supportedLocalesOf(locales: string | string[], options?: DateTimeFormatOptions): string[];
         readonly prototype: DateTimeFormat;
-    };
+    }
+
+    var DateTimeFormat: DateTimeFormatConstructor;
 }
 
 interface String {

package/lib/lib.esnext.d.ts

@@ -20,3 +20,4 @@ and limitations under the License.
 /// <reference lib="esnext.intl" />
 /// <reference lib="esnext.decorators" />
 /// <reference lib="esnext.disposable" />
+/// <reference lib="esnext.promise" />

package/lib/lib.esnext.promise.d.ts

@@ -0,0 +1,35 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABLITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+
+/// <reference no-default-lib="true"/>
+
+interface PromiseWithResolvers<T> {
+    promise: Promise<T>;
+    resolve: (value: T | PromiseLike<T>) => void;
+    reject: (reason?: any) => void;
+}
+
+interface PromiseConstructor {
+    /**
+     * Creates a new Promise and returns it in an object, along with its resolve and reject functions.
+     * @returns An object with the properties `promise`, `resolve`, and `reject`.
+     *
+     * ```ts
+     * const { promise, resolve, reject } = Promise.withResolvers<T>();
+     * ```
+     */
+    withResolvers<T>(): PromiseWithResolvers<T>;
+}

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-insiders.20231128`;
+var version = `${versionMajorMinor}.0-insiders.20231129`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -3671,7 +3671,6 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["IncludesWildcard"] = 8388608 /* IndexedAccess */] = "IncludesWildcard";
   TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
   TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
-  TypeFlags2[TypeFlags2["IncludesConstrainedTypeVariable"] = 268435456 /* StringMapping */] = "IncludesConstrainedTypeVariable";
   TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323331] = "NotPrimitiveUnion";
   return TypeFlags2;
 })(TypeFlags || {});
@@ -3718,7 +3717,6 @@ var ObjectFlags = /* @__PURE__ */ ((ObjectFlags3) => {
   ObjectFlags3[ObjectFlags3["IsUnknownLikeUnion"] = 67108864] = "IsUnknownLikeUnion";
   ObjectFlags3[ObjectFlags3["IsNeverIntersectionComputed"] = 16777216] = "IsNeverIntersectionComputed";
   ObjectFlags3[ObjectFlags3["IsNeverIntersection"] = 33554432] = "IsNeverIntersection";
-  ObjectFlags3[ObjectFlags3["IsConstrainedTypeVariable"] = 67108864] = "IsConstrainedTypeVariable";
   return ObjectFlags3;
 })(ObjectFlags || {});
 var SignatureFlags = /* @__PURE__ */ ((SignatureFlags4) => {
@@ -32698,18 +32696,7 @@ var Parser;
         }
         nextTokenJSDoc();
         skipWhitespace();
-        const p2 = getNodePos();
-        let name = tokenIsIdentifierOrKeyword(token()) ? parseEntityName(
-          /*allowReservedWords*/
-          true
-        ) : void 0;
-        if (name) {
-          while (token() === 81 /* PrivateIdentifier */) {
-            reScanHashToken();
-            nextTokenJSDoc();
-            name = finishNode(factory2.createJSDocMemberName(name, parseIdentifier()), p2);
-          }
-        }
+        const name = parseJSDocLinkName();
         const text = [];
         while (token() !== 20 /* CloseBraceToken */ && token() !== 4 /* NewLineTrivia */ && token() !== 1 /* EndOfFileToken */) {
           text.push(scanner.getTokenText());
@@ -32718,6 +32705,26 @@ var Parser;
         const create = linkType === "link" ? factory2.createJSDocLink : linkType === "linkcode" ? factory2.createJSDocLinkCode : factory2.createJSDocLinkPlain;
         return finishNode(create(name, text.join("")), start2, scanner.getTokenEnd());
       }
+      function parseJSDocLinkName() {
+        if (tokenIsIdentifierOrKeyword(token())) {
+          const pos = getNodePos();
+          let name = parseIdentifierName();
+          while (parseOptional(25 /* DotToken */)) {
+            name = finishNode(factory2.createQualifiedName(name, token() === 81 /* PrivateIdentifier */ ? createMissingNode(
+              80 /* Identifier */,
+              /*reportAtCurrentPosition*/
+              false
+            ) : parseIdentifier()), pos);
+          }
+          while (token() === 81 /* PrivateIdentifier */) {
+            reScanHashToken();
+            nextTokenJSDoc();
+            name = finishNode(factory2.createJSDocMemberName(name, parseIdentifier()), pos);
+          }
+          return name;
+        }
+        return void 0;
+      }
       function parseJSDocLinkPrefix() {
         skipWhitespaceOrAsterisk();
         if (token() === 19 /* OpenBraceToken */ && nextTokenJSDoc() === 60 /* AtToken */ && tokenIsIdentifierOrKeyword(nextTokenJSDoc())) {
@@ -33890,7 +33897,7 @@ var libEntries = [
   ["esnext.disposable", "lib.esnext.disposable.d.ts"],
   ["esnext.bigint", "lib.es2020.bigint.d.ts"],
   ["esnext.string", "lib.es2022.string.d.ts"],
-  ["esnext.promise", "lib.es2021.promise.d.ts"],
+  ["esnext.promise", "lib.esnext.promise.d.ts"],
   ["esnext.weakref", "lib.es2021.weakref.d.ts"],
   ["esnext.decorators", "lib.esnext.decorators.d.ts"],
   ["decorators", "lib.decorators.d.ts"],
@@ -41778,7 +41785,7 @@ function createBinder() {
   }
   function bindSpecialPropertyAssignment(node) {
     var _a;
-    const parentSymbol = lookupSymbolForPropertyAccess(node.left.expression, container) || lookupSymbolForPropertyAccess(node.left.expression, blockScopeContainer);
+    const parentSymbol = lookupSymbolForPropertyAccess(node.left.expression, blockScopeContainer) || lookupSymbolForPropertyAccess(node.left.expression, container);
     if (!isInJSFile(node) && !isFunctionSymbol(parentSymbol)) {
       return;
     }
@@ -41876,7 +41883,7 @@ function createBinder() {
     return isBinaryExpression(propertyAccess.parent) ? getParentOfBinaryExpression(propertyAccess.parent).parent.kind === 312 /* SourceFile */ : propertyAccess.parent.parent.kind === 312 /* SourceFile */;
   }
   function bindPropertyAssignment(name, propertyAccess, isPrototypeProperty, containerIsClass) {
-    let namespaceSymbol = lookupSymbolForPropertyAccess(name, container) || lookupSymbolForPropertyAccess(name, blockScopeContainer);
+    let namespaceSymbol = lookupSymbolForPropertyAccess(name, blockScopeContainer) || lookupSymbolForPropertyAccess(name, container);
     const isToplevel = isTopLevelNamespaceAssignment(propertyAccess);
     namespaceSymbol = bindPotentiallyMissingNamespaces(namespaceSymbol, propertyAccess.expression, isToplevel, isPrototypeProperty, containerIsClass);
     bindPotentiallyNewExpandoMemberToNamespace(propertyAccess, namespaceSymbol, isPrototypeProperty);
@@ -56927,8 +56934,6 @@ function createTypeChecker(host) {
       includes |= flags & 473694207 /* IncludesMask */;
       if (flags & 465829888 /* Instantiable */)
         includes |= 33554432 /* IncludesInstantiable */;
-      if (flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */)
-        includes |= 268435456 /* IncludesConstrainedTypeVariable */;
       if (type === wildcardType)
         includes |= 8388608 /* IncludesWildcard */;
       if (!strictNullChecks && flags & 98304 /* Nullable */) {
@@ -57033,41 +57038,6 @@ function createTypeChecker(host) {
       }
     }
   }
-  function removeConstrainedTypeVariables(types) {
-    const typeVariables = [];
-    for (const type of types) {
-      if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
-        const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-        pushIfUnique(typeVariables, type.types[index]);
-      }
-    }
-    for (const typeVariable of typeVariables) {
-      const primitives = [];
-      for (const type of types) {
-        if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
-          const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-          if (type.types[index] === typeVariable) {
-            insertType(primitives, type.types[1 - index]);
-          }
-        }
-      }
-      const constraint = getBaseConstraintOfType(typeVariable);
-      if (everyType(constraint, (t) => containsType(primitives, t))) {
-        let i = types.length;
-        while (i > 0) {
-          i--;
-          const type = types[i];
-          if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
-            const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-            if (type.types[index] === typeVariable && containsType(primitives, type.types[1 - index])) {
-              orderedRemoveItemAt(types, i);
-            }
-          }
-        }
-        insertType(types, typeVariable);
-      }
-    }
-  }
   function isNamedUnionType(type) {
     return !!(type.flags & 1048576 /* Union */ && (type.aliasSymbol || type.origin));
   }
@@ -57133,9 +57103,6 @@ function createTypeChecker(host) {
       if (includes & 128 /* StringLiteral */ && includes & 134217728 /* TemplateLiteral */) {
         removeStringLiteralsMatchedByTemplateLiterals(typeSet);
       }
-      if (includes & 268435456 /* IncludesConstrainedTypeVariable */) {
-        removeConstrainedTypeVariables(typeSet);
-      }
       if (unionReduction === 2 /* Subtype */) {
         typeSet = removeSubtypes(typeSet, !!(includes & 524288 /* Object */));
         if (!typeSet) {
@@ -57348,9 +57315,9 @@ function createTypeChecker(host) {
     types[index] = getUnionTypeFromSortedList(result, 32768 /* PrimitiveUnion */);
     return true;
   }
-  function createIntersectionType(types, objectFlags, aliasSymbol, aliasTypeArguments) {
+  function createIntersectionType(types, aliasSymbol, aliasTypeArguments) {
     const result = createType(2097152 /* Intersection */);
-    result.objectFlags = objectFlags | getPropagatingFlagsOfTypes(
+    result.objectFlags = getPropagatingFlagsOfTypes(
       types,
       /*excludeKinds*/
       98304 /* Nullable */
@@ -57364,7 +57331,6 @@ function createTypeChecker(host) {
     const typeMembershipMap = /* @__PURE__ */ new Map();
     const includes = addTypesToIntersection(typeMembershipMap, 0, types);
     const typeSet = arrayFrom(typeMembershipMap.values());
-    let objectFlags = 0 /* None */;
     if (includes & 131072 /* Never */) {
       return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
     }
@@ -57393,25 +57359,6 @@ function createTypeChecker(host) {
     if (typeSet.length === 1) {
       return typeSet[0];
     }
-    if (typeSet.length === 2) {
-      const typeVarIndex = typeSet[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-      const typeVariable = typeSet[typeVarIndex];
-      const primitiveType = typeSet[1 - typeVarIndex];
-      if (typeVariable.flags & 8650752 /* TypeVariable */ && (primitiveType.flags & (402784252 /* Primitive */ | 67108864 /* NonPrimitive */) || includes & 16777216 /* IncludesEmptyObject */)) {
-        const constraint = getBaseConstraintOfType(typeVariable);
-        if (constraint && everyType(constraint, (t) => !!(t.flags & (402784252 /* Primitive */ | 67108864 /* NonPrimitive */)) || isEmptyAnonymousObjectType(t))) {
-          if (isTypeStrictSubtypeOf(constraint, primitiveType)) {
-            return typeVariable;
-          }
-          if (!(constraint.flags & 1048576 /* Union */ && someType(constraint, (c) => isTypeStrictSubtypeOf(c, primitiveType)))) {
-            if (!isTypeStrictSubtypeOf(primitiveType, constraint)) {
-              return neverType;
-            }
-          }
-          objectFlags = 67108864 /* IsConstrainedTypeVariable */;
-        }
-      }
-    }
     const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
     let result = intersectionTypes.get(id);
     if (!result) {
@@ -57434,7 +57381,7 @@ function createTypeChecker(host) {
           result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
         }
       } else {
-        result = createIntersectionType(typeSet, objectFlags, aliasSymbol, aliasTypeArguments);
+        result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
       }
       intersectionTypes.set(id, result);
     }

package/lib/tsserver.js

@@ -545,6 +545,7 @@ __export(server_exports, {
   escapeNonAsciiString: () => escapeNonAsciiString,
   escapeSnippetText: () => escapeSnippetText,
   escapeString: () => escapeString,
+  escapeTemplateSubstitution: () => escapeTemplateSubstitution,
   every: () => every,
   expandPreOrPostfixIncrementOrDecrementExpression: () => expandPreOrPostfixIncrementOrDecrementExpression,
   explainFiles: () => explainFiles,
@@ -2331,7 +2332,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20231128`;
+var version = `${versionMajorMinor}.0-insiders.20231129`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -6685,7 +6686,6 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["IncludesWildcard"] = 8388608 /* IndexedAccess */] = "IncludesWildcard";
   TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
   TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
-  TypeFlags2[TypeFlags2["IncludesConstrainedTypeVariable"] = 268435456 /* StringMapping */] = "IncludesConstrainedTypeVariable";
   TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323331] = "NotPrimitiveUnion";
   return TypeFlags2;
 })(TypeFlags || {});
@@ -6732,7 +6732,6 @@ var ObjectFlags = /* @__PURE__ */ ((ObjectFlags3) => {
   ObjectFlags3[ObjectFlags3["IsUnknownLikeUnion"] = 67108864] = "IsUnknownLikeUnion";
   ObjectFlags3[ObjectFlags3["IsNeverIntersectionComputed"] = 16777216] = "IsNeverIntersectionComputed";
   ObjectFlags3[ObjectFlags3["IsNeverIntersection"] = 33554432] = "IsNeverIntersection";
-  ObjectFlags3[ObjectFlags3["IsConstrainedTypeVariable"] = 67108864] = "IsConstrainedTypeVariable";
   return ObjectFlags3;
 })(ObjectFlags || {});
 var VarianceFlags = /* @__PURE__ */ ((VarianceFlags2) => {
@@ -37124,18 +37123,7 @@ var Parser;
         }
         nextTokenJSDoc();
         skipWhitespace();
-        const p2 = getNodePos();
-        let name = tokenIsIdentifierOrKeyword(token()) ? parseEntityName(
-          /*allowReservedWords*/
-          true
-        ) : void 0;
-        if (name) {
-          while (token() === 81 /* PrivateIdentifier */) {
-            reScanHashToken();
-            nextTokenJSDoc();
-            name = finishNode(factory2.createJSDocMemberName(name, parseIdentifier()), p2);
-          }
-        }
+        const name = parseJSDocLinkName();
         const text = [];
         while (token() !== 20 /* CloseBraceToken */ && token() !== 4 /* NewLineTrivia */ && token() !== 1 /* EndOfFileToken */) {
           text.push(scanner2.getTokenText());
@@ -37144,6 +37132,26 @@ var Parser;
         const create = linkType === "link" ? factory2.createJSDocLink : linkType === "linkcode" ? factory2.createJSDocLinkCode : factory2.createJSDocLinkPlain;
         return finishNode(create(name, text.join("")), start3, scanner2.getTokenEnd());
       }
+      function parseJSDocLinkName() {
+        if (tokenIsIdentifierOrKeyword(token())) {
+          const pos = getNodePos();
+          let name = parseIdentifierName();
+          while (parseOptional(25 /* DotToken */)) {
+            name = finishNode(factory2.createQualifiedName(name, token() === 81 /* PrivateIdentifier */ ? createMissingNode(
+              80 /* Identifier */,
+              /*reportAtCurrentPosition*/
+              false
+            ) : parseIdentifier()), pos);
+          }
+          while (token() === 81 /* PrivateIdentifier */) {
+            reScanHashToken();
+            nextTokenJSDoc();
+            name = finishNode(factory2.createJSDocMemberName(name, parseIdentifier()), pos);
+          }
+          return name;
+        }
+        return void 0;
+      }
       function parseJSDocLinkPrefix() {
         skipWhitespaceOrAsterisk();
         if (token() === 19 /* OpenBraceToken */ && nextTokenJSDoc() === 60 /* AtToken */ && tokenIsIdentifierOrKeyword(nextTokenJSDoc())) {
@@ -38316,7 +38324,7 @@ var libEntries = [
   ["esnext.disposable", "lib.esnext.disposable.d.ts"],
   ["esnext.bigint", "lib.es2020.bigint.d.ts"],
   ["esnext.string", "lib.es2022.string.d.ts"],
-  ["esnext.promise", "lib.es2021.promise.d.ts"],
+  ["esnext.promise", "lib.esnext.promise.d.ts"],
   ["esnext.weakref", "lib.es2021.weakref.d.ts"],
   ["esnext.decorators", "lib.esnext.decorators.d.ts"],
   ["decorators", "lib.decorators.d.ts"],
@@ -46459,7 +46467,7 @@ function createBinder() {
   }
   function bindSpecialPropertyAssignment(node) {
     var _a;
-    const parentSymbol = lookupSymbolForPropertyAccess(node.left.expression, container) || lookupSymbolForPropertyAccess(node.left.expression, blockScopeContainer);
+    const parentSymbol = lookupSymbolForPropertyAccess(node.left.expression, blockScopeContainer) || lookupSymbolForPropertyAccess(node.left.expression, container);
     if (!isInJSFile(node) && !isFunctionSymbol(parentSymbol)) {
       return;
     }
@@ -46557,7 +46565,7 @@ function createBinder() {
     return isBinaryExpression(propertyAccess.parent) ? getParentOfBinaryExpression(propertyAccess.parent).parent.kind === 312 /* SourceFile */ : propertyAccess.parent.parent.kind === 312 /* SourceFile */;
   }
   function bindPropertyAssignment(name, propertyAccess, isPrototypeProperty, containerIsClass) {
-    let namespaceSymbol = lookupSymbolForPropertyAccess(name, container) || lookupSymbolForPropertyAccess(name, blockScopeContainer);
+    let namespaceSymbol = lookupSymbolForPropertyAccess(name, blockScopeContainer) || lookupSymbolForPropertyAccess(name, container);
     const isToplevel = isTopLevelNamespaceAssignment(propertyAccess);
     namespaceSymbol = bindPotentiallyMissingNamespaces(namespaceSymbol, propertyAccess.expression, isToplevel, isPrototypeProperty, containerIsClass);
     bindPotentiallyNewExpandoMemberToNamespace(propertyAccess, namespaceSymbol, isPrototypeProperty);
@@ -61653,8 +61661,6 @@ function createTypeChecker(host) {
       includes |= flags & 473694207 /* IncludesMask */;
       if (flags & 465829888 /* Instantiable */)
         includes |= 33554432 /* IncludesInstantiable */;
-      if (flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */)
-        includes |= 268435456 /* IncludesConstrainedTypeVariable */;
       if (type === wildcardType)
         includes |= 8388608 /* IncludesWildcard */;
       if (!strictNullChecks && flags & 98304 /* Nullable */) {
@@ -61759,41 +61765,6 @@ function createTypeChecker(host) {
       }
     }
   }
-  function removeConstrainedTypeVariables(types) {
-    const typeVariables = [];
-    for (const type of types) {
-      if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
-        const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-        pushIfUnique(typeVariables, type.types[index]);
-      }
-    }
-    for (const typeVariable of typeVariables) {
-      const primitives = [];
-      for (const type of types) {
-        if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
-          const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-          if (type.types[index] === typeVariable) {
-            insertType(primitives, type.types[1 - index]);
-          }
-        }
-      }
-      const constraint = getBaseConstraintOfType(typeVariable);
-      if (everyType(constraint, (t) => containsType(primitives, t))) {
-        let i = types.length;
-        while (i > 0) {
-          i--;
-          const type = types[i];
-          if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
-            const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-            if (type.types[index] === typeVariable && containsType(primitives, type.types[1 - index])) {
-              orderedRemoveItemAt(types, i);
-            }
-          }
-        }
-        insertType(types, typeVariable);
-      }
-    }
-  }
   function isNamedUnionType(type) {
     return !!(type.flags & 1048576 /* Union */ && (type.aliasSymbol || type.origin));
   }
@@ -61859,9 +61830,6 @@ function createTypeChecker(host) {
       if (includes & 128 /* StringLiteral */ && includes & 134217728 /* TemplateLiteral */) {
         removeStringLiteralsMatchedByTemplateLiterals(typeSet);
       }
-      if (includes & 268435456 /* IncludesConstrainedTypeVariable */) {
-        removeConstrainedTypeVariables(typeSet);
-      }
       if (unionReduction === 2 /* Subtype */) {
         typeSet = removeSubtypes(typeSet, !!(includes & 524288 /* Object */));
         if (!typeSet) {
@@ -62074,9 +62042,9 @@ function createTypeChecker(host) {
     types[index] = getUnionTypeFromSortedList(result, 32768 /* PrimitiveUnion */);
     return true;
   }
-  function createIntersectionType(types, objectFlags, aliasSymbol, aliasTypeArguments) {
+  function createIntersectionType(types, aliasSymbol, aliasTypeArguments) {
     const result = createType(2097152 /* Intersection */);
-    result.objectFlags = objectFlags | getPropagatingFlagsOfTypes(
+    result.objectFlags = getPropagatingFlagsOfTypes(
       types,
       /*excludeKinds*/
       98304 /* Nullable */
@@ -62090,7 +62058,6 @@ function createTypeChecker(host) {
     const typeMembershipMap = /* @__PURE__ */ new Map();
     const includes = addTypesToIntersection(typeMembershipMap, 0, types);
     const typeSet = arrayFrom(typeMembershipMap.values());
-    let objectFlags = 0 /* None */;
     if (includes & 131072 /* Never */) {
       return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
     }
@@ -62119,25 +62086,6 @@ function createTypeChecker(host) {
     if (typeSet.length === 1) {
       return typeSet[0];
     }
-    if (typeSet.length === 2) {
-      const typeVarIndex = typeSet[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-      const typeVariable = typeSet[typeVarIndex];
-      const primitiveType = typeSet[1 - typeVarIndex];
-      if (typeVariable.flags & 8650752 /* TypeVariable */ && (primitiveType.flags & (402784252 /* Primitive */ | 67108864 /* NonPrimitive */) || includes & 16777216 /* IncludesEmptyObject */)) {
-        const constraint = getBaseConstraintOfType(typeVariable);
-        if (constraint && everyType(constraint, (t) => !!(t.flags & (402784252 /* Primitive */ | 67108864 /* NonPrimitive */)) || isEmptyAnonymousObjectType(t))) {
-          if (isTypeStrictSubtypeOf(constraint, primitiveType)) {
-            return typeVariable;
-          }
-          if (!(constraint.flags & 1048576 /* Union */ && someType(constraint, (c) => isTypeStrictSubtypeOf(c, primitiveType)))) {
-            if (!isTypeStrictSubtypeOf(primitiveType, constraint)) {
-              return neverType;
-            }
-          }
-          objectFlags = 67108864 /* IsConstrainedTypeVariable */;
-        }
-      }
-    }
     const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
     let result = intersectionTypes.get(id);
     if (!result) {
@@ -62160,7 +62108,7 @@ function createTypeChecker(host) {
           result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
         }
       } else {
-        result = createIntersectionType(typeSet, objectFlags, aliasSymbol, aliasTypeArguments);
+        result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
       }
       intersectionTypes.set(id, result);
     }
@@ -139282,11 +139230,9 @@ registerRefactor(refactorName3, {
 function getRangeToExtract(context, considerEmptySpans = true) {
   const { file, startPosition } = context;
   const isJS = isSourceFileJS(file);
-  const current = getTokenAtPosition(file, startPosition);
   const range = createTextRangeFromSpan(getRefactorContextSpan(context));
-  const cursorRequest = range.pos === range.end && considerEmptySpans;
-  const overlappingRange = nodeOverlapsWithStartEnd(current, file, range.pos, range.end);
-  const firstType = findAncestor(current, (node) => node.parent && isTypeNode(node) && !rangeContainsSkipTrivia(range, node.parent, file) && (cursorRequest || overlappingRange));
+  const isCursorRequest = range.pos === range.end && considerEmptySpans;
+  const firstType = getFirstTypeAt(file, startPosition, range, isCursorRequest);
   if (!firstType || !isTypeNode(firstType))
     return { error: getLocaleSpecificMessage(Diagnostics.Selection_is_not_a_valid_type_node) };
   const checker = context.program.getTypeChecker();
@@ -139312,6 +139258,21 @@ function getRangeToExtract(context, considerEmptySpans = true) {
   const typeElements = flattenTypeLiteralNodeReference(checker, selection);
   return { isJS, selection, enclosingNode, typeParameters, typeElements };
 }
+function getFirstTypeAt(file, startPosition, range, isCursorRequest) {
+  const currentNodes = [
+    () => getTokenAtPosition(file, startPosition),
+    () => getTouchingToken(file, startPosition, () => true)
+  ];
+  for (const f of currentNodes) {
+    const current = f();
+    const overlappingRange = nodeOverlapsWithStartEnd(current, file, range.pos, range.end);
+    const firstType = findAncestor(current, (node) => node.parent && isTypeNode(node) && !rangeContainsSkipTrivia(range, node.parent, file) && (isCursorRequest || overlappingRange));
+    if (firstType) {
+      return firstType;
+    }
+  }
+  return void 0;
+}
 function flattenTypeLiteralNodeReference(checker, selection) {
   if (!selection)
     return void 0;
@@ -165857,6 +165818,17 @@ function provideInlayHints(context) {
             visitForDisplayParts(node.type);
           }
           break;
+        case 181 /* IndexSignature */:
+          Debug.assertNode(node, isIndexSignatureDeclaration);
+          Debug.assertEqual(node.parameters.length, 1);
+          parts.push({ text: "[" });
+          visitForDisplayParts(node.parameters[0]);
+          parts.push({ text: "]" });
+          if (node.type) {
+            parts.push({ text: ": " });
+            visitForDisplayParts(node.type);
+          }
+          break;
         case 173 /* MethodSignature */:
           Debug.assertNode(node, isMethodSignature);
           if ((_b = node.modifiers) == null ? void 0 : _b.length) {
@@ -165906,6 +165878,28 @@ function provideInlayHints(context) {
           parts.push({ text: tokenToString(node.operator) });
           visitForDisplayParts(node.operand);
           break;
+        case 203 /* TemplateLiteralType */:
+          Debug.assertNode(node, isTemplateLiteralTypeNode);
+          visitForDisplayParts(node.head);
+          node.templateSpans.forEach(visitForDisplayParts);
+          break;
+        case 16 /* TemplateHead */:
+          Debug.assertNode(node, isTemplateHead);
+          parts.push({ text: getLiteralText2(node) });
+          break;
+        case 204 /* TemplateLiteralTypeSpan */:
+          Debug.assertNode(node, isTemplateLiteralTypeSpan);
+          visitForDisplayParts(node.type);
+          visitForDisplayParts(node.literal);
+          break;
+        case 17 /* TemplateMiddle */:
+          Debug.assertNode(node, isTemplateMiddle);
+          parts.push({ text: getLiteralText2(node) });
+          break;
+        case 18 /* TemplateTail */:
+          Debug.assertNode(node, isTemplateTail);
+          parts.push({ text: getLiteralText2(node) });
+          break;
         case 197 /* ThisType */:
           Debug.assertNode(node, isThisTypeNode);
           parts.push({ text: "this" });
@@ -165933,8 +165927,22 @@ function provideInlayHints(context) {
       });
     }
     function getLiteralText2(node) {
-      if (isStringLiteral(node)) {
-        return quotePreference === 0 /* Single */ ? `'${escapeString(node.text, 39 /* singleQuote */)}'` : `"${escapeString(node.text, 34 /* doubleQuote */)}"`;
+      switch (node.kind) {
+        case 11 /* StringLiteral */:
+          return quotePreference === 0 /* Single */ ? `'${escapeString(node.text, 39 /* singleQuote */)}'` : `"${escapeString(node.text, 34 /* doubleQuote */)}"`;
+        case 16 /* TemplateHead */:
+        case 17 /* TemplateMiddle */:
+        case 18 /* TemplateTail */: {
+          const rawText = node.rawText ?? escapeTemplateSubstitution(escapeString(node.text, 96 /* backtick */));
+          switch (node.kind) {
+            case 16 /* TemplateHead */:
+              return "`" + rawText + "${";
+            case 17 /* TemplateMiddle */:
+              return "}" + rawText + "${";
+            case 18 /* TemplateTail */:
+              return "}" + rawText + "`";
+          }
+        }
       }
       return node.text;
     }
@@ -173499,6 +173507,7 @@ __export(ts_exports2, {
   escapeNonAsciiString: () => escapeNonAsciiString,
   escapeSnippetText: () => escapeSnippetText,
   escapeString: () => escapeString,
+  escapeTemplateSubstitution: () => escapeTemplateSubstitution,
   every: () => every,
   expandPreOrPostfixIncrementOrDecrementExpression: () => expandPreOrPostfixIncrementOrDecrementExpression,
   explainFiles: () => explainFiles,
@@ -188290,6 +188299,7 @@ start(initializeNodeSystem(), require("os").platform());
   escapeNonAsciiString,
   escapeSnippetText,
   escapeString,
+  escapeTemplateSubstitution,
   every,
   expandPreOrPostfixIncrementOrDecrementExpression,
   explainFiles,

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.4";
-      version = `${versionMajorMinor}.0-insiders.20231128`;
+      version = `${versionMajorMinor}.0-insiders.20231129`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -4447,7 +4447,6 @@ ${lanes.join("\n")}
         TypeFlags2[TypeFlags2["IncludesWildcard"] = 8388608 /* IndexedAccess */] = "IncludesWildcard";
         TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
         TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
-        TypeFlags2[TypeFlags2["IncludesConstrainedTypeVariable"] = 268435456 /* StringMapping */] = "IncludesConstrainedTypeVariable";
         TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323331] = "NotPrimitiveUnion";
         return TypeFlags2;
       })(TypeFlags || {});
@@ -4494,7 +4493,6 @@ ${lanes.join("\n")}
         ObjectFlags3[ObjectFlags3["IsUnknownLikeUnion"] = 67108864] = "IsUnknownLikeUnion";
         ObjectFlags3[ObjectFlags3["IsNeverIntersectionComputed"] = 16777216] = "IsNeverIntersectionComputed";
         ObjectFlags3[ObjectFlags3["IsNeverIntersection"] = 33554432] = "IsNeverIntersection";
-        ObjectFlags3[ObjectFlags3["IsConstrainedTypeVariable"] = 67108864] = "IsConstrainedTypeVariable";
         return ObjectFlags3;
       })(ObjectFlags || {});
       VarianceFlags = /* @__PURE__ */ ((VarianceFlags2) => {
@@ -35193,18 +35191,7 @@ ${lanes.join("\n")}
               }
               nextTokenJSDoc();
               skipWhitespace();
-              const p2 = getNodePos();
-              let name = tokenIsIdentifierOrKeyword(token()) ? parseEntityName(
-                /*allowReservedWords*/
-                true
-              ) : void 0;
-              if (name) {
-                while (token() === 81 /* PrivateIdentifier */) {
-                  reScanHashToken();
-                  nextTokenJSDoc();
-                  name = finishNode(factory2.createJSDocMemberName(name, parseIdentifier()), p2);
-                }
-              }
+              const name = parseJSDocLinkName();
               const text = [];
               while (token() !== 20 /* CloseBraceToken */ && token() !== 4 /* NewLineTrivia */ && token() !== 1 /* EndOfFileToken */) {
                 text.push(scanner2.getTokenText());
@@ -35213,6 +35200,26 @@ ${lanes.join("\n")}
               const create = linkType === "link" ? factory2.createJSDocLink : linkType === "linkcode" ? factory2.createJSDocLinkCode : factory2.createJSDocLinkPlain;
               return finishNode(create(name, text.join("")), start2, scanner2.getTokenEnd());
             }
+            function parseJSDocLinkName() {
+              if (tokenIsIdentifierOrKeyword(token())) {
+                const pos = getNodePos();
+                let name = parseIdentifierName();
+                while (parseOptional(25 /* DotToken */)) {
+                  name = finishNode(factory2.createQualifiedName(name, token() === 81 /* PrivateIdentifier */ ? createMissingNode(
+                    80 /* Identifier */,
+                    /*reportAtCurrentPosition*/
+                    false
+                  ) : parseIdentifier()), pos);
+                }
+                while (token() === 81 /* PrivateIdentifier */) {
+                  reScanHashToken();
+                  nextTokenJSDoc();
+                  name = finishNode(factory2.createJSDocMemberName(name, parseIdentifier()), pos);
+                }
+                return name;
+              }
+              return void 0;
+            }
             function parseJSDocLinkPrefix() {
               skipWhitespaceOrAsterisk();
               if (token() === 19 /* OpenBraceToken */ && nextTokenJSDoc() === 60 /* AtToken */ && tokenIsIdentifierOrKeyword(nextTokenJSDoc())) {
@@ -37807,7 +37814,7 @@ ${lanes.join("\n")}
         ["esnext.disposable", "lib.esnext.disposable.d.ts"],
         ["esnext.bigint", "lib.es2020.bigint.d.ts"],
         ["esnext.string", "lib.es2022.string.d.ts"],
-        ["esnext.promise", "lib.es2021.promise.d.ts"],
+        ["esnext.promise", "lib.esnext.promise.d.ts"],
         ["esnext.weakref", "lib.es2021.weakref.d.ts"],
         ["esnext.decorators", "lib.esnext.decorators.d.ts"],
         ["decorators", "lib.decorators.d.ts"],
@@ -44303,7 +44310,7 @@ ${lanes.join("\n")}
     }
     function bindSpecialPropertyAssignment(node) {
       var _a;
-      const parentSymbol = lookupSymbolForPropertyAccess(node.left.expression, container) || lookupSymbolForPropertyAccess(node.left.expression, blockScopeContainer);
+      const parentSymbol = lookupSymbolForPropertyAccess(node.left.expression, blockScopeContainer) || lookupSymbolForPropertyAccess(node.left.expression, container);
       if (!isInJSFile(node) && !isFunctionSymbol(parentSymbol)) {
         return;
       }
@@ -44401,7 +44408,7 @@ ${lanes.join("\n")}
       return isBinaryExpression(propertyAccess.parent) ? getParentOfBinaryExpression(propertyAccess.parent).parent.kind === 312 /* SourceFile */ : propertyAccess.parent.parent.kind === 312 /* SourceFile */;
     }
     function bindPropertyAssignment(name, propertyAccess, isPrototypeProperty, containerIsClass) {
-      let namespaceSymbol = lookupSymbolForPropertyAccess(name, container) || lookupSymbolForPropertyAccess(name, blockScopeContainer);
+      let namespaceSymbol = lookupSymbolForPropertyAccess(name, blockScopeContainer) || lookupSymbolForPropertyAccess(name, container);
       const isToplevel = isTopLevelNamespaceAssignment(propertyAccess);
       namespaceSymbol = bindPotentiallyMissingNamespaces(namespaceSymbol, propertyAccess.expression, isToplevel, isPrototypeProperty, containerIsClass);
       bindPotentiallyNewExpandoMemberToNamespace(propertyAccess, namespaceSymbol, isPrototypeProperty);
@@ -59417,8 +59424,6 @@ ${lanes.join("\n")}
         includes |= flags & 473694207 /* IncludesMask */;
         if (flags & 465829888 /* Instantiable */)
           includes |= 33554432 /* IncludesInstantiable */;
-        if (flags & 2097152 /* Intersection */ && getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */)
-          includes |= 268435456 /* IncludesConstrainedTypeVariable */;
         if (type === wildcardType)
           includes |= 8388608 /* IncludesWildcard */;
         if (!strictNullChecks && flags & 98304 /* Nullable */) {
@@ -59523,41 +59528,6 @@ ${lanes.join("\n")}
         }
       }
     }
-    function removeConstrainedTypeVariables(types) {
-      const typeVariables = [];
-      for (const type of types) {
-        if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
-          const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-          pushIfUnique(typeVariables, type.types[index]);
-        }
-      }
-      for (const typeVariable of typeVariables) {
-        const primitives = [];
-        for (const type of types) {
-          if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
-            const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-            if (type.types[index] === typeVariable) {
-              insertType(primitives, type.types[1 - index]);
-            }
-          }
-        }
-        const constraint = getBaseConstraintOfType(typeVariable);
-        if (everyType(constraint, (t) => containsType(primitives, t))) {
-          let i = types.length;
-          while (i > 0) {
-            i--;
-            const type = types[i];
-            if (getObjectFlags(type) & 67108864 /* IsConstrainedTypeVariable */) {
-              const index = type.types[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-              if (type.types[index] === typeVariable && containsType(primitives, type.types[1 - index])) {
-                orderedRemoveItemAt(types, i);
-              }
-            }
-          }
-          insertType(types, typeVariable);
-        }
-      }
-    }
     function isNamedUnionType(type) {
       return !!(type.flags & 1048576 /* Union */ && (type.aliasSymbol || type.origin));
     }
@@ -59623,9 +59593,6 @@ ${lanes.join("\n")}
         if (includes & 128 /* StringLiteral */ && includes & 134217728 /* TemplateLiteral */) {
           removeStringLiteralsMatchedByTemplateLiterals(typeSet);
         }
-        if (includes & 268435456 /* IncludesConstrainedTypeVariable */) {
-          removeConstrainedTypeVariables(typeSet);
-        }
         if (unionReduction === 2 /* Subtype */) {
           typeSet = removeSubtypes(typeSet, !!(includes & 524288 /* Object */));
           if (!typeSet) {
@@ -59838,9 +59805,9 @@ ${lanes.join("\n")}
       types[index] = getUnionTypeFromSortedList(result, 32768 /* PrimitiveUnion */);
       return true;
     }
-    function createIntersectionType(types, objectFlags, aliasSymbol, aliasTypeArguments) {
+    function createIntersectionType(types, aliasSymbol, aliasTypeArguments) {
       const result = createType(2097152 /* Intersection */);
-      result.objectFlags = objectFlags | getPropagatingFlagsOfTypes(
+      result.objectFlags = getPropagatingFlagsOfTypes(
         types,
         /*excludeKinds*/
         98304 /* Nullable */
@@ -59854,7 +59821,6 @@ ${lanes.join("\n")}
       const typeMembershipMap = /* @__PURE__ */ new Map();
       const includes = addTypesToIntersection(typeMembershipMap, 0, types);
       const typeSet = arrayFrom(typeMembershipMap.values());
-      let objectFlags = 0 /* None */;
       if (includes & 131072 /* Never */) {
         return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
       }
@@ -59883,25 +59849,6 @@ ${lanes.join("\n")}
       if (typeSet.length === 1) {
         return typeSet[0];
       }
-      if (typeSet.length === 2) {
-        const typeVarIndex = typeSet[0].flags & 8650752 /* TypeVariable */ ? 0 : 1;
-        const typeVariable = typeSet[typeVarIndex];
-        const primitiveType = typeSet[1 - typeVarIndex];
-        if (typeVariable.flags & 8650752 /* TypeVariable */ && (primitiveType.flags & (402784252 /* Primitive */ | 67108864 /* NonPrimitive */) || includes & 16777216 /* IncludesEmptyObject */)) {
-          const constraint = getBaseConstraintOfType(typeVariable);
-          if (constraint && everyType(constraint, (t) => !!(t.flags & (402784252 /* Primitive */ | 67108864 /* NonPrimitive */)) || isEmptyAnonymousObjectType(t))) {
-            if (isTypeStrictSubtypeOf(constraint, primitiveType)) {
-              return typeVariable;
-            }
-            if (!(constraint.flags & 1048576 /* Union */ && someType(constraint, (c) => isTypeStrictSubtypeOf(c, primitiveType)))) {
-              if (!isTypeStrictSubtypeOf(primitiveType, constraint)) {
-                return neverType;
-              }
-            }
-            objectFlags = 67108864 /* IsConstrainedTypeVariable */;
-          }
-        }
-      }
       const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
       let result = intersectionTypes.get(id);
       if (!result) {
@@ -59924,7 +59871,7 @@ ${lanes.join("\n")}
             result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
           }
         } else {
-          result = createIntersectionType(typeSet, objectFlags, aliasSymbol, aliasTypeArguments);
+          result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
         }
         intersectionTypes.set(id, result);
       }
@@ -137590,11 +137537,9 @@ ${lanes.join("\n")}
   function getRangeToExtract(context, considerEmptySpans = true) {
     const { file, startPosition } = context;
     const isJS = isSourceFileJS(file);
-    const current = getTokenAtPosition(file, startPosition);
     const range = createTextRangeFromSpan(getRefactorContextSpan(context));
-    const cursorRequest = range.pos === range.end && considerEmptySpans;
-    const overlappingRange = nodeOverlapsWithStartEnd(current, file, range.pos, range.end);
-    const firstType = findAncestor(current, (node) => node.parent && isTypeNode(node) && !rangeContainsSkipTrivia(range, node.parent, file) && (cursorRequest || overlappingRange));
+    const isCursorRequest = range.pos === range.end && considerEmptySpans;
+    const firstType = getFirstTypeAt(file, startPosition, range, isCursorRequest);
     if (!firstType || !isTypeNode(firstType))
       return { error: getLocaleSpecificMessage(Diagnostics.Selection_is_not_a_valid_type_node) };
     const checker = context.program.getTypeChecker();
@@ -137620,6 +137565,21 @@ ${lanes.join("\n")}
     const typeElements = flattenTypeLiteralNodeReference(checker, selection);
     return { isJS, selection, enclosingNode, typeParameters, typeElements };
   }
+  function getFirstTypeAt(file, startPosition, range, isCursorRequest) {
+    const currentNodes = [
+      () => getTokenAtPosition(file, startPosition),
+      () => getTouchingToken(file, startPosition, () => true)
+    ];
+    for (const f of currentNodes) {
+      const current = f();
+      const overlappingRange = nodeOverlapsWithStartEnd(current, file, range.pos, range.end);
+      const firstType = findAncestor(current, (node) => node.parent && isTypeNode(node) && !rangeContainsSkipTrivia(range, node.parent, file) && (isCursorRequest || overlappingRange));
+      if (firstType) {
+        return firstType;
+      }
+    }
+    return void 0;
+  }
   function flattenTypeLiteralNodeReference(checker, selection) {
     if (!selection)
       return void 0;
@@ -165200,6 +165160,17 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
               visitForDisplayParts(node.type);
             }
             break;
+          case 181 /* IndexSignature */:
+            Debug.assertNode(node, isIndexSignatureDeclaration);
+            Debug.assertEqual(node.parameters.length, 1);
+            parts.push({ text: "[" });
+            visitForDisplayParts(node.parameters[0]);
+            parts.push({ text: "]" });
+            if (node.type) {
+              parts.push({ text: ": " });
+              visitForDisplayParts(node.type);
+            }
+            break;
           case 173 /* MethodSignature */:
             Debug.assertNode(node, isMethodSignature);
             if ((_b = node.modifiers) == null ? void 0 : _b.length) {
@@ -165249,6 +165220,28 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
             parts.push({ text: tokenToString(node.operator) });
             visitForDisplayParts(node.operand);
             break;
+          case 203 /* TemplateLiteralType */:
+            Debug.assertNode(node, isTemplateLiteralTypeNode);
+            visitForDisplayParts(node.head);
+            node.templateSpans.forEach(visitForDisplayParts);
+            break;
+          case 16 /* TemplateHead */:
+            Debug.assertNode(node, isTemplateHead);
+            parts.push({ text: getLiteralText2(node) });
+            break;
+          case 204 /* TemplateLiteralTypeSpan */:
+            Debug.assertNode(node, isTemplateLiteralTypeSpan);
+            visitForDisplayParts(node.type);
+            visitForDisplayParts(node.literal);
+            break;
+          case 17 /* TemplateMiddle */:
+            Debug.assertNode(node, isTemplateMiddle);
+            parts.push({ text: getLiteralText2(node) });
+            break;
+          case 18 /* TemplateTail */:
+            Debug.assertNode(node, isTemplateTail);
+            parts.push({ text: getLiteralText2(node) });
+            break;
           case 197 /* ThisType */:
             Debug.assertNode(node, isThisTypeNode);
             parts.push({ text: "this" });
@@ -165276,8 +165269,22 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         });
       }
       function getLiteralText2(node) {
-        if (isStringLiteral(node)) {
-          return quotePreference === 0 /* Single */ ? `'${escapeString(node.text, 39 /* singleQuote */)}'` : `"${escapeString(node.text, 34 /* doubleQuote */)}"`;
+        switch (node.kind) {
+          case 11 /* StringLiteral */:
+            return quotePreference === 0 /* Single */ ? `'${escapeString(node.text, 39 /* singleQuote */)}'` : `"${escapeString(node.text, 34 /* doubleQuote */)}"`;
+          case 16 /* TemplateHead */:
+          case 17 /* TemplateMiddle */:
+          case 18 /* TemplateTail */: {
+            const rawText = node.rawText ?? escapeTemplateSubstitution(escapeString(node.text, 96 /* backtick */));
+            switch (node.kind) {
+              case 16 /* TemplateHead */:
+                return "`" + rawText + "${";
+              case 17 /* TemplateMiddle */:
+                return "}" + rawText + "${";
+              case 18 /* TemplateTail */:
+                return "}" + rawText + "`";
+            }
+          }
         }
         return node.text;
       }
@@ -185058,6 +185065,7 @@ ${e.message}`;
     escapeNonAsciiString: () => escapeNonAsciiString,
     escapeSnippetText: () => escapeSnippetText,
     escapeString: () => escapeString,
+    escapeTemplateSubstitution: () => escapeTemplateSubstitution,
     every: () => every,
     expandPreOrPostfixIncrementOrDecrementExpression: () => expandPreOrPostfixIncrementOrDecrementExpression,
     explainFiles: () => explainFiles,
@@ -187470,6 +187478,7 @@ ${e.message}`;
     escapeNonAsciiString: () => escapeNonAsciiString,
     escapeSnippetText: () => escapeSnippetText,
     escapeString: () => escapeString,
+    escapeTemplateSubstitution: () => escapeTemplateSubstitution,
     every: () => every,
     expandPreOrPostfixIncrementOrDecrementExpression: () => expandPreOrPostfixIncrementOrDecrementExpression,
     explainFiles: () => explainFiles,

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20231128`;
+var version = `${versionMajorMinor}.0-insiders.20231129`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -3105,7 +3105,6 @@ var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["IncludesWildcard"] = 8388608 /* IndexedAccess */] = "IncludesWildcard";
   TypeFlags2[TypeFlags2["IncludesEmptyObject"] = 16777216 /* Conditional */] = "IncludesEmptyObject";
   TypeFlags2[TypeFlags2["IncludesInstantiable"] = 33554432 /* Substitution */] = "IncludesInstantiable";
-  TypeFlags2[TypeFlags2["IncludesConstrainedTypeVariable"] = 268435456 /* StringMapping */] = "IncludesConstrainedTypeVariable";
   TypeFlags2[TypeFlags2["NotPrimitiveUnion"] = 36323331] = "NotPrimitiveUnion";
   return TypeFlags2;
 })(TypeFlags || {});
@@ -3152,7 +3151,6 @@ var ObjectFlags = /* @__PURE__ */ ((ObjectFlags3) => {
   ObjectFlags3[ObjectFlags3["IsUnknownLikeUnion"] = 67108864] = "IsUnknownLikeUnion";
   ObjectFlags3[ObjectFlags3["IsNeverIntersectionComputed"] = 16777216] = "IsNeverIntersectionComputed";
   ObjectFlags3[ObjectFlags3["IsNeverIntersection"] = 33554432] = "IsNeverIntersection";
-  ObjectFlags3[ObjectFlags3["IsConstrainedTypeVariable"] = 67108864] = "IsConstrainedTypeVariable";
   return ObjectFlags3;
 })(ObjectFlags || {});
 var SignatureFlags = /* @__PURE__ */ ((SignatureFlags4) => {
@@ -24512,18 +24510,7 @@ var Parser;
         }
         nextTokenJSDoc();
         skipWhitespace();
-        const p2 = getNodePos();
-        let name = tokenIsIdentifierOrKeyword(token()) ? parseEntityName(
-          /*allowReservedWords*/
-          true
-        ) : void 0;
-        if (name) {
-          while (token() === 81 /* PrivateIdentifier */) {
-            reScanHashToken();
-            nextTokenJSDoc();
-            name = finishNode(factory2.createJSDocMemberName(name, parseIdentifier()), p2);
-          }
-        }
+        const name = parseJSDocLinkName();
         const text = [];
         while (token() !== 20 /* CloseBraceToken */ && token() !== 4 /* NewLineTrivia */ && token() !== 1 /* EndOfFileToken */) {
           text.push(scanner.getTokenText());
@@ -24532,6 +24519,26 @@ var Parser;
         const create = linkType === "link" ? factory2.createJSDocLink : linkType === "linkcode" ? factory2.createJSDocLinkCode : factory2.createJSDocLinkPlain;
         return finishNode(create(name, text.join("")), start2, scanner.getTokenEnd());
       }
+      function parseJSDocLinkName() {
+        if (tokenIsIdentifierOrKeyword(token())) {
+          const pos = getNodePos();
+          let name = parseIdentifierName();
+          while (parseOptional(25 /* DotToken */)) {
+            name = finishNode(factory2.createQualifiedName(name, token() === 81 /* PrivateIdentifier */ ? createMissingNode(
+              80 /* Identifier */,
+              /*reportAtCurrentPosition*/
+              false
+            ) : parseIdentifier()), pos);
+          }
+          while (token() === 81 /* PrivateIdentifier */) {
+            reScanHashToken();
+            nextTokenJSDoc();
+            name = finishNode(factory2.createJSDocMemberName(name, parseIdentifier()), pos);
+          }
+          return name;
+        }
+        return void 0;
+      }
       function parseJSDocLinkPrefix() {
         skipWhitespaceOrAsterisk();
         if (token() === 19 /* OpenBraceToken */ && nextTokenJSDoc() === 60 /* AtToken */ && tokenIsIdentifierOrKeyword(nextTokenJSDoc())) {
@@ -25699,7 +25706,7 @@ var libEntries = [
   ["esnext.disposable", "lib.esnext.disposable.d.ts"],
   ["esnext.bigint", "lib.es2020.bigint.d.ts"],
   ["esnext.string", "lib.es2022.string.d.ts"],
-  ["esnext.promise", "lib.es2021.promise.d.ts"],
+  ["esnext.promise", "lib.esnext.promise.d.ts"],
   ["esnext.weakref", "lib.es2021.weakref.d.ts"],
   ["esnext.decorators", "lib.esnext.decorators.d.ts"],
   ["decorators", "lib.decorators.d.ts"],

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.4.0-pr-56515-12",
+  "version": "5.4.0-pr-56467-3",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -115,5 +115,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "008fd1d8f1e1f4a0836341b6ba0977db9061d24a"
+  "gitHead": "4f75681dfab9e608105b374efa1f97eeaf478845"
 }