typescript 6.0.0-dev.20250929 → 6.0.0-dev.20251001

package/lib/_tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-dev.20250929`;
+var version = `${versionMajorMinor}.0-dev.20251001`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -7010,6 +7010,7 @@ var Diagnostics = {
   Option_0_1_has_been_removed_Please_remove_it_from_your_configuration: diag(5108, 1 /* Error */, "Option_0_1_has_been_removed_Please_remove_it_from_your_configuration_5108", "Option '{0}={1}' has been removed. Please remove it from your configuration."),
   Option_moduleResolution_must_be_set_to_0_or_left_unspecified_when_option_module_is_set_to_1: diag(5109, 1 /* Error */, "Option_moduleResolution_must_be_set_to_0_or_left_unspecified_when_option_module_is_set_to_1_5109", "Option 'moduleResolution' must be set to '{0}' (or left unspecified) when option 'module' is set to '{1}'."),
   Option_module_must_be_set_to_0_when_option_moduleResolution_is_set_to_1: diag(5110, 1 /* Error */, "Option_module_must_be_set_to_0_when_option_moduleResolution_is_set_to_1_5110", "Option 'module' must be set to '{0}' when option 'moduleResolution' is set to '{1}'."),
+  Visit_https_Colon_Slash_Slashaka_ms_Slashts6_for_migration_information: diag(5111, 3 /* Message */, "Visit_https_Colon_Slash_Slashaka_ms_Slashts6_for_migration_information_5111", "Visit https://aka.ms/ts6 for migration information."),
   Generates_a_sourcemap_for_each_corresponding_d_ts_file: diag(6e3, 3 /* Message */, "Generates_a_sourcemap_for_each_corresponding_d_ts_file_6000", "Generates a sourcemap for each corresponding '.d.ts' file."),
   Concatenate_and_emit_output_to_single_file: diag(6001, 3 /* Message */, "Concatenate_and_emit_output_to_single_file_6001", "Concatenate and emit output to single file."),
   Generates_corresponding_d_ts_file: diag(6002, 3 /* Message */, "Generates_corresponding_d_ts_file_6002", "Generates corresponding '.d.ts' file."),
@@ -15492,6 +15493,9 @@ function getTypeParameterFromJsDoc(node) {
   const { typeParameters } = node.parent.parent.parent;
   return typeParameters && find(typeParameters, (p) => p.name.escapedText === name);
 }
+function hasTypeArguments(node) {
+  return !!node.typeArguments;
+}
 function getAssignmentTarget(node) {
   let parent = node.parent;
   while (true) {
@@ -66783,7 +66787,7 @@ function createTypeChecker(host) {
         }
         return 0 /* False */;
       }
-      if (getObjectFlags(target2) & 8192 /* FreshLiteral */) {
+      if (isObjectLiteralType(target2)) {
         for (const sourceProp of excludeProperties(getPropertiesOfType(source2), excludedProperties)) {
           if (!getPropertyOfObjectType(target2, sourceProp.escapedName)) {
             if (reportErrors2) {
@@ -67453,7 +67457,7 @@ function createTypeChecker(host) {
     if (isReadonlySymbol(sourceProp) !== isReadonlySymbol(targetProp)) {
       return 0 /* False */;
     }
-    return compareTypes(getTypeOfSymbol(sourceProp), getTypeOfSymbol(targetProp));
+    return compareTypes(getNonMissingTypeOfSymbol(sourceProp), getNonMissingTypeOfSymbol(targetProp));
   }
   function isMatchingSignature(source, target, partialMatch) {
     const sourceParameterCount = getParameterCount(source);
@@ -69467,23 +69471,21 @@ function createTypeChecker(host) {
     for (const type of types) {
       if (type.flags & (524288 /* Object */ | 2097152 /* Intersection */ | 58982400 /* InstantiableNonPrimitive */)) {
         const discriminant = getTypeOfPropertyOfType(type, name);
-        if (discriminant) {
-          if (!isLiteralType(discriminant)) {
-            return void 0;
-          }
-          let duplicate = false;
-          forEachType(discriminant, (t) => {
-            const id = getTypeId(getRegularTypeOfLiteralType(t));
-            const existing = map2.get(id);
-            if (!existing) {
-              map2.set(id, type);
-            } else if (existing !== unknownType) {
-              map2.set(id, unknownType);
-              duplicate = true;
-            }
-          });
-          if (!duplicate) count++;
+        if (!discriminant || !isLiteralType(discriminant)) {
+          return void 0;
         }
+        let duplicate = false;
+        forEachType(discriminant, (t) => {
+          const id = getTypeId(getRegularTypeOfLiteralType(t));
+          const existing = map2.get(id);
+          if (!existing) {
+            map2.set(id, type);
+          } else if (existing !== unknownType) {
+            map2.set(id, unknownType);
+            duplicate = true;
+          }
+        });
+        if (!duplicate) count++;
       }
     }
     return count >= 10 && count * 2 >= types.length ? map2 : void 0;
@@ -81600,6 +81602,47 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
+  function getUninstantiatedSignatures(node) {
+    switch (node.kind) {
+      case 214 /* CallExpression */:
+      case 171 /* Decorator */:
+        return getSignaturesOfType(
+          getTypeOfExpression(node.expression),
+          0 /* Call */
+        );
+      case 215 /* NewExpression */:
+        return getSignaturesOfType(
+          getTypeOfExpression(node.expression),
+          1 /* Construct */
+        );
+      case 286 /* JsxSelfClosingElement */:
+      case 287 /* JsxOpeningElement */:
+        if (isJsxIntrinsicTagName(node.tagName)) return [];
+        return getSignaturesOfType(
+          getTypeOfExpression(node.tagName),
+          0 /* Call */
+        );
+      case 216 /* TaggedTemplateExpression */:
+        return getSignaturesOfType(
+          getTypeOfExpression(node.tag),
+          0 /* Call */
+        );
+      case 227 /* BinaryExpression */:
+      case 290 /* JsxOpeningFragment */:
+        return [];
+    }
+  }
+  function getTypeParameterConstraintForPositionAcrossSignatures(signatures, position) {
+    const relevantTypeParameterConstraints = flatMap(signatures, (signature) => {
+      var _a;
+      const relevantTypeParameter = (_a = signature.typeParameters) == null ? void 0 : _a[position];
+      if (relevantTypeParameter === void 0) return [];
+      const relevantConstraint = getConstraintOfTypeParameter(relevantTypeParameter);
+      if (relevantConstraint === void 0) return [];
+      return [relevantConstraint];
+    });
+    return getUnionType(relevantTypeParameterConstraints);
+  }
   function checkTypeReferenceNode(node) {
     checkGrammarTypeArguments(node, node.typeArguments);
     if (node.kind === 184 /* TypeReference */ && !isInJSFile(node) && !isInJSDoc(node) && node.typeArguments && node.typeName.end !== node.typeArguments.pos) {
@@ -81635,12 +81678,48 @@ function createTypeChecker(host) {
     }
   }
   function getTypeArgumentConstraint(node) {
-    const typeReferenceNode = tryCast(node.parent, isTypeReferenceType);
-    if (!typeReferenceNode) return void 0;
-    const typeParameters = getTypeParametersForTypeReferenceOrImport(typeReferenceNode);
-    if (!typeParameters) return void 0;
-    const constraint = getConstraintOfTypeParameter(typeParameters[typeReferenceNode.typeArguments.indexOf(node)]);
-    return constraint && instantiateType(constraint, createTypeMapper(typeParameters, getEffectiveTypeArguments(typeReferenceNode, typeParameters)));
+    let typeArgumentPosition;
+    if (hasTypeArguments(node.parent) && Array.isArray(node.parent.typeArguments)) {
+      typeArgumentPosition = node.parent.typeArguments.indexOf(node);
+    }
+    if (typeArgumentPosition !== void 0) {
+      if (isCallLikeExpression(node.parent)) {
+        return getTypeParameterConstraintForPositionAcrossSignatures(
+          getUninstantiatedSignatures(node.parent),
+          typeArgumentPosition
+        );
+      }
+      if (isDecorator(node.parent.parent)) {
+        return getTypeParameterConstraintForPositionAcrossSignatures(
+          getUninstantiatedSignatures(node.parent.parent),
+          typeArgumentPosition
+        );
+      }
+      if (isExpressionWithTypeArguments(node.parent) && isExpressionStatement(node.parent.parent)) {
+        const uninstantiatedType = checkExpression(node.parent.expression);
+        const callConstraint = getTypeParameterConstraintForPositionAcrossSignatures(
+          getSignaturesOfType(uninstantiatedType, 0 /* Call */),
+          typeArgumentPosition
+        );
+        const constructConstraint = getTypeParameterConstraintForPositionAcrossSignatures(
+          getSignaturesOfType(uninstantiatedType, 1 /* Construct */),
+          typeArgumentPosition
+        );
+        if (constructConstraint.flags & 131072 /* Never */) return callConstraint;
+        if (callConstraint.flags & 131072 /* Never */) return constructConstraint;
+        return getIntersectionType([callConstraint, constructConstraint]);
+      }
+      if (isTypeReferenceType(node.parent)) {
+        const typeParameters = getTypeParametersForTypeReferenceOrImport(node.parent);
+        if (!typeParameters) return void 0;
+        const relevantTypeParameter = typeParameters[typeArgumentPosition];
+        const constraint = getConstraintOfTypeParameter(relevantTypeParameter);
+        return constraint && instantiateType(
+          constraint,
+          createTypeMapper(typeParameters, getEffectiveTypeArguments(node.parent, typeParameters))
+        );
+      }
+    }
   }
   function checkTypeQuery(node) {
     getTypeFromTypeQueryNode(node);
@@ -124497,32 +124576,35 @@ function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _confi
     const mustBeRemoved = !(removedInVersion.compareTo(typescriptVersion) === 1 /* GreaterThan */);
     const canBeSilenced = !mustBeRemoved && ignoreDeprecationsVersion.compareTo(deprecatedInVersion) === -1 /* LessThan */;
     if (mustBeRemoved || canBeSilenced) {
-      fn((name, value, useInstead) => {
+      fn((name, value, useInstead, related) => {
         if (mustBeRemoved) {
           if (value === void 0) {
-            createDiagnostic(name, value, useInstead, Diagnostics.Option_0_has_been_removed_Please_remove_it_from_your_configuration, name);
+            createDiagnostic(name, value, useInstead, related, Diagnostics.Option_0_has_been_removed_Please_remove_it_from_your_configuration, name);
           } else {
-            createDiagnostic(name, value, useInstead, Diagnostics.Option_0_1_has_been_removed_Please_remove_it_from_your_configuration, name, value);
+            createDiagnostic(name, value, useInstead, related, Diagnostics.Option_0_1_has_been_removed_Please_remove_it_from_your_configuration, name, value);
           }
         } else {
           if (value === void 0) {
-            createDiagnostic(name, value, useInstead, Diagnostics.Option_0_is_deprecated_and_will_stop_functioning_in_TypeScript_1_Specify_compilerOption_ignoreDeprecations_Colon_2_to_silence_this_error, name, removedIn, deprecatedIn);
+            createDiagnostic(name, value, useInstead, related, Diagnostics.Option_0_is_deprecated_and_will_stop_functioning_in_TypeScript_1_Specify_compilerOption_ignoreDeprecations_Colon_2_to_silence_this_error, name, removedIn, deprecatedIn);
           } else {
-            createDiagnostic(name, value, useInstead, Diagnostics.Option_0_1_is_deprecated_and_will_stop_functioning_in_TypeScript_2_Specify_compilerOption_ignoreDeprecations_Colon_3_to_silence_this_error, name, value, removedIn, deprecatedIn);
+            createDiagnostic(name, value, useInstead, related, Diagnostics.Option_0_1_is_deprecated_and_will_stop_functioning_in_TypeScript_2_Specify_compilerOption_ignoreDeprecations_Colon_3_to_silence_this_error, name, value, removedIn, deprecatedIn);
           }
         }
       });
     }
   }
   function verifyDeprecatedCompilerOptions() {
-    function createDiagnostic(name, value, useInstead, message, ...args) {
+    function createDiagnostic(name, value, useInstead, related, message, ...args) {
       if (useInstead) {
-        const details = chainDiagnosticMessages(
+        let details = chainDiagnosticMessages(
           /*details*/
           void 0,
           Diagnostics.Use_0_instead,
           useInstead
         );
+        if (related) {
+          details = chainDiagnosticMessages(details, related);
+        }
         const chain = chainDiagnosticMessages(details, message, ...args);
         createDiagnosticForOption(
           /*onKey*/
@@ -124533,14 +124615,22 @@ function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _confi
           chain
         );
       } else {
+        let details;
+        if (related) {
+          details = chainDiagnosticMessages(
+            /*details*/
+            void 0,
+            related
+          );
+        }
+        const chain = chainDiagnosticMessages(details, message, ...args);
         createDiagnosticForOption(
           /*onKey*/
           !value,
           name,
           /*option2*/
           void 0,
-          message,
-          ...args
+          chain
         );
       }
     }
@@ -124593,12 +124683,28 @@ function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _confi
     });
     checkDeprecations("6.0", "7.0", createDiagnostic, (createDeprecatedDiagnostic) => {
       if (options.moduleResolution === 2 /* Node10 */) {
-        createDeprecatedDiagnostic("moduleResolution", "node10");
+        createDeprecatedDiagnostic(
+          "moduleResolution",
+          "node10",
+          /*useInstead*/
+          void 0,
+          Diagnostics.Visit_https_Colon_Slash_Slashaka_ms_Slashts6_for_migration_information
+        );
+      }
+      if (options.baseUrl !== void 0) {
+        createDeprecatedDiagnostic(
+          "baseUrl",
+          /*value*/
+          void 0,
+          /*useInstead*/
+          void 0,
+          Diagnostics.Visit_https_Colon_Slash_Slashaka_ms_Slashts6_for_migration_information
+        );
       }
     });
   }
   function verifyDeprecatedProjectReference(ref, parentFile, index) {
-    function createDiagnostic(_name, _value, _useInstead, message, ...args) {
+    function createDiagnostic(_name, _value, _useInstead, _related, message, ...args) {
       createDiagnosticForReference(parentFile, index, message, ...args);
     }
     checkDeprecations("5.0", "5.5", createDiagnostic, (createDeprecatedDiagnostic) => {

package/lib/typescript.d.ts

@@ -7016,6 +7016,7 @@ declare namespace ts {
         allowUnreachableCode?: boolean;
         allowUnusedLabels?: boolean;
         alwaysStrict?: boolean;
+        /** @deprecated */
         baseUrl?: string;
         /** @deprecated */
         charset?: string;

package/lib/typescript.js

@@ -2286,7 +2286,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-dev.20250929`;
+var version = `${versionMajorMinor}.0-dev.20251001`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -10397,6 +10397,7 @@ var Diagnostics = {
   Option_0_1_has_been_removed_Please_remove_it_from_your_configuration: diag(5108, 1 /* Error */, "Option_0_1_has_been_removed_Please_remove_it_from_your_configuration_5108", "Option '{0}={1}' has been removed. Please remove it from your configuration."),
   Option_moduleResolution_must_be_set_to_0_or_left_unspecified_when_option_module_is_set_to_1: diag(5109, 1 /* Error */, "Option_moduleResolution_must_be_set_to_0_or_left_unspecified_when_option_module_is_set_to_1_5109", "Option 'moduleResolution' must be set to '{0}' (or left unspecified) when option 'module' is set to '{1}'."),
   Option_module_must_be_set_to_0_when_option_moduleResolution_is_set_to_1: diag(5110, 1 /* Error */, "Option_module_must_be_set_to_0_when_option_moduleResolution_is_set_to_1_5110", "Option 'module' must be set to '{0}' when option 'moduleResolution' is set to '{1}'."),
+  Visit_https_Colon_Slash_Slashaka_ms_Slashts6_for_migration_information: diag(5111, 3 /* Message */, "Visit_https_Colon_Slash_Slashaka_ms_Slashts6_for_migration_information_5111", "Visit https://aka.ms/ts6 for migration information."),
   Generates_a_sourcemap_for_each_corresponding_d_ts_file: diag(6e3, 3 /* Message */, "Generates_a_sourcemap_for_each_corresponding_d_ts_file_6000", "Generates a sourcemap for each corresponding '.d.ts' file."),
   Concatenate_and_emit_output_to_single_file: diag(6001, 3 /* Message */, "Concatenate_and_emit_output_to_single_file_6001", "Concatenate and emit output to single file."),
   Generates_corresponding_d_ts_file: diag(6002, 3 /* Message */, "Generates_corresponding_d_ts_file_6002", "Generates corresponding '.d.ts' file."),
@@ -71392,7 +71393,7 @@ function createTypeChecker(host) {
         }
         return 0 /* False */;
       }
-      if (getObjectFlags(target2) & 8192 /* FreshLiteral */) {
+      if (isObjectLiteralType2(target2)) {
         for (const sourceProp of excludeProperties(getPropertiesOfType(source2), excludedProperties)) {
           if (!getPropertyOfObjectType(target2, sourceProp.escapedName)) {
             if (reportErrors2) {
@@ -72062,7 +72063,7 @@ function createTypeChecker(host) {
     if (isReadonlySymbol(sourceProp) !== isReadonlySymbol(targetProp)) {
       return 0 /* False */;
     }
-    return compareTypes(getTypeOfSymbol(sourceProp), getTypeOfSymbol(targetProp));
+    return compareTypes(getNonMissingTypeOfSymbol(sourceProp), getNonMissingTypeOfSymbol(targetProp));
   }
   function isMatchingSignature(source, target, partialMatch) {
     const sourceParameterCount = getParameterCount(source);
@@ -74076,23 +74077,21 @@ function createTypeChecker(host) {
     for (const type of types) {
       if (type.flags & (524288 /* Object */ | 2097152 /* Intersection */ | 58982400 /* InstantiableNonPrimitive */)) {
         const discriminant = getTypeOfPropertyOfType(type, name);
-        if (discriminant) {
-          if (!isLiteralType(discriminant)) {
-            return void 0;
-          }
-          let duplicate = false;
-          forEachType(discriminant, (t) => {
-            const id = getTypeId(getRegularTypeOfLiteralType(t));
-            const existing = map2.get(id);
-            if (!existing) {
-              map2.set(id, type);
-            } else if (existing !== unknownType) {
-              map2.set(id, unknownType);
-              duplicate = true;
-            }
-          });
-          if (!duplicate) count++;
+        if (!discriminant || !isLiteralType(discriminant)) {
+          return void 0;
         }
+        let duplicate = false;
+        forEachType(discriminant, (t) => {
+          const id = getTypeId(getRegularTypeOfLiteralType(t));
+          const existing = map2.get(id);
+          if (!existing) {
+            map2.set(id, type);
+          } else if (existing !== unknownType) {
+            map2.set(id, unknownType);
+            duplicate = true;
+          }
+        });
+        if (!duplicate) count++;
       }
     }
     return count >= 10 && count * 2 >= types.length ? map2 : void 0;
@@ -86209,6 +86208,47 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
+  function getUninstantiatedSignatures(node) {
+    switch (node.kind) {
+      case 214 /* CallExpression */:
+      case 171 /* Decorator */:
+        return getSignaturesOfType(
+          getTypeOfExpression(node.expression),
+          0 /* Call */
+        );
+      case 215 /* NewExpression */:
+        return getSignaturesOfType(
+          getTypeOfExpression(node.expression),
+          1 /* Construct */
+        );
+      case 286 /* JsxSelfClosingElement */:
+      case 287 /* JsxOpeningElement */:
+        if (isJsxIntrinsicTagName(node.tagName)) return [];
+        return getSignaturesOfType(
+          getTypeOfExpression(node.tagName),
+          0 /* Call */
+        );
+      case 216 /* TaggedTemplateExpression */:
+        return getSignaturesOfType(
+          getTypeOfExpression(node.tag),
+          0 /* Call */
+        );
+      case 227 /* BinaryExpression */:
+      case 290 /* JsxOpeningFragment */:
+        return [];
+    }
+  }
+  function getTypeParameterConstraintForPositionAcrossSignatures(signatures, position) {
+    const relevantTypeParameterConstraints = flatMap(signatures, (signature) => {
+      var _a;
+      const relevantTypeParameter = (_a = signature.typeParameters) == null ? void 0 : _a[position];
+      if (relevantTypeParameter === void 0) return [];
+      const relevantConstraint = getConstraintOfTypeParameter(relevantTypeParameter);
+      if (relevantConstraint === void 0) return [];
+      return [relevantConstraint];
+    });
+    return getUnionType(relevantTypeParameterConstraints);
+  }
   function checkTypeReferenceNode(node) {
     checkGrammarTypeArguments(node, node.typeArguments);
     if (node.kind === 184 /* TypeReference */ && !isInJSFile(node) && !isInJSDoc(node) && node.typeArguments && node.typeName.end !== node.typeArguments.pos) {
@@ -86244,12 +86284,48 @@ function createTypeChecker(host) {
     }
   }
   function getTypeArgumentConstraint(node) {
-    const typeReferenceNode = tryCast(node.parent, isTypeReferenceType);
-    if (!typeReferenceNode) return void 0;
-    const typeParameters = getTypeParametersForTypeReferenceOrImport(typeReferenceNode);
-    if (!typeParameters) return void 0;
-    const constraint = getConstraintOfTypeParameter(typeParameters[typeReferenceNode.typeArguments.indexOf(node)]);
-    return constraint && instantiateType(constraint, createTypeMapper(typeParameters, getEffectiveTypeArguments2(typeReferenceNode, typeParameters)));
+    let typeArgumentPosition;
+    if (hasTypeArguments(node.parent) && Array.isArray(node.parent.typeArguments)) {
+      typeArgumentPosition = node.parent.typeArguments.indexOf(node);
+    }
+    if (typeArgumentPosition !== void 0) {
+      if (isCallLikeExpression(node.parent)) {
+        return getTypeParameterConstraintForPositionAcrossSignatures(
+          getUninstantiatedSignatures(node.parent),
+          typeArgumentPosition
+        );
+      }
+      if (isDecorator(node.parent.parent)) {
+        return getTypeParameterConstraintForPositionAcrossSignatures(
+          getUninstantiatedSignatures(node.parent.parent),
+          typeArgumentPosition
+        );
+      }
+      if (isExpressionWithTypeArguments(node.parent) && isExpressionStatement(node.parent.parent)) {
+        const uninstantiatedType = checkExpression(node.parent.expression);
+        const callConstraint = getTypeParameterConstraintForPositionAcrossSignatures(
+          getSignaturesOfType(uninstantiatedType, 0 /* Call */),
+          typeArgumentPosition
+        );
+        const constructConstraint = getTypeParameterConstraintForPositionAcrossSignatures(
+          getSignaturesOfType(uninstantiatedType, 1 /* Construct */),
+          typeArgumentPosition
+        );
+        if (constructConstraint.flags & 131072 /* Never */) return callConstraint;
+        if (callConstraint.flags & 131072 /* Never */) return constructConstraint;
+        return getIntersectionType([callConstraint, constructConstraint]);
+      }
+      if (isTypeReferenceType(node.parent)) {
+        const typeParameters = getTypeParametersForTypeReferenceOrImport(node.parent);
+        if (!typeParameters) return void 0;
+        const relevantTypeParameter = typeParameters[typeArgumentPosition];
+        const constraint = getConstraintOfTypeParameter(relevantTypeParameter);
+        return constraint && instantiateType(
+          constraint,
+          createTypeMapper(typeParameters, getEffectiveTypeArguments2(node.parent, typeParameters))
+        );
+      }
+    }
   }
   function checkTypeQuery(node) {
     getTypeFromTypeQueryNode(node);
@@ -129345,32 +129421,35 @@ function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _confi
     const mustBeRemoved = !(removedInVersion.compareTo(typescriptVersion) === 1 /* GreaterThan */);
     const canBeSilenced = !mustBeRemoved && ignoreDeprecationsVersion.compareTo(deprecatedInVersion) === -1 /* LessThan */;
     if (mustBeRemoved || canBeSilenced) {
-      fn((name, value, useInstead) => {
+      fn((name, value, useInstead, related) => {
         if (mustBeRemoved) {
           if (value === void 0) {
-            createDiagnostic(name, value, useInstead, Diagnostics.Option_0_has_been_removed_Please_remove_it_from_your_configuration, name);
+            createDiagnostic(name, value, useInstead, related, Diagnostics.Option_0_has_been_removed_Please_remove_it_from_your_configuration, name);
           } else {
-            createDiagnostic(name, value, useInstead, Diagnostics.Option_0_1_has_been_removed_Please_remove_it_from_your_configuration, name, value);
+            createDiagnostic(name, value, useInstead, related, Diagnostics.Option_0_1_has_been_removed_Please_remove_it_from_your_configuration, name, value);
           }
         } else {
           if (value === void 0) {
-            createDiagnostic(name, value, useInstead, Diagnostics.Option_0_is_deprecated_and_will_stop_functioning_in_TypeScript_1_Specify_compilerOption_ignoreDeprecations_Colon_2_to_silence_this_error, name, removedIn, deprecatedIn);
+            createDiagnostic(name, value, useInstead, related, Diagnostics.Option_0_is_deprecated_and_will_stop_functioning_in_TypeScript_1_Specify_compilerOption_ignoreDeprecations_Colon_2_to_silence_this_error, name, removedIn, deprecatedIn);
           } else {
-            createDiagnostic(name, value, useInstead, Diagnostics.Option_0_1_is_deprecated_and_will_stop_functioning_in_TypeScript_2_Specify_compilerOption_ignoreDeprecations_Colon_3_to_silence_this_error, name, value, removedIn, deprecatedIn);
+            createDiagnostic(name, value, useInstead, related, Diagnostics.Option_0_1_is_deprecated_and_will_stop_functioning_in_TypeScript_2_Specify_compilerOption_ignoreDeprecations_Colon_3_to_silence_this_error, name, value, removedIn, deprecatedIn);
           }
         }
       });
     }
   }
   function verifyDeprecatedCompilerOptions() {
-    function createDiagnostic(name, value, useInstead, message, ...args) {
+    function createDiagnostic(name, value, useInstead, related, message, ...args) {
       if (useInstead) {
-        const details = chainDiagnosticMessages(
+        let details = chainDiagnosticMessages(
           /*details*/
           void 0,
           Diagnostics.Use_0_instead,
           useInstead
         );
+        if (related) {
+          details = chainDiagnosticMessages(details, related);
+        }
         const chain = chainDiagnosticMessages(details, message, ...args);
         createDiagnosticForOption(
           /*onKey*/
@@ -129381,14 +129460,22 @@ function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _confi
           chain
         );
       } else {
+        let details;
+        if (related) {
+          details = chainDiagnosticMessages(
+            /*details*/
+            void 0,
+            related
+          );
+        }
+        const chain = chainDiagnosticMessages(details, message, ...args);
         createDiagnosticForOption(
           /*onKey*/
           !value,
           name,
           /*option2*/
           void 0,
-          message,
-          ...args
+          chain
         );
       }
     }
@@ -129441,12 +129528,28 @@ function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _confi
     });
     checkDeprecations("6.0", "7.0", createDiagnostic, (createDeprecatedDiagnostic) => {
       if (options.moduleResolution === 2 /* Node10 */) {
-        createDeprecatedDiagnostic("moduleResolution", "node10");
+        createDeprecatedDiagnostic(
+          "moduleResolution",
+          "node10",
+          /*useInstead*/
+          void 0,
+          Diagnostics.Visit_https_Colon_Slash_Slashaka_ms_Slashts6_for_migration_information
+        );
+      }
+      if (options.baseUrl !== void 0) {
+        createDeprecatedDiagnostic(
+          "baseUrl",
+          /*value*/
+          void 0,
+          /*useInstead*/
+          void 0,
+          Diagnostics.Visit_https_Colon_Slash_Slashaka_ms_Slashts6_for_migration_information
+        );
       }
     });
   }
   function verifyDeprecatedProjectReference(ref, parentFile, index) {
-    function createDiagnostic(_name, _value, _useInstead, message, ...args) {
+    function createDiagnostic(_name, _value, _useInstead, _related, message, ...args) {
       createDiagnosticForReference(parentFile, index, message, ...args);
     }
     checkDeprecations("5.0", "5.5", createDiagnostic, (createDeprecatedDiagnostic) => {
@@ -166698,6 +166801,7 @@ __export(ts_Completions_exports, {
   getCompletionEntryDetails: () => getCompletionEntryDetails,
   getCompletionEntrySymbol: () => getCompletionEntrySymbol,
   getCompletionsAtPosition: () => getCompletionsAtPosition,
+  getConstraintOfTypeArgumentProperty: () => getConstraintOfTypeArgumentProperty,
   getDefaultCommitCharacters: () => getDefaultCommitCharacters,
   getPropertiesForObjectExpression: () => getPropertiesForObjectExpression,
   moduleSpecifierResolutionCacheAttemptLimit: () => moduleSpecifierResolutionCacheAttemptLimit,
@@ -169022,13 +169126,13 @@ function getCompletionData(program, log, sourceFile, compilerOptions, position,
     }
   }
   log("getCompletionData: Semantic work: " + (timestamp() - semanticStart));
-  const contextualType = previousToken && getContextualType(previousToken, position, sourceFile, typeChecker);
+  const contextualTypeOrConstraint = previousToken && (getContextualType(previousToken, position, sourceFile, typeChecker) ?? getConstraintOfTypeArgumentProperty(previousToken, typeChecker));
   const isLiteralExpected = !tryCast(previousToken, isStringLiteralLike) && !isJsxIdentifierExpected;
   const literals = !isLiteralExpected ? [] : mapDefined(
-    contextualType && (contextualType.isUnion() ? contextualType.types : [contextualType]),
+    contextualTypeOrConstraint && (contextualTypeOrConstraint.isUnion() ? contextualTypeOrConstraint.types : [contextualTypeOrConstraint]),
     (t) => t.isLiteral() && !(t.flags & 1024 /* EnumLiteral */) ? t.value : void 0
   );
-  const recommendedCompletion = previousToken && contextualType && getRecommendedCompletion(previousToken, contextualType, typeChecker);
+  const recommendedCompletion = previousToken && contextualTypeOrConstraint && getRecommendedCompletion(previousToken, contextualTypeOrConstraint, typeChecker);
   return {
     kind: 0 /* Data */,
     symbols,
@@ -170534,18 +170638,26 @@ function tryGetTypeLiteralNode(node) {
 }
 function getConstraintOfTypeArgumentProperty(node, checker) {
   if (!node) return void 0;
-  if (isTypeNode(node) && isTypeReferenceType(node.parent)) {
-    return checker.getTypeArgumentConstraint(node);
+  if (isTypeNode(node)) {
+    const constraint = checker.getTypeArgumentConstraint(node);
+    if (constraint) return constraint;
   }
   const t = getConstraintOfTypeArgumentProperty(node.parent, checker);
   if (!t) return void 0;
   switch (node.kind) {
     case 172 /* PropertySignature */:
       return checker.getTypeOfPropertyOfContextualType(t, node.symbol.escapedName);
+    case 59 /* ColonToken */:
+      if (node.parent.kind === 172 /* PropertySignature */) {
+        return t;
+      }
+      break;
     case 194 /* IntersectionType */:
     case 188 /* TypeLiteral */:
     case 193 /* UnionType */:
       return t;
+    case 23 /* OpenBracketToken */:
+      return checker.getElementTypeOfArrayType(t);
   }
 }
 function isFromObjectTypeDeclaration(node) {
@@ -171067,7 +171179,12 @@ function getStringLiteralCompletionEntries(sourceFile, node, position, program,
   }
   function fromUnionableLiteralType(grandParent) {
     switch (grandParent.kind) {
+      case 214 /* CallExpression */:
       case 234 /* ExpressionWithTypeArguments */:
+      case 287 /* JsxOpeningElement */:
+      case 286 /* JsxSelfClosingElement */:
+      case 215 /* NewExpression */:
+      case 216 /* TaggedTemplateExpression */:
       case 184 /* TypeReference */: {
         const typeArgument = findAncestor(parent2, (n) => n.parent === grandParent);
         if (typeArgument) {
@@ -171081,6 +171198,8 @@ function getStringLiteralCompletionEntries(sourceFile, node, position, program,
           return void 0;
         }
         return stringLiteralCompletionsFromProperties(typeChecker.getTypeFromTypeNode(objectType));
+      case 172 /* PropertySignature */:
+        return { kind: 2 /* Types */, types: getStringLiteralTypes(getConstraintOfTypeArgumentProperty(grandParent, typeChecker)), isNewIdentifier: false };
       case 193 /* UnionType */: {
         const result = fromUnionableLiteralType(walkUpParentheses(grandParent.parent));
         if (!result) {

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "6.0.0-dev.20250929",
+    "version": "6.0.0-dev.20251001",
     "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": "1cd5309f7dec081960e992b47f238286537c3f50"
+    "gitHead": "968d5deb8b5fd4af3ce85433872bdefc1eb17f10"
 }