@typescript-deploys/pr-build 5.1.0-pr-52062-4 → 5.1.0-pr-53300-9

package/lib/tsc.js

@@ -7333,6 +7333,7 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
+  Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -33858,6 +33859,16 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
     defaultValueDescription: false
   },
+  {
+    name: "strictInstanceOfTypeParameters",
+    type: "boolean",
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
+    strictFlag: true,
+    category: Diagnostics.Type_Checking,
+    description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
+    defaultValueDescription: false
+  },
   {
     name: "alwaysStrict",
     type: "boolean",
@@ -42661,6 +42672,7 @@ function createTypeChecker(host) {
   var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
   var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
   var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
+  var strictInstanceOfTypeParameters = true;
   var keyofStringsOnly = !!compilerOptions.keyofStringsOnly;
   var defaultIndexFlags = keyofStringsOnly ? 1 /* StringsOnly */ : 0 /* None */;
   var freshObjectLiteralFlag = compilerOptions.suppressExcessPropertyErrors ? 0 : 8192 /* FreshLiteral */;
@@ -50627,9 +50639,32 @@ function createTypeChecker(host) {
       }
     }).parent;
   }
+  function getInstanceTypeOfClassSymbol(classSymbol) {
+    const classType = getDeclaredTypeOfSymbol(classSymbol);
+    const objectFlags = getObjectFlags(classType);
+    if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
+      return classType;
+    }
+    const variances = getVariances(classType);
+    const typeArguments = map(classType.typeParameters, (typeParameter, i) => {
+      if (!strictInstanceOfTypeParameters) {
+        return anyType;
+      }
+      const variance = variances[i];
+      switch (variance & 7 /* VarianceMask */) {
+        case 4 /* Independent */:
+        case 3 /* Bivariant */:
+          return anyType;
+        case 0 /* Invariant */:
+          return unknownType;
+      }
+      return getBaseConstraintOfType(typeParameter) || unknownType;
+    });
+    return createTypeReference(classType, typeArguments);
+  }
   function getTypeOfPrototypeProperty(prototype) {
-    const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
-    return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
+    const classSymbol = getParentOfSymbol(prototype);
+    return getInstanceTypeOfClassSymbol(classSymbol);
   }
   function getTypeOfPropertyOfType(type, name) {
     const prop = getPropertyOfType(type, name);
@@ -55721,7 +55756,7 @@ function createTypeChecker(host) {
       const type = elementTypes[i];
       const flags = target.elementFlags[i];
       if (flags & 8 /* Variadic */) {
-        if (type.flags & 58982400 /* InstantiableNonPrimitive */ || everyContainedType(type, isGenericMappedType)) {
+        if (type.flags & 58982400 /* InstantiableNonPrimitive */ || isGenericMappedType(type)) {
           addElement(type, 8 /* Variadic */, (_a2 = target.labeledElementDeclarations) == null ? void 0 : _a2[i]);
         } else if (isTupleType(type)) {
           const elements = getTypeArguments(type);
@@ -58635,8 +58670,20 @@ function createTypeChecker(host) {
         return result;
       }
       const moreThanOneRealChildren = length(validChildren) > 1;
-      const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
-      const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
+      let arrayLikeTargetParts;
+      let nonArrayLikeTargetParts;
+      const iterableType = getGlobalIterableType(
+        /*reportErrors*/
+        false
+      );
+      if (iterableType !== emptyGenericType) {
+        const anyIterable = createIterableType(anyType);
+        arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
+        nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
+      } else {
+        arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
+        nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
+      }
       if (moreThanOneRealChildren) {
         if (arrayLikeTargetParts !== neverType) {
           const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -61916,13 +61963,6 @@ function createTypeChecker(host) {
   function isArrayOrTupleLikeType(type) {
     return isArrayLikeType(type) || isTupleLikeType(type);
   }
-  function isAssignableToAvailableAnyIterable(type) {
-    const anyIterable = getGlobalIterableType(
-      /*reportErrors*/
-      false
-    ) !== emptyGenericType && createIterableType(anyType);
-    return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
-  }
   function getTupleElementType(type, index) {
     const propType = getTypeOfPropertyOfType(type, "" + index);
     if (propType) {
@@ -65068,8 +65108,8 @@ function createTypeChecker(host) {
       if (symbol === void 0) {
         return type;
       }
-      const classSymbol = symbol.parent;
-      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
+      const classSymbol = getParentOfSymbol(symbol);
+      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
       return getNarrowedType(
         type,
         targetType,
@@ -66520,7 +66560,7 @@ function createTypeChecker(host) {
               return void 0;
             }
           }
-          return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
+          return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
         }
       case 1 /* ExportsProperty */:
       case 6 /* Prototype */:
@@ -66596,17 +66636,13 @@ function createTypeChecker(host) {
       type,
       (t) => {
         var _a2;
-        if (everyContainedType(t, (t2) => isGenericMappedType(t2) && !t2.declaration.nameType)) {
-          const newTypes = mapDefined(t.flags & 2097152 /* Intersection */ ? t.types : [t], (t2) => {
-            const mappedType = t2;
-            const constraint = getConstraintTypeFromMappedType(mappedType);
-            const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
-            const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
-            if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
-              return substituteIndexedMappedType(mappedType, propertyNameType);
-            }
-          });
-          return newTypes.length ? getIntersectionType(newTypes) : void 0;
+        if (isGenericMappedType(t) && !t.declaration.nameType) {
+          const constraint = getConstraintTypeFromMappedType(t);
+          const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
+          const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
+          if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
+            return substituteIndexedMappedType(t, propertyNameType);
+          }
         } else if (t.flags & 3670016 /* StructuredType */) {
           const prop = getPropertyOfType(t, name);
           if (prop) {
@@ -66680,7 +66716,7 @@ function createTypeChecker(host) {
     return void 0;
   }
   function getContextualTypeForElementExpression(arrayContextualType, index) {
-    return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
+    return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
       arrayContextualType,
       (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
         t,
@@ -67422,7 +67458,7 @@ function createTypeChecker(host) {
     const inConstContext = isConstContext(node);
     const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
     const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
-    const enumTag = getJSDocEnumTag(node);
+    const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
     const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
     let objectFlags = freshObjectLiteralFlag;
     let patternWithComputedProperties = false;
@@ -72179,6 +72215,11 @@ function createTypeChecker(host) {
           } else {
             assignNonContextualParameterTypes(signature);
           }
+        } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
+          const inferenceContext = getInferenceContext(node);
+          if (checkMode && checkMode & 2 /* Inferential */) {
+            inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+          }
         }
         if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
           const returnType = getReturnTypeFromBody(node, checkMode);

package/lib/tsserver.js

@@ -10795,6 +10795,7 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
+  Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -38194,6 +38195,16 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
     defaultValueDescription: false
   },
+  {
+    name: "strictInstanceOfTypeParameters",
+    type: "boolean",
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
+    strictFlag: true,
+    category: Diagnostics.Type_Checking,
+    description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
+    defaultValueDescription: false
+  },
   {
     name: "alwaysStrict",
     type: "boolean",
@@ -47258,6 +47269,7 @@ function createTypeChecker(host) {
   var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
   var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
   var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
+  var strictInstanceOfTypeParameters = true;
   var keyofStringsOnly = !!compilerOptions.keyofStringsOnly;
   var defaultIndexFlags = keyofStringsOnly ? 1 /* StringsOnly */ : 0 /* None */;
   var freshObjectLiteralFlag = compilerOptions.suppressExcessPropertyErrors ? 0 : 8192 /* FreshLiteral */;
@@ -55224,9 +55236,32 @@ function createTypeChecker(host) {
       }
     }).parent;
   }
+  function getInstanceTypeOfClassSymbol(classSymbol) {
+    const classType = getDeclaredTypeOfSymbol(classSymbol);
+    const objectFlags = getObjectFlags(classType);
+    if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
+      return classType;
+    }
+    const variances = getVariances(classType);
+    const typeArguments = map(classType.typeParameters, (typeParameter, i) => {
+      if (!strictInstanceOfTypeParameters) {
+        return anyType;
+      }
+      const variance = variances[i];
+      switch (variance & 7 /* VarianceMask */) {
+        case 4 /* Independent */:
+        case 3 /* Bivariant */:
+          return anyType;
+        case 0 /* Invariant */:
+          return unknownType;
+      }
+      return getBaseConstraintOfType(typeParameter) || unknownType;
+    });
+    return createTypeReference(classType, typeArguments);
+  }
   function getTypeOfPrototypeProperty(prototype) {
-    const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
-    return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
+    const classSymbol = getParentOfSymbol(prototype);
+    return getInstanceTypeOfClassSymbol(classSymbol);
   }
   function getTypeOfPropertyOfType(type, name) {
     const prop = getPropertyOfType(type, name);
@@ -60318,7 +60353,7 @@ function createTypeChecker(host) {
       const type = elementTypes[i];
       const flags = target.elementFlags[i];
       if (flags & 8 /* Variadic */) {
-        if (type.flags & 58982400 /* InstantiableNonPrimitive */ || everyContainedType(type, isGenericMappedType)) {
+        if (type.flags & 58982400 /* InstantiableNonPrimitive */ || isGenericMappedType(type)) {
           addElement(type, 8 /* Variadic */, (_a2 = target.labeledElementDeclarations) == null ? void 0 : _a2[i]);
         } else if (isTupleType(type)) {
           const elements = getTypeArguments(type);
@@ -63232,8 +63267,20 @@ function createTypeChecker(host) {
         return result;
       }
       const moreThanOneRealChildren = length(validChildren) > 1;
-      const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
-      const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
+      let arrayLikeTargetParts;
+      let nonArrayLikeTargetParts;
+      const iterableType = getGlobalIterableType(
+        /*reportErrors*/
+        false
+      );
+      if (iterableType !== emptyGenericType) {
+        const anyIterable = createIterableType(anyType);
+        arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
+        nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
+      } else {
+        arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
+        nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
+      }
       if (moreThanOneRealChildren) {
         if (arrayLikeTargetParts !== neverType) {
           const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -66513,13 +66560,6 @@ function createTypeChecker(host) {
   function isArrayOrTupleLikeType(type) {
     return isArrayLikeType(type) || isTupleLikeType(type);
   }
-  function isAssignableToAvailableAnyIterable(type) {
-    const anyIterable = getGlobalIterableType(
-      /*reportErrors*/
-      false
-    ) !== emptyGenericType && createIterableType(anyType);
-    return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
-  }
   function getTupleElementType(type, index) {
     const propType = getTypeOfPropertyOfType(type, "" + index);
     if (propType) {
@@ -69665,8 +69705,8 @@ function createTypeChecker(host) {
       if (symbol === void 0) {
         return type;
       }
-      const classSymbol = symbol.parent;
-      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
+      const classSymbol = getParentOfSymbol(symbol);
+      const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
       return getNarrowedType(
         type,
         targetType,
@@ -71117,7 +71157,7 @@ function createTypeChecker(host) {
               return void 0;
             }
           }
-          return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
+          return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
         }
       case 1 /* ExportsProperty */:
       case 6 /* Prototype */:
@@ -71193,17 +71233,13 @@ function createTypeChecker(host) {
       type,
       (t) => {
         var _a2;
-        if (everyContainedType(t, (t2) => isGenericMappedType(t2) && !t2.declaration.nameType)) {
-          const newTypes = mapDefined(t.flags & 2097152 /* Intersection */ ? t.types : [t], (t2) => {
-            const mappedType = t2;
-            const constraint = getConstraintTypeFromMappedType(mappedType);
-            const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
-            const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
-            if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
-              return substituteIndexedMappedType(mappedType, propertyNameType);
-            }
-          });
-          return newTypes.length ? getIntersectionType(newTypes) : void 0;
+        if (isGenericMappedType(t) && !t.declaration.nameType) {
+          const constraint = getConstraintTypeFromMappedType(t);
+          const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
+          const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
+          if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
+            return substituteIndexedMappedType(t, propertyNameType);
+          }
         } else if (t.flags & 3670016 /* StructuredType */) {
           const prop = getPropertyOfType(t, name);
           if (prop) {
@@ -71277,7 +71313,7 @@ function createTypeChecker(host) {
     return void 0;
   }
   function getContextualTypeForElementExpression(arrayContextualType, index) {
-    return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
+    return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
       arrayContextualType,
       (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
         t,
@@ -72019,7 +72055,7 @@ function createTypeChecker(host) {
     const inConstContext = isConstContext(node);
     const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
     const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
-    const enumTag = getJSDocEnumTag(node);
+    const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
     const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
     let objectFlags = freshObjectLiteralFlag;
     let patternWithComputedProperties = false;
@@ -76776,6 +76812,11 @@ function createTypeChecker(host) {
           } else {
             assignNonContextualParameterTypes(signature);
           }
+        } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
+          const inferenceContext = getInferenceContext(node);
+          if (checkMode && checkMode & 2 /* Inferential */) {
+            inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+          }
         }
         if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
           const returnType = getReturnTypeFromBody(node, checkMode);

package/lib/tsserverlibrary.d.ts

@@ -7141,6 +7141,7 @@ declare namespace ts {
         strictBindCallApply?: boolean;
         strictNullChecks?: boolean;
         strictPropertyInitialization?: boolean;
+        strictInstanceOfTypeParameters?: boolean;
         stripInternal?: boolean;
         suppressExcessPropertyErrors?: boolean;
         suppressImplicitAnyIndexErrors?: boolean;

package/lib/tsserverlibrary.js

@@ -8619,6 +8619,7 @@ ${lanes.join("\n")}
         Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
         Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
         Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
+        Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
         one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
         one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
         type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -37848,6 +37849,16 @@ ${lanes.join("\n")}
           description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
           defaultValueDescription: false
         },
+        {
+          name: "strictInstanceOfTypeParameters",
+          type: "boolean",
+          affectsSemanticDiagnostics: true,
+          affectsBuildInfo: true,
+          strictFlag: true,
+          category: Diagnostics.Type_Checking,
+          description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
+          defaultValueDescription: false
+        },
         {
           name: "alwaysStrict",
           type: "boolean",
@@ -45068,6 +45079,7 @@ ${lanes.join("\n")}
     var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
     var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
     var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
+    var strictInstanceOfTypeParameters = true;
     var keyofStringsOnly = !!compilerOptions.keyofStringsOnly;
     var defaultIndexFlags = keyofStringsOnly ? 1 /* StringsOnly */ : 0 /* None */;
     var freshObjectLiteralFlag = compilerOptions.suppressExcessPropertyErrors ? 0 : 8192 /* FreshLiteral */;
@@ -53034,9 +53046,32 @@ ${lanes.join("\n")}
         }
       }).parent;
     }
+    function getInstanceTypeOfClassSymbol(classSymbol) {
+      const classType = getDeclaredTypeOfSymbol(classSymbol);
+      const objectFlags = getObjectFlags(classType);
+      if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
+        return classType;
+      }
+      const variances = getVariances(classType);
+      const typeArguments = map(classType.typeParameters, (typeParameter, i) => {
+        if (!strictInstanceOfTypeParameters) {
+          return anyType;
+        }
+        const variance = variances[i];
+        switch (variance & 7 /* VarianceMask */) {
+          case 4 /* Independent */:
+          case 3 /* Bivariant */:
+            return anyType;
+          case 0 /* Invariant */:
+            return unknownType;
+        }
+        return getBaseConstraintOfType(typeParameter) || unknownType;
+      });
+      return createTypeReference(classType, typeArguments);
+    }
     function getTypeOfPrototypeProperty(prototype) {
-      const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
-      return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
+      const classSymbol = getParentOfSymbol(prototype);
+      return getInstanceTypeOfClassSymbol(classSymbol);
     }
     function getTypeOfPropertyOfType(type, name) {
       const prop = getPropertyOfType(type, name);
@@ -58128,7 +58163,7 @@ ${lanes.join("\n")}
         const type = elementTypes[i];
         const flags = target.elementFlags[i];
         if (flags & 8 /* Variadic */) {
-          if (type.flags & 58982400 /* InstantiableNonPrimitive */ || everyContainedType(type, isGenericMappedType)) {
+          if (type.flags & 58982400 /* InstantiableNonPrimitive */ || isGenericMappedType(type)) {
             addElement(type, 8 /* Variadic */, (_a2 = target.labeledElementDeclarations) == null ? void 0 : _a2[i]);
           } else if (isTupleType(type)) {
             const elements = getTypeArguments(type);
@@ -61042,8 +61077,20 @@ ${lanes.join("\n")}
           return result;
         }
         const moreThanOneRealChildren = length(validChildren) > 1;
-        const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
-        const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
+        let arrayLikeTargetParts;
+        let nonArrayLikeTargetParts;
+        const iterableType = getGlobalIterableType(
+          /*reportErrors*/
+          false
+        );
+        if (iterableType !== emptyGenericType) {
+          const anyIterable = createIterableType(anyType);
+          arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
+          nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
+        } else {
+          arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
+          nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
+        }
         if (moreThanOneRealChildren) {
           if (arrayLikeTargetParts !== neverType) {
             const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -64323,13 +64370,6 @@ ${lanes.join("\n")}
     function isArrayOrTupleLikeType(type) {
       return isArrayLikeType(type) || isTupleLikeType(type);
     }
-    function isAssignableToAvailableAnyIterable(type) {
-      const anyIterable = getGlobalIterableType(
-        /*reportErrors*/
-        false
-      ) !== emptyGenericType && createIterableType(anyType);
-      return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
-    }
     function getTupleElementType(type, index) {
       const propType = getTypeOfPropertyOfType(type, "" + index);
       if (propType) {
@@ -67475,8 +67515,8 @@ ${lanes.join("\n")}
         if (symbol === void 0) {
           return type;
         }
-        const classSymbol = symbol.parent;
-        const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
+        const classSymbol = getParentOfSymbol(symbol);
+        const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
         return getNarrowedType(
           type,
           targetType,
@@ -68927,7 +68967,7 @@ ${lanes.join("\n")}
                 return void 0;
               }
             }
-            return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
+            return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
           }
         case 1 /* ExportsProperty */:
         case 6 /* Prototype */:
@@ -69003,17 +69043,13 @@ ${lanes.join("\n")}
         type,
         (t) => {
           var _a2;
-          if (everyContainedType(t, (t2) => isGenericMappedType(t2) && !t2.declaration.nameType)) {
-            const newTypes = mapDefined(t.flags & 2097152 /* Intersection */ ? t.types : [t], (t2) => {
-              const mappedType = t2;
-              const constraint = getConstraintTypeFromMappedType(mappedType);
-              const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
-              const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
-              if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
-                return substituteIndexedMappedType(mappedType, propertyNameType);
-              }
-            });
-            return newTypes.length ? getIntersectionType(newTypes) : void 0;
+          if (isGenericMappedType(t) && !t.declaration.nameType) {
+            const constraint = getConstraintTypeFromMappedType(t);
+            const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
+            const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
+            if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
+              return substituteIndexedMappedType(t, propertyNameType);
+            }
           } else if (t.flags & 3670016 /* StructuredType */) {
             const prop = getPropertyOfType(t, name);
             if (prop) {
@@ -69087,7 +69123,7 @@ ${lanes.join("\n")}
       return void 0;
     }
     function getContextualTypeForElementExpression(arrayContextualType, index) {
-      return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
+      return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
         arrayContextualType,
         (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
           t,
@@ -69829,7 +69865,7 @@ ${lanes.join("\n")}
       const inConstContext = isConstContext(node);
       const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
       const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
-      const enumTag = getJSDocEnumTag(node);
+      const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
       const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
       let objectFlags = freshObjectLiteralFlag;
       let patternWithComputedProperties = false;
@@ -74586,6 +74622,11 @@ ${lanes.join("\n")}
             } else {
               assignNonContextualParameterTypes(signature);
             }
+          } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
+            const inferenceContext = getInferenceContext(node);
+            if (checkMode && checkMode & 2 /* Inferential */) {
+              inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+            }
           }
           if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
             const returnType = getReturnTypeFromBody(node, checkMode);

package/lib/typescript.d.ts

@@ -3198,6 +3198,7 @@ declare namespace ts {
         strictBindCallApply?: boolean;
         strictNullChecks?: boolean;
         strictPropertyInitialization?: boolean;
+        strictInstanceOfTypeParameters?: boolean;
         stripInternal?: boolean;
         suppressExcessPropertyErrors?: boolean;
         suppressImplicitAnyIndexErrors?: boolean;

package/lib/typescript.js

@@ -8619,6 +8619,7 @@ ${lanes.join("\n")}
         Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
         Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
         Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
+        Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
         one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
         one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
         type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -37848,6 +37849,16 @@ ${lanes.join("\n")}
           description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
           defaultValueDescription: false
         },
+        {
+          name: "strictInstanceOfTypeParameters",
+          type: "boolean",
+          affectsSemanticDiagnostics: true,
+          affectsBuildInfo: true,
+          strictFlag: true,
+          category: Diagnostics.Type_Checking,
+          description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
+          defaultValueDescription: false
+        },
         {
           name: "alwaysStrict",
           type: "boolean",
@@ -45068,6 +45079,7 @@ ${lanes.join("\n")}
     var noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
     var noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
     var useUnknownInCatchVariables = getStrictOptionValue(compilerOptions, "useUnknownInCatchVariables");
+    var strictInstanceOfTypeParameters = true;
     var keyofStringsOnly = !!compilerOptions.keyofStringsOnly;
     var defaultIndexFlags = keyofStringsOnly ? 1 /* StringsOnly */ : 0 /* None */;
     var freshObjectLiteralFlag = compilerOptions.suppressExcessPropertyErrors ? 0 : 8192 /* FreshLiteral */;
@@ -53034,9 +53046,32 @@ ${lanes.join("\n")}
         }
       }).parent;
     }
+    function getInstanceTypeOfClassSymbol(classSymbol) {
+      const classType = getDeclaredTypeOfSymbol(classSymbol);
+      const objectFlags = getObjectFlags(classType);
+      if (!(objectFlags & 3 /* ClassOrInterface */) || !classType.typeParameters) {
+        return classType;
+      }
+      const variances = getVariances(classType);
+      const typeArguments = map(classType.typeParameters, (typeParameter, i) => {
+        if (!strictInstanceOfTypeParameters) {
+          return anyType;
+        }
+        const variance = variances[i];
+        switch (variance & 7 /* VarianceMask */) {
+          case 4 /* Independent */:
+          case 3 /* Bivariant */:
+            return anyType;
+          case 0 /* Invariant */:
+            return unknownType;
+        }
+        return getBaseConstraintOfType(typeParameter) || unknownType;
+      });
+      return createTypeReference(classType, typeArguments);
+    }
     function getTypeOfPrototypeProperty(prototype) {
-      const classType = getDeclaredTypeOfSymbol(getParentOfSymbol(prototype));
-      return classType.typeParameters ? createTypeReference(classType, map(classType.typeParameters, (_) => anyType)) : classType;
+      const classSymbol = getParentOfSymbol(prototype);
+      return getInstanceTypeOfClassSymbol(classSymbol);
     }
     function getTypeOfPropertyOfType(type, name) {
       const prop = getPropertyOfType(type, name);
@@ -58128,7 +58163,7 @@ ${lanes.join("\n")}
         const type = elementTypes[i];
         const flags = target.elementFlags[i];
         if (flags & 8 /* Variadic */) {
-          if (type.flags & 58982400 /* InstantiableNonPrimitive */ || everyContainedType(type, isGenericMappedType)) {
+          if (type.flags & 58982400 /* InstantiableNonPrimitive */ || isGenericMappedType(type)) {
             addElement(type, 8 /* Variadic */, (_a2 = target.labeledElementDeclarations) == null ? void 0 : _a2[i]);
           } else if (isTupleType(type)) {
             const elements = getTypeArguments(type);
@@ -61042,8 +61077,20 @@ ${lanes.join("\n")}
           return result;
         }
         const moreThanOneRealChildren = length(validChildren) > 1;
-        const arrayLikeTargetParts = filterType(childrenTargetType, isAssignableToAvailableAnyIterable);
-        const nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isAssignableToAvailableAnyIterable(t));
+        let arrayLikeTargetParts;
+        let nonArrayLikeTargetParts;
+        const iterableType = getGlobalIterableType(
+          /*reportErrors*/
+          false
+        );
+        if (iterableType !== emptyGenericType) {
+          const anyIterable = createIterableType(anyType);
+          arrayLikeTargetParts = filterType(childrenTargetType, (t) => isTypeAssignableTo(t, anyIterable));
+          nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isTypeAssignableTo(t, anyIterable));
+        } else {
+          arrayLikeTargetParts = filterType(childrenTargetType, isArrayOrTupleLikeType);
+          nonArrayLikeTargetParts = filterType(childrenTargetType, (t) => !isArrayOrTupleLikeType(t));
+        }
         if (moreThanOneRealChildren) {
           if (arrayLikeTargetParts !== neverType) {
             const realSource = createTupleType(checkJsxChildren(containingElement, 0 /* Normal */));
@@ -64323,13 +64370,6 @@ ${lanes.join("\n")}
     function isArrayOrTupleLikeType(type) {
       return isArrayLikeType(type) || isTupleLikeType(type);
     }
-    function isAssignableToAvailableAnyIterable(type) {
-      const anyIterable = getGlobalIterableType(
-        /*reportErrors*/
-        false
-      ) !== emptyGenericType && createIterableType(anyType);
-      return anyIterable ? isTypeAssignableTo(type, anyIterable) : isArrayOrTupleLikeType(type);
-    }
     function getTupleElementType(type, index) {
       const propType = getTypeOfPropertyOfType(type, "" + index);
       if (propType) {
@@ -67475,8 +67515,8 @@ ${lanes.join("\n")}
         if (symbol === void 0) {
           return type;
         }
-        const classSymbol = symbol.parent;
-        const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getDeclaredTypeOfSymbol(classSymbol);
+        const classSymbol = getParentOfSymbol(symbol);
+        const targetType = hasStaticModifier(Debug.checkDefined(symbol.valueDeclaration, "should always have a declaration")) ? getTypeOfSymbol(classSymbol) : getInstanceTypeOfClassSymbol(classSymbol);
         return getNarrowedType(
           type,
           targetType,
@@ -68927,7 +68967,7 @@ ${lanes.join("\n")}
                 return void 0;
               }
             }
-            return isInJSFile(decl2) ? void 0 : getTypeOfExpression(binaryExpression.left);
+            return isInJSFile(decl2) || decl2 === binaryExpression.left ? void 0 : getTypeOfExpression(binaryExpression.left);
           }
         case 1 /* ExportsProperty */:
         case 6 /* Prototype */:
@@ -69003,17 +69043,13 @@ ${lanes.join("\n")}
         type,
         (t) => {
           var _a2;
-          if (everyContainedType(t, (t2) => isGenericMappedType(t2) && !t2.declaration.nameType)) {
-            const newTypes = mapDefined(t.flags & 2097152 /* Intersection */ ? t.types : [t], (t2) => {
-              const mappedType = t2;
-              const constraint = getConstraintTypeFromMappedType(mappedType);
-              const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
-              const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
-              if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
-                return substituteIndexedMappedType(mappedType, propertyNameType);
-              }
-            });
-            return newTypes.length ? getIntersectionType(newTypes) : void 0;
+          if (isGenericMappedType(t) && !t.declaration.nameType) {
+            const constraint = getConstraintTypeFromMappedType(t);
+            const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
+            const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
+            if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
+              return substituteIndexedMappedType(t, propertyNameType);
+            }
           } else if (t.flags & 3670016 /* StructuredType */) {
             const prop = getPropertyOfType(t, name);
             if (prop) {
@@ -69087,7 +69123,7 @@ ${lanes.join("\n")}
       return void 0;
     }
     function getContextualTypeForElementExpression(arrayContextualType, index) {
-      return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(filterType(arrayContextualType, (t) => !!getIndexTypeOfType(t, numberType) || isAssignableToAvailableAnyIterable(t)), "" + index) || mapType(
+      return arrayContextualType && (index >= 0 && getTypeOfPropertyOfContextualType(arrayContextualType, "" + index) || mapType(
         arrayContextualType,
         (t) => isTupleType(t) ? getElementTypeOfSliceOfTupleType(
           t,
@@ -69829,7 +69865,7 @@ ${lanes.join("\n")}
       const inConstContext = isConstContext(node);
       const checkFlags = inConstContext ? 8 /* Readonly */ : 0;
       const isInJavascript = isInJSFile(node) && !isInJsonFile(node);
-      const enumTag = getJSDocEnumTag(node);
+      const enumTag = isInJavascript ? getJSDocEnumTag(node) : void 0;
       const isJSObjectLiteral = !contextualType && isInJavascript && !enumTag;
       let objectFlags = freshObjectLiteralFlag;
       let patternWithComputedProperties = false;
@@ -74586,6 +74622,11 @@ ${lanes.join("\n")}
             } else {
               assignNonContextualParameterTypes(signature);
             }
+          } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
+            const inferenceContext = getInferenceContext(node);
+            if (checkMode && checkMode & 2 /* Inferential */) {
+              inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+            }
           }
           if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
             const returnType = getReturnTypeFromBody(node, checkMode);

package/lib/typingsInstaller.js

@@ -6689,6 +6689,7 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
+  Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks: diag(6805, 3 /* Message */, "Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks_6805", "Default type arguments to parameter constraint or 'unknown' instead of 'any' for instance checks."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -25897,6 +25898,16 @@ var commandOptionsWithoutBuild = [
     description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
     defaultValueDescription: false
   },
+  {
+    name: "strictInstanceOfTypeParameters",
+    type: "boolean",
+    affectsSemanticDiagnostics: true,
+    affectsBuildInfo: true,
+    strictFlag: true,
+    category: Diagnostics.Type_Checking,
+    description: Diagnostics.Default_type_arguments_to_parameter_constraint_or_unknown_instead_of_any_for_instance_checks,
+    defaultValueDescription: false
+  },
   {
     name: "alwaysStrict",
     type: "boolean",

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.1.0-pr-52062-4",
+  "version": "5.1.0-pr-53300-9",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -114,5 +114,5 @@
     "node": "14.21.1",
     "npm": "8.19.3"
   },
-  "gitHead": "fec434c9c2e6e099b6887aa0986abf354b0c05c5"
+  "gitHead": "9d11a451a9b7cee2223e23f50f997867a03547ec"
 }