@typescript-deploys/pr-build 5.2.0-pr-55034-8 → 5.2.0-pr-55052-3

package/lib/tsc.js

@@ -6668,6 +6668,9 @@ var Diagnostics = {
   await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules: diag(2852, 1 /* Error */, "await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules_2852", "'await using' statements are only allowed within async functions and at the top levels of modules."),
   await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_this_file_has_no_imports_or_exports_Consider_adding_an_empty_export_to_make_this_file_a_module: diag(2853, 1 /* Error */, "await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_th_2853", "'await using' statements are only allowed at the top level of a file when that file is a module, but this file has no imports or exports. Consider adding an empty 'export {}' to make this file a module."),
   Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_system_node16_or_nodenext_and_the_target_option_is_set_to_es2017_or_higher: diag(2854, 1 /* Error */, "Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_sys_2854", "Top-level 'await using' statements are only allowed when the 'module' option is set to 'es2022', 'esnext', 'system', 'node16', or 'nodenext', and the 'target' option is set to 'es2017' or higher."),
+  The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method: diag(2855, 1 /* Error */, "The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_2855", "The left-hand side of an 'instanceof' expression must be assignable to the first argument of the right-hand side's '[Symbol.hasInstance]' method."),
+  An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_hand_side_of_an_instanceof_expression: diag(2856, 1 /* Error */, "An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_han_2856", "An object's '[Symbol.hasInstance]' method must return a boolean value for it to be used on the right-hand side of an 'instanceof' expression."),
+  The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Symbol_hasInstance_method_or_a_type_assignable_to_the_Function_interface_type: diag(2857, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Sym_2857", "The right-hand side of an 'instanceof' expression must be either of type 'any', an object type with a '[Symbol.hasInstance]()' method, or a type assignable to the 'Function' interface type."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -10991,6 +10994,7 @@ function isLeftHandSideExpressionKind(kind) {
     case 236 /* MetaProperty */:
     case 102 /* ImportKeyword */:
     case 282 /* MissingDeclaration */:
+    case 237 /* SyntheticExpression */:
       return true;
     default:
       return false;
@@ -24271,6 +24275,9 @@ function isNonNullExpression(node) {
 function isMetaProperty(node) {
   return node.kind === 236 /* MetaProperty */;
 }
+function isSyntheticExpression(node) {
+  return node.kind === 237 /* SyntheticExpression */;
+}
 function isPartiallyEmittedExpression(node) {
   return node.kind === 360 /* PartiallyEmittedExpression */;
 }
@@ -43863,6 +43870,7 @@ function createTypeChecker(host) {
   var potentialReflectCollisions = [];
   var potentialUnusedRenamedBindingElementsInTypes = [];
   var awaitedTypeStack = [];
+  var hasGlobalSymbolHasInstanceProperty;
   var diagnostics = createDiagnosticCollection();
   var suggestionDiagnostics = createDiagnosticCollection();
   var typeofType = createTypeofType();
@@ -63012,12 +63020,7 @@ function createTypeChecker(host) {
       callback(getTypeAtPosition(source, i), getTypeAtPosition(target, i));
     }
     if (targetRestType) {
-      callback(getRestTypeAtPosition(
-        source,
-        paramCount,
-        /*readonly*/
-        isConstTypeVariable(targetRestType)
-      ), targetRestType);
+      callback(getRestTypeAtPosition(source, paramCount), targetRestType);
     }
   }
   function applyToReturnTypes(source, target, callback) {
@@ -65910,6 +65913,15 @@ function createTypeChecker(host) {
         return type;
       }
       const rightType = getTypeOfExpression(expr.right);
+      const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(rightType);
+      if (hasInstanceMethodType) {
+        const syntheticCall = createSyntheticHasInstanceMethodCall(left, expr.right, type, hasInstanceMethodType);
+        const signature = getEffectsSignature(syntheticCall);
+        const predicate = signature && getTypePredicateOfSignature(signature);
+        if (predicate && (predicate.kind === 0 /* This */ || predicate.kind === 1 /* Identifier */)) {
+          return narrowTypeByTypePredicate(type, predicate, syntheticCall, assumeTrue);
+        }
+      }
       if (!isTypeDerivedFrom(rightType, globalFunctionType)) {
         return type;
       }
@@ -65989,8 +66001,12 @@ function createTypeChecker(host) {
     }
     function narrowTypeByTypePredicate(type, predicate, callExpression, assumeTrue) {
       if (predicate.type && !(isTypeAny(type) && (predicate.type === globalObjectType || predicate.type === globalFunctionType))) {
-        const predicateArgument = getTypePredicateArgument(predicate, callExpression);
+        let predicateArgument = getTypePredicateArgument(predicate, callExpression);
         if (predicateArgument) {
+          if (isSyntheticExpression(predicateArgument) && predicate.parameterIndex === 0 && isSyntheticHasInstanceMethodCall(callExpression)) {
+            Debug.assertNode(predicateArgument.parent, isExpression);
+            predicateArgument = predicateArgument.parent;
+          }
           if (isMatchingReference(reference, predicateArgument)) {
             return getNarrowedType(
               type,
@@ -70567,7 +70583,7 @@ function createTypeChecker(host) {
     }
     return createDiagnosticForNodeArray(getSourceFileOfNode(node), typeArguments, Diagnostics.Expected_0_type_arguments_but_got_1, belowArgCount === -Infinity ? aboveArgCount : belowArgCount, argCount);
   }
-  function resolveCall(node, signatures, candidatesOutArray, checkMode, callChainFlags, headMessage) {
+  function resolveCall(node, signatures, candidatesOutArray, checkMode, callChainFlags, headMessageCallback) {
     const isTaggedTemplate = node.kind === 215 /* TaggedTemplateExpression */;
     const isDecorator2 = node.kind === 170 /* Decorator */;
     const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
@@ -70610,6 +70626,7 @@ function createTypeChecker(host) {
             chain = chainDiagnosticMessages(chain, Diagnostics.The_last_overload_gave_the_following_error);
             chain = chainDiagnosticMessages(chain, Diagnostics.No_overload_matches_this_call);
           }
+          const headMessage = headMessageCallback == null ? void 0 : headMessageCallback();
           if (headMessage) {
             chain = chainDiagnosticMessages(chain, headMessage);
           }
@@ -70677,6 +70694,7 @@ function createTypeChecker(host) {
             map(diags, createDiagnosticMessageChainFromDiagnostic),
             Diagnostics.No_overload_matches_this_call
           );
+          const headMessage = headMessageCallback == null ? void 0 : headMessageCallback();
           if (headMessage) {
             chain = chainDiagnosticMessages(chain, headMessage);
           }
@@ -70692,21 +70710,21 @@ function createTypeChecker(host) {
           diagnostics.add(diag2);
         }
       } else if (candidateForArgumentArityError) {
-        diagnostics.add(getArgumentArityError(node, [candidateForArgumentArityError], args, headMessage));
+        diagnostics.add(getArgumentArityError(node, [candidateForArgumentArityError], args, headMessageCallback == null ? void 0 : headMessageCallback()));
       } else if (candidateForTypeArgumentError) {
         checkTypeArguments(
           candidateForTypeArgumentError,
           node.typeArguments,
           /*reportErrors*/
           true,
-          headMessage
+          headMessageCallback == null ? void 0 : headMessageCallback()
         );
       } else {
         const signaturesWithCorrectTypeArgumentArity = filter(signatures, (s) => hasCorrectTypeArgumentArity(s, typeArguments));
         if (signaturesWithCorrectTypeArgumentArity.length === 0) {
-          diagnostics.add(getTypeArgumentArityError(node, signatures, typeArguments, headMessage));
+          diagnostics.add(getTypeArgumentArityError(node, signatures, typeArguments, headMessageCallback == null ? void 0 : headMessageCallback()));
         } else {
-          diagnostics.add(getArgumentArityError(node, signaturesWithCorrectTypeArgumentArity, args, headMessage));
+          diagnostics.add(getArgumentArityError(node, signaturesWithCorrectTypeArgumentArity, args, headMessageCallback == null ? void 0 : headMessageCallback()));
         }
       }
     }
@@ -71014,7 +71032,7 @@ function createTypeChecker(host) {
       error(node, Diagnostics.Value_of_type_0_is_not_callable_Did_you_mean_to_include_new, typeToString(funcType));
       return resolveErrorCall(node);
     }
-    return resolveCall(node, callSignatures, candidatesOutArray, checkMode, callChainFlags);
+    return resolveCall(node, callSignatures, candidatesOutArray, checkMode, callChainFlags, () => isSyntheticHasInstanceMethodCall(node) ? Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method : void 0);
   }
   function isGenericFunctionReturningFunction(signature) {
     return !!(signature.typeParameters && isFunctionType(getReturnTypeOfSignature(signature)));
@@ -71311,7 +71329,7 @@ function createTypeChecker(host) {
       invocationErrorRecovery(apparentType, 0 /* Call */, diag2);
       return resolveErrorCall(node);
     }
-    return resolveCall(node, callSignatures, candidatesOutArray, checkMode, 0 /* None */, headMessage);
+    return resolveCall(node, callSignatures, candidatesOutArray, checkMode, 0 /* None */, () => headMessage);
   }
   function createSignatureForJSXIntrinsic(node, result) {
     const namespace = getJsxNamespaceAt(node);
@@ -72122,7 +72140,7 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
-  function getRestTypeAtPosition(source, pos, readonly) {
+  function getRestTypeAtPosition(source, pos) {
     const parameterCount = getParameterCount(source);
     const minArgumentCount = getMinArgumentCount(source);
     const restType = getEffectiveRestType(source);
@@ -72145,7 +72163,13 @@ function createTypeChecker(host) {
         names.push(name);
       }
     }
-    return createTupleType(types, flags, readonly, length(names) === length(types) ? names : void 0);
+    return createTupleType(
+      types,
+      flags,
+      /*readonly*/
+      false,
+      length(names) === length(types) ? names : void 0
+    );
   }
   function getParameterCount(signature) {
     const length2 = signature.parameters.length;
@@ -73338,6 +73362,32 @@ function createTypeChecker(host) {
   function isConstEnumSymbol(symbol) {
     return (symbol.flags & 128 /* ConstEnum */) !== 0;
   }
+  function getSymbolHasInstanceMethodOfObjectType(type) {
+    const hasInstancePropertyName = getPropertyNameForKnownSymbolName("hasInstance");
+    const hasInstanceProperty = getPropertyOfObjectType(type, hasInstancePropertyName);
+    if (hasInstanceProperty) {
+      const hasInstancePropertyType = getTypeOfSymbol(hasInstanceProperty);
+      if (hasInstancePropertyType && getSignaturesOfType(hasInstancePropertyType, 0 /* Call */).length !== 0) {
+        return hasInstancePropertyType;
+      }
+    }
+  }
+  function createSyntheticHasInstanceMethodCall(left, right, leftType, hasInstanceMethodType) {
+    const syntheticExpression = createSyntheticExpression(right, hasInstanceMethodType);
+    const syntheticArgument = createSyntheticExpression(left, leftType);
+    const syntheticCall = parseNodeFactory.createCallExpression(
+      syntheticExpression,
+      /*typeArguments*/
+      void 0,
+      [syntheticArgument]
+    );
+    setParent(syntheticCall, left.parent);
+    setTextRange(syntheticCall, left.parent);
+    return syntheticCall;
+  }
+  function isSyntheticHasInstanceMethodCall(node) {
+    return isSyntheticExpression(node.expression) && node.arguments.length === 1 && isSyntheticExpression(node.arguments[0]) && isBinaryExpression(node.parent) && node.parent.operatorToken.kind === 104 /* InstanceOfKeyword */ && node.parent.right === node.expression.parent && node.parent.left === node.arguments[0].parent;
+  }
   function checkInstanceOfExpression(left, right, leftType, rightType) {
     if (leftType === silentNeverType || rightType === silentNeverType) {
       return silentNeverType;
@@ -73345,8 +73395,31 @@ function createTypeChecker(host) {
     if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 402784252 /* Primitive */)) {
       error(left, Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
     }
-    if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
-      error(right, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type);
+    if (!isTypeAny(rightType)) {
+      const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(rightType);
+      if (hasInstanceMethodType) {
+        const cache = hasInstanceMethodType;
+        if (cache.hasSimpleUnrestrictedSingleCallSignature === void 0) {
+          const signature = getSingleCallSignature(hasInstanceMethodType);
+          cache.hasSimpleUnrestrictedSingleCallSignature = !!signature && signature.parameters.length === 1 && !!(getTypeOfSymbol(signature.parameters[0]).flags & 3 /* AnyOrUnknown */) && !!signature.resolvedReturnType && !!(signature.resolvedReturnType.flags & 16 /* Boolean */);
+        }
+        if (!cache.hasSimpleUnrestrictedSingleCallSignature) {
+          const syntheticCall = createSyntheticHasInstanceMethodCall(left, right, leftType, hasInstanceMethodType);
+          const returnType = getReturnTypeOfSignature(getResolvedSignature(syntheticCall));
+          checkTypeAssignableTo(returnType, booleanType, right, Diagnostics.An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_hand_side_of_an_instanceof_expression);
+        }
+      }
+      if (!(hasInstanceMethodType || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
+        if (hasGlobalSymbolHasInstanceProperty === void 0) {
+          const globalESSymbolConstructorSymbol = getGlobalESSymbolConstructorTypeSymbol(
+            /*reportErrors*/
+            false
+          );
+          hasGlobalSymbolHasInstanceProperty = !!globalESSymbolConstructorSymbol && getMembersOfSymbol(globalESSymbolConstructorSymbol).has("hasInstance");
+        }
+        const message = hasGlobalSymbolHasInstanceProperty ? Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Symbol_hasInstance_method_or_a_type_assignable_to_the_Function_interface_type : Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type;
+        error(right, message);
+      }
     }
     return booleanType;
   }

package/lib/tsserver.js

@@ -10189,6 +10189,9 @@ var Diagnostics = {
   await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules: diag(2852, 1 /* Error */, "await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules_2852", "'await using' statements are only allowed within async functions and at the top levels of modules."),
   await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_this_file_has_no_imports_or_exports_Consider_adding_an_empty_export_to_make_this_file_a_module: diag(2853, 1 /* Error */, "await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_th_2853", "'await using' statements are only allowed at the top level of a file when that file is a module, but this file has no imports or exports. Consider adding an empty 'export {}' to make this file a module."),
   Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_system_node16_or_nodenext_and_the_target_option_is_set_to_es2017_or_higher: diag(2854, 1 /* Error */, "Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_sys_2854", "Top-level 'await using' statements are only allowed when the 'module' option is set to 'es2022', 'esnext', 'system', 'node16', or 'nodenext', and the 'target' option is set to 'es2017' or higher."),
+  The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method: diag(2855, 1 /* Error */, "The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_2855", "The left-hand side of an 'instanceof' expression must be assignable to the first argument of the right-hand side's '[Symbol.hasInstance]' method."),
+  An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_hand_side_of_an_instanceof_expression: diag(2856, 1 /* Error */, "An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_han_2856", "An object's '[Symbol.hasInstance]' method must return a boolean value for it to be used on the right-hand side of an 'instanceof' expression."),
+  The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Symbol_hasInstance_method_or_a_type_assignable_to_the_Function_interface_type: diag(2857, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Sym_2857", "The right-hand side of an 'instanceof' expression must be either of type 'any', an object type with a '[Symbol.hasInstance]()' method, or a type assignable to the 'Function' interface type."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -14662,6 +14665,7 @@ function isLeftHandSideExpressionKind(kind) {
     case 236 /* MetaProperty */:
     case 102 /* ImportKeyword */:
     case 282 /* MissingDeclaration */:
+    case 237 /* SyntheticExpression */:
       return true;
     default:
       return false;
@@ -48570,6 +48574,7 @@ function createTypeChecker(host) {
   var potentialReflectCollisions = [];
   var potentialUnusedRenamedBindingElementsInTypes = [];
   var awaitedTypeStack = [];
+  var hasGlobalSymbolHasInstanceProperty;
   var diagnostics = createDiagnosticCollection();
   var suggestionDiagnostics = createDiagnosticCollection();
   var typeofType = createTypeofType();
@@ -67719,12 +67724,7 @@ function createTypeChecker(host) {
       callback(getTypeAtPosition(source, i), getTypeAtPosition(target, i));
     }
     if (targetRestType) {
-      callback(getRestTypeAtPosition(
-        source,
-        paramCount,
-        /*readonly*/
-        isConstTypeVariable(targetRestType)
-      ), targetRestType);
+      callback(getRestTypeAtPosition(source, paramCount), targetRestType);
     }
   }
   function applyToReturnTypes(source, target, callback) {
@@ -70617,6 +70617,15 @@ function createTypeChecker(host) {
         return type;
       }
       const rightType = getTypeOfExpression(expr.right);
+      const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(rightType);
+      if (hasInstanceMethodType) {
+        const syntheticCall = createSyntheticHasInstanceMethodCall(left, expr.right, type, hasInstanceMethodType);
+        const signature = getEffectsSignature(syntheticCall);
+        const predicate = signature && getTypePredicateOfSignature(signature);
+        if (predicate && (predicate.kind === 0 /* This */ || predicate.kind === 1 /* Identifier */)) {
+          return narrowTypeByTypePredicate(type, predicate, syntheticCall, assumeTrue);
+        }
+      }
       if (!isTypeDerivedFrom(rightType, globalFunctionType)) {
         return type;
       }
@@ -70696,8 +70705,12 @@ function createTypeChecker(host) {
     }
     function narrowTypeByTypePredicate(type, predicate, callExpression, assumeTrue) {
       if (predicate.type && !(isTypeAny(type) && (predicate.type === globalObjectType || predicate.type === globalFunctionType))) {
-        const predicateArgument = getTypePredicateArgument(predicate, callExpression);
+        let predicateArgument = getTypePredicateArgument(predicate, callExpression);
         if (predicateArgument) {
+          if (isSyntheticExpression(predicateArgument) && predicate.parameterIndex === 0 && isSyntheticHasInstanceMethodCall(callExpression)) {
+            Debug.assertNode(predicateArgument.parent, isExpression);
+            predicateArgument = predicateArgument.parent;
+          }
           if (isMatchingReference(reference, predicateArgument)) {
             return getNarrowedType(
               type,
@@ -75274,7 +75287,7 @@ function createTypeChecker(host) {
     }
     return createDiagnosticForNodeArray(getSourceFileOfNode(node), typeArguments, Diagnostics.Expected_0_type_arguments_but_got_1, belowArgCount === -Infinity ? aboveArgCount : belowArgCount, argCount);
   }
-  function resolveCall(node, signatures, candidatesOutArray, checkMode, callChainFlags, headMessage) {
+  function resolveCall(node, signatures, candidatesOutArray, checkMode, callChainFlags, headMessageCallback) {
     const isTaggedTemplate = node.kind === 215 /* TaggedTemplateExpression */;
     const isDecorator2 = node.kind === 170 /* Decorator */;
     const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
@@ -75317,6 +75330,7 @@ function createTypeChecker(host) {
             chain = chainDiagnosticMessages(chain, Diagnostics.The_last_overload_gave_the_following_error);
             chain = chainDiagnosticMessages(chain, Diagnostics.No_overload_matches_this_call);
           }
+          const headMessage = headMessageCallback == null ? void 0 : headMessageCallback();
           if (headMessage) {
             chain = chainDiagnosticMessages(chain, headMessage);
           }
@@ -75384,6 +75398,7 @@ function createTypeChecker(host) {
             map(diags, createDiagnosticMessageChainFromDiagnostic),
             Diagnostics.No_overload_matches_this_call
           );
+          const headMessage = headMessageCallback == null ? void 0 : headMessageCallback();
           if (headMessage) {
             chain = chainDiagnosticMessages(chain, headMessage);
           }
@@ -75399,21 +75414,21 @@ function createTypeChecker(host) {
           diagnostics.add(diag2);
         }
       } else if (candidateForArgumentArityError) {
-        diagnostics.add(getArgumentArityError(node, [candidateForArgumentArityError], args, headMessage));
+        diagnostics.add(getArgumentArityError(node, [candidateForArgumentArityError], args, headMessageCallback == null ? void 0 : headMessageCallback()));
       } else if (candidateForTypeArgumentError) {
         checkTypeArguments(
           candidateForTypeArgumentError,
           node.typeArguments,
           /*reportErrors*/
           true,
-          headMessage
+          headMessageCallback == null ? void 0 : headMessageCallback()
         );
       } else {
         const signaturesWithCorrectTypeArgumentArity = filter(signatures, (s) => hasCorrectTypeArgumentArity(s, typeArguments));
         if (signaturesWithCorrectTypeArgumentArity.length === 0) {
-          diagnostics.add(getTypeArgumentArityError(node, signatures, typeArguments, headMessage));
+          diagnostics.add(getTypeArgumentArityError(node, signatures, typeArguments, headMessageCallback == null ? void 0 : headMessageCallback()));
         } else {
-          diagnostics.add(getArgumentArityError(node, signaturesWithCorrectTypeArgumentArity, args, headMessage));
+          diagnostics.add(getArgumentArityError(node, signaturesWithCorrectTypeArgumentArity, args, headMessageCallback == null ? void 0 : headMessageCallback()));
         }
       }
     }
@@ -75721,7 +75736,7 @@ function createTypeChecker(host) {
       error2(node, Diagnostics.Value_of_type_0_is_not_callable_Did_you_mean_to_include_new, typeToString(funcType));
       return resolveErrorCall(node);
     }
-    return resolveCall(node, callSignatures, candidatesOutArray, checkMode, callChainFlags);
+    return resolveCall(node, callSignatures, candidatesOutArray, checkMode, callChainFlags, () => isSyntheticHasInstanceMethodCall(node) ? Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method : void 0);
   }
   function isGenericFunctionReturningFunction(signature) {
     return !!(signature.typeParameters && isFunctionType(getReturnTypeOfSignature(signature)));
@@ -76018,7 +76033,7 @@ function createTypeChecker(host) {
       invocationErrorRecovery(apparentType, 0 /* Call */, diag2);
       return resolveErrorCall(node);
     }
-    return resolveCall(node, callSignatures, candidatesOutArray, checkMode, 0 /* None */, headMessage);
+    return resolveCall(node, callSignatures, candidatesOutArray, checkMode, 0 /* None */, () => headMessage);
   }
   function createSignatureForJSXIntrinsic(node, result) {
     const namespace = getJsxNamespaceAt(node);
@@ -76829,7 +76844,7 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
-  function getRestTypeAtPosition(source, pos, readonly) {
+  function getRestTypeAtPosition(source, pos) {
     const parameterCount = getParameterCount(source);
     const minArgumentCount = getMinArgumentCount(source);
     const restType = getEffectiveRestType(source);
@@ -76852,7 +76867,13 @@ function createTypeChecker(host) {
         names.push(name);
       }
     }
-    return createTupleType(types, flags, readonly, length(names) === length(types) ? names : void 0);
+    return createTupleType(
+      types,
+      flags,
+      /*readonly*/
+      false,
+      length(names) === length(types) ? names : void 0
+    );
   }
   function getParameterCount(signature) {
     const length2 = signature.parameters.length;
@@ -78045,6 +78066,32 @@ function createTypeChecker(host) {
   function isConstEnumSymbol(symbol) {
     return (symbol.flags & 128 /* ConstEnum */) !== 0;
   }
+  function getSymbolHasInstanceMethodOfObjectType(type) {
+    const hasInstancePropertyName = getPropertyNameForKnownSymbolName("hasInstance");
+    const hasInstanceProperty = getPropertyOfObjectType(type, hasInstancePropertyName);
+    if (hasInstanceProperty) {
+      const hasInstancePropertyType = getTypeOfSymbol(hasInstanceProperty);
+      if (hasInstancePropertyType && getSignaturesOfType(hasInstancePropertyType, 0 /* Call */).length !== 0) {
+        return hasInstancePropertyType;
+      }
+    }
+  }
+  function createSyntheticHasInstanceMethodCall(left, right, leftType, hasInstanceMethodType) {
+    const syntheticExpression = createSyntheticExpression(right, hasInstanceMethodType);
+    const syntheticArgument = createSyntheticExpression(left, leftType);
+    const syntheticCall = parseNodeFactory.createCallExpression(
+      syntheticExpression,
+      /*typeArguments*/
+      void 0,
+      [syntheticArgument]
+    );
+    setParent(syntheticCall, left.parent);
+    setTextRange(syntheticCall, left.parent);
+    return syntheticCall;
+  }
+  function isSyntheticHasInstanceMethodCall(node) {
+    return isSyntheticExpression(node.expression) && node.arguments.length === 1 && isSyntheticExpression(node.arguments[0]) && isBinaryExpression(node.parent) && node.parent.operatorToken.kind === 104 /* InstanceOfKeyword */ && node.parent.right === node.expression.parent && node.parent.left === node.arguments[0].parent;
+  }
   function checkInstanceOfExpression(left, right, leftType, rightType) {
     if (leftType === silentNeverType || rightType === silentNeverType) {
       return silentNeverType;
@@ -78052,8 +78099,31 @@ function createTypeChecker(host) {
     if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 402784252 /* Primitive */)) {
       error2(left, Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
     }
-    if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
-      error2(right, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type);
+    if (!isTypeAny(rightType)) {
+      const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(rightType);
+      if (hasInstanceMethodType) {
+        const cache = hasInstanceMethodType;
+        if (cache.hasSimpleUnrestrictedSingleCallSignature === void 0) {
+          const signature = getSingleCallSignature(hasInstanceMethodType);
+          cache.hasSimpleUnrestrictedSingleCallSignature = !!signature && signature.parameters.length === 1 && !!(getTypeOfSymbol(signature.parameters[0]).flags & 3 /* AnyOrUnknown */) && !!signature.resolvedReturnType && !!(signature.resolvedReturnType.flags & 16 /* Boolean */);
+        }
+        if (!cache.hasSimpleUnrestrictedSingleCallSignature) {
+          const syntheticCall = createSyntheticHasInstanceMethodCall(left, right, leftType, hasInstanceMethodType);
+          const returnType = getReturnTypeOfSignature(getResolvedSignature(syntheticCall));
+          checkTypeAssignableTo(returnType, booleanType, right, Diagnostics.An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_hand_side_of_an_instanceof_expression);
+        }
+      }
+      if (!(hasInstanceMethodType || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
+        if (hasGlobalSymbolHasInstanceProperty === void 0) {
+          const globalESSymbolConstructorSymbol = getGlobalESSymbolConstructorTypeSymbol(
+            /*reportErrors*/
+            false
+          );
+          hasGlobalSymbolHasInstanceProperty = !!globalESSymbolConstructorSymbol && getMembersOfSymbol(globalESSymbolConstructorSymbol).has("hasInstance");
+        }
+        const message = hasGlobalSymbolHasInstanceProperty ? Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Symbol_hasInstance_method_or_a_type_assignable_to_the_Function_interface_type : Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type;
+        error2(right, message);
+      }
     }
     return booleanType;
   }

package/lib/tsserverlibrary.d.ts

@@ -5139,7 +5139,7 @@ declare namespace ts {
         readonly asteriskToken?: AsteriskToken;
         readonly expression?: Expression;
     }
-    interface SyntheticExpression extends Expression {
+    interface SyntheticExpression extends LeftHandSideExpression {
         readonly kind: SyntaxKind.SyntheticExpression;
         readonly isSpread: boolean;
         readonly type: Type;

package/lib/tsserverlibrary.js

@@ -7972,6 +7972,9 @@ ${lanes.join("\n")}
         await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules: diag(2852, 1 /* Error */, "await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules_2852", "'await using' statements are only allowed within async functions and at the top levels of modules."),
         await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_this_file_has_no_imports_or_exports_Consider_adding_an_empty_export_to_make_this_file_a_module: diag(2853, 1 /* Error */, "await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_th_2853", "'await using' statements are only allowed at the top level of a file when that file is a module, but this file has no imports or exports. Consider adding an empty 'export {}' to make this file a module."),
         Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_system_node16_or_nodenext_and_the_target_option_is_set_to_es2017_or_higher: diag(2854, 1 /* Error */, "Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_sys_2854", "Top-level 'await using' statements are only allowed when the 'module' option is set to 'es2022', 'esnext', 'system', 'node16', or 'nodenext', and the 'target' option is set to 'es2017' or higher."),
+        The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method: diag(2855, 1 /* Error */, "The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_2855", "The left-hand side of an 'instanceof' expression must be assignable to the first argument of the right-hand side's '[Symbol.hasInstance]' method."),
+        An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_hand_side_of_an_instanceof_expression: diag(2856, 1 /* Error */, "An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_han_2856", "An object's '[Symbol.hasInstance]' method must return a boolean value for it to be used on the right-hand side of an 'instanceof' expression."),
+        The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Symbol_hasInstance_method_or_a_type_assignable_to_the_Function_interface_type: diag(2857, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Sym_2857", "The right-hand side of an 'instanceof' expression must be either of type 'any', an object type with a '[Symbol.hasInstance]()' method, or a type assignable to the 'Function' interface type."),
         Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
         Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
         Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -12452,6 +12455,7 @@ ${lanes.join("\n")}
       case 236 /* MetaProperty */:
       case 102 /* ImportKeyword */:
       case 282 /* MissingDeclaration */:
+      case 237 /* SyntheticExpression */:
         return true;
       default:
         return false;
@@ -46337,6 +46341,7 @@ ${lanes.join("\n")}
     var potentialReflectCollisions = [];
     var potentialUnusedRenamedBindingElementsInTypes = [];
     var awaitedTypeStack = [];
+    var hasGlobalSymbolHasInstanceProperty;
     var diagnostics = createDiagnosticCollection();
     var suggestionDiagnostics = createDiagnosticCollection();
     var typeofType = createTypeofType();
@@ -65486,12 +65491,7 @@ ${lanes.join("\n")}
         callback(getTypeAtPosition(source, i), getTypeAtPosition(target, i));
       }
       if (targetRestType) {
-        callback(getRestTypeAtPosition(
-          source,
-          paramCount,
-          /*readonly*/
-          isConstTypeVariable(targetRestType)
-        ), targetRestType);
+        callback(getRestTypeAtPosition(source, paramCount), targetRestType);
       }
     }
     function applyToReturnTypes(source, target, callback) {
@@ -68384,6 +68384,15 @@ ${lanes.join("\n")}
           return type;
         }
         const rightType = getTypeOfExpression(expr.right);
+        const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(rightType);
+        if (hasInstanceMethodType) {
+          const syntheticCall = createSyntheticHasInstanceMethodCall(left, expr.right, type, hasInstanceMethodType);
+          const signature = getEffectsSignature(syntheticCall);
+          const predicate = signature && getTypePredicateOfSignature(signature);
+          if (predicate && (predicate.kind === 0 /* This */ || predicate.kind === 1 /* Identifier */)) {
+            return narrowTypeByTypePredicate(type, predicate, syntheticCall, assumeTrue);
+          }
+        }
         if (!isTypeDerivedFrom(rightType, globalFunctionType)) {
           return type;
         }
@@ -68463,8 +68472,12 @@ ${lanes.join("\n")}
       }
       function narrowTypeByTypePredicate(type, predicate, callExpression, assumeTrue) {
         if (predicate.type && !(isTypeAny(type) && (predicate.type === globalObjectType || predicate.type === globalFunctionType))) {
-          const predicateArgument = getTypePredicateArgument(predicate, callExpression);
+          let predicateArgument = getTypePredicateArgument(predicate, callExpression);
           if (predicateArgument) {
+            if (isSyntheticExpression(predicateArgument) && predicate.parameterIndex === 0 && isSyntheticHasInstanceMethodCall(callExpression)) {
+              Debug.assertNode(predicateArgument.parent, isExpression);
+              predicateArgument = predicateArgument.parent;
+            }
             if (isMatchingReference(reference, predicateArgument)) {
               return getNarrowedType(
                 type,
@@ -73041,7 +73054,7 @@ ${lanes.join("\n")}
       }
       return createDiagnosticForNodeArray(getSourceFileOfNode(node), typeArguments, Diagnostics.Expected_0_type_arguments_but_got_1, belowArgCount === -Infinity ? aboveArgCount : belowArgCount, argCount);
     }
-    function resolveCall(node, signatures, candidatesOutArray, checkMode, callChainFlags, headMessage) {
+    function resolveCall(node, signatures, candidatesOutArray, checkMode, callChainFlags, headMessageCallback) {
       const isTaggedTemplate = node.kind === 215 /* TaggedTemplateExpression */;
       const isDecorator2 = node.kind === 170 /* Decorator */;
       const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
@@ -73084,6 +73097,7 @@ ${lanes.join("\n")}
               chain = chainDiagnosticMessages(chain, Diagnostics.The_last_overload_gave_the_following_error);
               chain = chainDiagnosticMessages(chain, Diagnostics.No_overload_matches_this_call);
             }
+            const headMessage = headMessageCallback == null ? void 0 : headMessageCallback();
             if (headMessage) {
               chain = chainDiagnosticMessages(chain, headMessage);
             }
@@ -73151,6 +73165,7 @@ ${lanes.join("\n")}
               map(diags, createDiagnosticMessageChainFromDiagnostic),
               Diagnostics.No_overload_matches_this_call
             );
+            const headMessage = headMessageCallback == null ? void 0 : headMessageCallback();
             if (headMessage) {
               chain = chainDiagnosticMessages(chain, headMessage);
             }
@@ -73166,21 +73181,21 @@ ${lanes.join("\n")}
             diagnostics.add(diag2);
           }
         } else if (candidateForArgumentArityError) {
-          diagnostics.add(getArgumentArityError(node, [candidateForArgumentArityError], args, headMessage));
+          diagnostics.add(getArgumentArityError(node, [candidateForArgumentArityError], args, headMessageCallback == null ? void 0 : headMessageCallback()));
         } else if (candidateForTypeArgumentError) {
           checkTypeArguments(
             candidateForTypeArgumentError,
             node.typeArguments,
             /*reportErrors*/
             true,
-            headMessage
+            headMessageCallback == null ? void 0 : headMessageCallback()
           );
         } else {
           const signaturesWithCorrectTypeArgumentArity = filter(signatures, (s) => hasCorrectTypeArgumentArity(s, typeArguments));
           if (signaturesWithCorrectTypeArgumentArity.length === 0) {
-            diagnostics.add(getTypeArgumentArityError(node, signatures, typeArguments, headMessage));
+            diagnostics.add(getTypeArgumentArityError(node, signatures, typeArguments, headMessageCallback == null ? void 0 : headMessageCallback()));
           } else {
-            diagnostics.add(getArgumentArityError(node, signaturesWithCorrectTypeArgumentArity, args, headMessage));
+            diagnostics.add(getArgumentArityError(node, signaturesWithCorrectTypeArgumentArity, args, headMessageCallback == null ? void 0 : headMessageCallback()));
           }
         }
       }
@@ -73488,7 +73503,7 @@ ${lanes.join("\n")}
         error2(node, Diagnostics.Value_of_type_0_is_not_callable_Did_you_mean_to_include_new, typeToString(funcType));
         return resolveErrorCall(node);
       }
-      return resolveCall(node, callSignatures, candidatesOutArray, checkMode, callChainFlags);
+      return resolveCall(node, callSignatures, candidatesOutArray, checkMode, callChainFlags, () => isSyntheticHasInstanceMethodCall(node) ? Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method : void 0);
     }
     function isGenericFunctionReturningFunction(signature) {
       return !!(signature.typeParameters && isFunctionType(getReturnTypeOfSignature(signature)));
@@ -73785,7 +73800,7 @@ ${lanes.join("\n")}
         invocationErrorRecovery(apparentType, 0 /* Call */, diag2);
         return resolveErrorCall(node);
       }
-      return resolveCall(node, callSignatures, candidatesOutArray, checkMode, 0 /* None */, headMessage);
+      return resolveCall(node, callSignatures, candidatesOutArray, checkMode, 0 /* None */, () => headMessage);
     }
     function createSignatureForJSXIntrinsic(node, result) {
       const namespace = getJsxNamespaceAt(node);
@@ -74596,7 +74611,7 @@ ${lanes.join("\n")}
       }
       return void 0;
     }
-    function getRestTypeAtPosition(source, pos, readonly) {
+    function getRestTypeAtPosition(source, pos) {
       const parameterCount = getParameterCount(source);
       const minArgumentCount = getMinArgumentCount(source);
       const restType = getEffectiveRestType(source);
@@ -74619,7 +74634,13 @@ ${lanes.join("\n")}
           names.push(name);
         }
       }
-      return createTupleType(types, flags, readonly, length(names) === length(types) ? names : void 0);
+      return createTupleType(
+        types,
+        flags,
+        /*readonly*/
+        false,
+        length(names) === length(types) ? names : void 0
+      );
     }
     function getParameterCount(signature) {
       const length2 = signature.parameters.length;
@@ -75812,6 +75833,32 @@ ${lanes.join("\n")}
     function isConstEnumSymbol(symbol) {
       return (symbol.flags & 128 /* ConstEnum */) !== 0;
     }
+    function getSymbolHasInstanceMethodOfObjectType(type) {
+      const hasInstancePropertyName = getPropertyNameForKnownSymbolName("hasInstance");
+      const hasInstanceProperty = getPropertyOfObjectType(type, hasInstancePropertyName);
+      if (hasInstanceProperty) {
+        const hasInstancePropertyType = getTypeOfSymbol(hasInstanceProperty);
+        if (hasInstancePropertyType && getSignaturesOfType(hasInstancePropertyType, 0 /* Call */).length !== 0) {
+          return hasInstancePropertyType;
+        }
+      }
+    }
+    function createSyntheticHasInstanceMethodCall(left, right, leftType, hasInstanceMethodType) {
+      const syntheticExpression = createSyntheticExpression(right, hasInstanceMethodType);
+      const syntheticArgument = createSyntheticExpression(left, leftType);
+      const syntheticCall = parseNodeFactory.createCallExpression(
+        syntheticExpression,
+        /*typeArguments*/
+        void 0,
+        [syntheticArgument]
+      );
+      setParent(syntheticCall, left.parent);
+      setTextRange(syntheticCall, left.parent);
+      return syntheticCall;
+    }
+    function isSyntheticHasInstanceMethodCall(node) {
+      return isSyntheticExpression(node.expression) && node.arguments.length === 1 && isSyntheticExpression(node.arguments[0]) && isBinaryExpression(node.parent) && node.parent.operatorToken.kind === 104 /* InstanceOfKeyword */ && node.parent.right === node.expression.parent && node.parent.left === node.arguments[0].parent;
+    }
     function checkInstanceOfExpression(left, right, leftType, rightType) {
       if (leftType === silentNeverType || rightType === silentNeverType) {
         return silentNeverType;
@@ -75819,8 +75866,31 @@ ${lanes.join("\n")}
       if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 402784252 /* Primitive */)) {
         error2(left, Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
       }
-      if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
-        error2(right, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type);
+      if (!isTypeAny(rightType)) {
+        const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(rightType);
+        if (hasInstanceMethodType) {
+          const cache = hasInstanceMethodType;
+          if (cache.hasSimpleUnrestrictedSingleCallSignature === void 0) {
+            const signature = getSingleCallSignature(hasInstanceMethodType);
+            cache.hasSimpleUnrestrictedSingleCallSignature = !!signature && signature.parameters.length === 1 && !!(getTypeOfSymbol(signature.parameters[0]).flags & 3 /* AnyOrUnknown */) && !!signature.resolvedReturnType && !!(signature.resolvedReturnType.flags & 16 /* Boolean */);
+          }
+          if (!cache.hasSimpleUnrestrictedSingleCallSignature) {
+            const syntheticCall = createSyntheticHasInstanceMethodCall(left, right, leftType, hasInstanceMethodType);
+            const returnType = getReturnTypeOfSignature(getResolvedSignature(syntheticCall));
+            checkTypeAssignableTo(returnType, booleanType, right, Diagnostics.An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_hand_side_of_an_instanceof_expression);
+          }
+        }
+        if (!(hasInstanceMethodType || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
+          if (hasGlobalSymbolHasInstanceProperty === void 0) {
+            const globalESSymbolConstructorSymbol = getGlobalESSymbolConstructorTypeSymbol(
+              /*reportErrors*/
+              false
+            );
+            hasGlobalSymbolHasInstanceProperty = !!globalESSymbolConstructorSymbol && getMembersOfSymbol(globalESSymbolConstructorSymbol).has("hasInstance");
+          }
+          const message = hasGlobalSymbolHasInstanceProperty ? Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Symbol_hasInstance_method_or_a_type_assignable_to_the_Function_interface_type : Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type;
+          error2(right, message);
+        }
       }
       return booleanType;
     }

package/lib/typescript.d.ts

@@ -1086,7 +1086,7 @@ declare namespace ts {
         readonly asteriskToken?: AsteriskToken;
         readonly expression?: Expression;
     }
-    interface SyntheticExpression extends Expression {
+    interface SyntheticExpression extends LeftHandSideExpression {
         readonly kind: SyntaxKind.SyntheticExpression;
         readonly isSpread: boolean;
         readonly type: Type;

package/lib/typescript.js

@@ -7972,6 +7972,9 @@ ${lanes.join("\n")}
         await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules: diag(2852, 1 /* Error */, "await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules_2852", "'await using' statements are only allowed within async functions and at the top levels of modules."),
         await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_this_file_has_no_imports_or_exports_Consider_adding_an_empty_export_to_make_this_file_a_module: diag(2853, 1 /* Error */, "await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_th_2853", "'await using' statements are only allowed at the top level of a file when that file is a module, but this file has no imports or exports. Consider adding an empty 'export {}' to make this file a module."),
         Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_system_node16_or_nodenext_and_the_target_option_is_set_to_es2017_or_higher: diag(2854, 1 /* Error */, "Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_sys_2854", "Top-level 'await using' statements are only allowed when the 'module' option is set to 'es2022', 'esnext', 'system', 'node16', or 'nodenext', and the 'target' option is set to 'es2017' or higher."),
+        The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method: diag(2855, 1 /* Error */, "The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_2855", "The left-hand side of an 'instanceof' expression must be assignable to the first argument of the right-hand side's '[Symbol.hasInstance]' method."),
+        An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_hand_side_of_an_instanceof_expression: diag(2856, 1 /* Error */, "An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_han_2856", "An object's '[Symbol.hasInstance]' method must return a boolean value for it to be used on the right-hand side of an 'instanceof' expression."),
+        The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Symbol_hasInstance_method_or_a_type_assignable_to_the_Function_interface_type: diag(2857, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Sym_2857", "The right-hand side of an 'instanceof' expression must be either of type 'any', an object type with a '[Symbol.hasInstance]()' method, or a type assignable to the 'Function' interface type."),
         Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
         Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
         Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -12452,6 +12455,7 @@ ${lanes.join("\n")}
       case 236 /* MetaProperty */:
       case 102 /* ImportKeyword */:
       case 282 /* MissingDeclaration */:
+      case 237 /* SyntheticExpression */:
         return true;
       default:
         return false;
@@ -46337,6 +46341,7 @@ ${lanes.join("\n")}
     var potentialReflectCollisions = [];
     var potentialUnusedRenamedBindingElementsInTypes = [];
     var awaitedTypeStack = [];
+    var hasGlobalSymbolHasInstanceProperty;
     var diagnostics = createDiagnosticCollection();
     var suggestionDiagnostics = createDiagnosticCollection();
     var typeofType = createTypeofType();
@@ -65486,12 +65491,7 @@ ${lanes.join("\n")}
         callback(getTypeAtPosition(source, i), getTypeAtPosition(target, i));
       }
       if (targetRestType) {
-        callback(getRestTypeAtPosition(
-          source,
-          paramCount,
-          /*readonly*/
-          isConstTypeVariable(targetRestType)
-        ), targetRestType);
+        callback(getRestTypeAtPosition(source, paramCount), targetRestType);
       }
     }
     function applyToReturnTypes(source, target, callback) {
@@ -68384,6 +68384,15 @@ ${lanes.join("\n")}
           return type;
         }
         const rightType = getTypeOfExpression(expr.right);
+        const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(rightType);
+        if (hasInstanceMethodType) {
+          const syntheticCall = createSyntheticHasInstanceMethodCall(left, expr.right, type, hasInstanceMethodType);
+          const signature = getEffectsSignature(syntheticCall);
+          const predicate = signature && getTypePredicateOfSignature(signature);
+          if (predicate && (predicate.kind === 0 /* This */ || predicate.kind === 1 /* Identifier */)) {
+            return narrowTypeByTypePredicate(type, predicate, syntheticCall, assumeTrue);
+          }
+        }
         if (!isTypeDerivedFrom(rightType, globalFunctionType)) {
           return type;
         }
@@ -68463,8 +68472,12 @@ ${lanes.join("\n")}
       }
       function narrowTypeByTypePredicate(type, predicate, callExpression, assumeTrue) {
         if (predicate.type && !(isTypeAny(type) && (predicate.type === globalObjectType || predicate.type === globalFunctionType))) {
-          const predicateArgument = getTypePredicateArgument(predicate, callExpression);
+          let predicateArgument = getTypePredicateArgument(predicate, callExpression);
           if (predicateArgument) {
+            if (isSyntheticExpression(predicateArgument) && predicate.parameterIndex === 0 && isSyntheticHasInstanceMethodCall(callExpression)) {
+              Debug.assertNode(predicateArgument.parent, isExpression);
+              predicateArgument = predicateArgument.parent;
+            }
             if (isMatchingReference(reference, predicateArgument)) {
               return getNarrowedType(
                 type,
@@ -73041,7 +73054,7 @@ ${lanes.join("\n")}
       }
       return createDiagnosticForNodeArray(getSourceFileOfNode(node), typeArguments, Diagnostics.Expected_0_type_arguments_but_got_1, belowArgCount === -Infinity ? aboveArgCount : belowArgCount, argCount);
     }
-    function resolveCall(node, signatures, candidatesOutArray, checkMode, callChainFlags, headMessage) {
+    function resolveCall(node, signatures, candidatesOutArray, checkMode, callChainFlags, headMessageCallback) {
       const isTaggedTemplate = node.kind === 215 /* TaggedTemplateExpression */;
       const isDecorator2 = node.kind === 170 /* Decorator */;
       const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
@@ -73084,6 +73097,7 @@ ${lanes.join("\n")}
               chain = chainDiagnosticMessages(chain, Diagnostics.The_last_overload_gave_the_following_error);
               chain = chainDiagnosticMessages(chain, Diagnostics.No_overload_matches_this_call);
             }
+            const headMessage = headMessageCallback == null ? void 0 : headMessageCallback();
             if (headMessage) {
               chain = chainDiagnosticMessages(chain, headMessage);
             }
@@ -73151,6 +73165,7 @@ ${lanes.join("\n")}
               map(diags, createDiagnosticMessageChainFromDiagnostic),
               Diagnostics.No_overload_matches_this_call
             );
+            const headMessage = headMessageCallback == null ? void 0 : headMessageCallback();
             if (headMessage) {
               chain = chainDiagnosticMessages(chain, headMessage);
             }
@@ -73166,21 +73181,21 @@ ${lanes.join("\n")}
             diagnostics.add(diag2);
           }
         } else if (candidateForArgumentArityError) {
-          diagnostics.add(getArgumentArityError(node, [candidateForArgumentArityError], args, headMessage));
+          diagnostics.add(getArgumentArityError(node, [candidateForArgumentArityError], args, headMessageCallback == null ? void 0 : headMessageCallback()));
         } else if (candidateForTypeArgumentError) {
           checkTypeArguments(
             candidateForTypeArgumentError,
             node.typeArguments,
             /*reportErrors*/
             true,
-            headMessage
+            headMessageCallback == null ? void 0 : headMessageCallback()
           );
         } else {
           const signaturesWithCorrectTypeArgumentArity = filter(signatures, (s) => hasCorrectTypeArgumentArity(s, typeArguments));
           if (signaturesWithCorrectTypeArgumentArity.length === 0) {
-            diagnostics.add(getTypeArgumentArityError(node, signatures, typeArguments, headMessage));
+            diagnostics.add(getTypeArgumentArityError(node, signatures, typeArguments, headMessageCallback == null ? void 0 : headMessageCallback()));
           } else {
-            diagnostics.add(getArgumentArityError(node, signaturesWithCorrectTypeArgumentArity, args, headMessage));
+            diagnostics.add(getArgumentArityError(node, signaturesWithCorrectTypeArgumentArity, args, headMessageCallback == null ? void 0 : headMessageCallback()));
           }
         }
       }
@@ -73488,7 +73503,7 @@ ${lanes.join("\n")}
         error2(node, Diagnostics.Value_of_type_0_is_not_callable_Did_you_mean_to_include_new, typeToString(funcType));
         return resolveErrorCall(node);
       }
-      return resolveCall(node, callSignatures, candidatesOutArray, checkMode, callChainFlags);
+      return resolveCall(node, callSignatures, candidatesOutArray, checkMode, callChainFlags, () => isSyntheticHasInstanceMethodCall(node) ? Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method : void 0);
     }
     function isGenericFunctionReturningFunction(signature) {
       return !!(signature.typeParameters && isFunctionType(getReturnTypeOfSignature(signature)));
@@ -73785,7 +73800,7 @@ ${lanes.join("\n")}
         invocationErrorRecovery(apparentType, 0 /* Call */, diag2);
         return resolveErrorCall(node);
       }
-      return resolveCall(node, callSignatures, candidatesOutArray, checkMode, 0 /* None */, headMessage);
+      return resolveCall(node, callSignatures, candidatesOutArray, checkMode, 0 /* None */, () => headMessage);
     }
     function createSignatureForJSXIntrinsic(node, result) {
       const namespace = getJsxNamespaceAt(node);
@@ -74596,7 +74611,7 @@ ${lanes.join("\n")}
       }
       return void 0;
     }
-    function getRestTypeAtPosition(source, pos, readonly) {
+    function getRestTypeAtPosition(source, pos) {
       const parameterCount = getParameterCount(source);
       const minArgumentCount = getMinArgumentCount(source);
       const restType = getEffectiveRestType(source);
@@ -74619,7 +74634,13 @@ ${lanes.join("\n")}
           names.push(name);
         }
       }
-      return createTupleType(types, flags, readonly, length(names) === length(types) ? names : void 0);
+      return createTupleType(
+        types,
+        flags,
+        /*readonly*/
+        false,
+        length(names) === length(types) ? names : void 0
+      );
     }
     function getParameterCount(signature) {
       const length2 = signature.parameters.length;
@@ -75812,6 +75833,32 @@ ${lanes.join("\n")}
     function isConstEnumSymbol(symbol) {
       return (symbol.flags & 128 /* ConstEnum */) !== 0;
     }
+    function getSymbolHasInstanceMethodOfObjectType(type) {
+      const hasInstancePropertyName = getPropertyNameForKnownSymbolName("hasInstance");
+      const hasInstanceProperty = getPropertyOfObjectType(type, hasInstancePropertyName);
+      if (hasInstanceProperty) {
+        const hasInstancePropertyType = getTypeOfSymbol(hasInstanceProperty);
+        if (hasInstancePropertyType && getSignaturesOfType(hasInstancePropertyType, 0 /* Call */).length !== 0) {
+          return hasInstancePropertyType;
+        }
+      }
+    }
+    function createSyntheticHasInstanceMethodCall(left, right, leftType, hasInstanceMethodType) {
+      const syntheticExpression = createSyntheticExpression(right, hasInstanceMethodType);
+      const syntheticArgument = createSyntheticExpression(left, leftType);
+      const syntheticCall = parseNodeFactory.createCallExpression(
+        syntheticExpression,
+        /*typeArguments*/
+        void 0,
+        [syntheticArgument]
+      );
+      setParent(syntheticCall, left.parent);
+      setTextRange(syntheticCall, left.parent);
+      return syntheticCall;
+    }
+    function isSyntheticHasInstanceMethodCall(node) {
+      return isSyntheticExpression(node.expression) && node.arguments.length === 1 && isSyntheticExpression(node.arguments[0]) && isBinaryExpression(node.parent) && node.parent.operatorToken.kind === 104 /* InstanceOfKeyword */ && node.parent.right === node.expression.parent && node.parent.left === node.arguments[0].parent;
+    }
     function checkInstanceOfExpression(left, right, leftType, rightType) {
       if (leftType === silentNeverType || rightType === silentNeverType) {
         return silentNeverType;
@@ -75819,8 +75866,31 @@ ${lanes.join("\n")}
       if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 402784252 /* Primitive */)) {
         error2(left, Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
       }
-      if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
-        error2(right, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type);
+      if (!isTypeAny(rightType)) {
+        const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(rightType);
+        if (hasInstanceMethodType) {
+          const cache = hasInstanceMethodType;
+          if (cache.hasSimpleUnrestrictedSingleCallSignature === void 0) {
+            const signature = getSingleCallSignature(hasInstanceMethodType);
+            cache.hasSimpleUnrestrictedSingleCallSignature = !!signature && signature.parameters.length === 1 && !!(getTypeOfSymbol(signature.parameters[0]).flags & 3 /* AnyOrUnknown */) && !!signature.resolvedReturnType && !!(signature.resolvedReturnType.flags & 16 /* Boolean */);
+          }
+          if (!cache.hasSimpleUnrestrictedSingleCallSignature) {
+            const syntheticCall = createSyntheticHasInstanceMethodCall(left, right, leftType, hasInstanceMethodType);
+            const returnType = getReturnTypeOfSignature(getResolvedSignature(syntheticCall));
+            checkTypeAssignableTo(returnType, booleanType, right, Diagnostics.An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_hand_side_of_an_instanceof_expression);
+          }
+        }
+        if (!(hasInstanceMethodType || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
+          if (hasGlobalSymbolHasInstanceProperty === void 0) {
+            const globalESSymbolConstructorSymbol = getGlobalESSymbolConstructorTypeSymbol(
+              /*reportErrors*/
+              false
+            );
+            hasGlobalSymbolHasInstanceProperty = !!globalESSymbolConstructorSymbol && getMembersOfSymbol(globalESSymbolConstructorSymbol).has("hasInstance");
+          }
+          const message = hasGlobalSymbolHasInstanceProperty ? Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Symbol_hasInstance_method_or_a_type_assignable_to_the_Function_interface_type : Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type;
+          error2(right, message);
+        }
       }
       return booleanType;
     }

package/lib/typingsInstaller.js

@@ -6042,6 +6042,9 @@ var Diagnostics = {
   await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules: diag(2852, 1 /* Error */, "await_using_statements_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules_2852", "'await using' statements are only allowed within async functions and at the top levels of modules."),
   await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_this_file_has_no_imports_or_exports_Consider_adding_an_empty_export_to_make_this_file_a_module: diag(2853, 1 /* Error */, "await_using_statements_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_th_2853", "'await using' statements are only allowed at the top level of a file when that file is a module, but this file has no imports or exports. Consider adding an empty 'export {}' to make this file a module."),
   Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_system_node16_or_nodenext_and_the_target_option_is_set_to_es2017_or_higher: diag(2854, 1 /* Error */, "Top_level_await_using_statements_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_sys_2854", "Top-level 'await using' statements are only allowed when the 'module' option is set to 'es2022', 'esnext', 'system', 'node16', or 'nodenext', and the 'target' option is set to 'es2017' or higher."),
+  The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_hand_side_s_Symbol_hasInstance_method: diag(2855, 1 /* Error */, "The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_2855", "The left-hand side of an 'instanceof' expression must be assignable to the first argument of the right-hand side's '[Symbol.hasInstance]' method."),
+  An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_hand_side_of_an_instanceof_expression: diag(2856, 1 /* Error */, "An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_han_2856", "An object's '[Symbol.hasInstance]' method must return a boolean value for it to be used on the right-hand side of an 'instanceof' expression."),
+  The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Symbol_hasInstance_method_or_a_type_assignable_to_the_Function_interface_type: diag(2857, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_an_object_type_with_a_Sym_2857", "The right-hand side of an 'instanceof' expression must be either of type 'any', an object type with a '[Symbol.hasInstance]()' method, or a type assignable to the 'Function' interface type."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -9871,6 +9874,7 @@ function isLeftHandSideExpressionKind(kind) {
     case 236 /* MetaProperty */:
     case 102 /* ImportKeyword */:
     case 282 /* MissingDeclaration */:
+    case 237 /* SyntheticExpression */:
       return true;
     default:
       return false;

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.2.0-pr-55034-8",
+  "version": "5.2.0-pr-55052-3",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -114,5 +114,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "2842e44bf3f80d0459b1687e4d236d03aa9a3b17"
+  "gitHead": "4c0125c23185bb0cba8a8f4397a0748662da3d8c"
 }