@typescript-deploys/pr-build 5.2.0-pr-54935-17 → 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();
@@ -48184,7 +48192,7 @@ function createTypeChecker(host) {
       return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */));
     }
     function addPropertyToElementList(propertySymbol, context, typeElements) {
-      var _a, _b;
+      var _a;
       const propertyIsReverseMapped = !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */);
       const propertyType = shouldUsePlaceholderForProperty(propertySymbol, context) ? anyType : getNonMissingTypeOfSymbol(propertySymbol);
       const saveEnclosingDeclaration = context.enclosingDeclaration;
@@ -48234,57 +48242,17 @@ function createTypeChecker(host) {
           context.reverseMappedStack.pop();
         }
       }
-      if (propertySymbol.flags & 98304 /* Accessor */) {
-        if (propertySymbol.flags & 32768 /* GetAccessor */) {
-          const getAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 177 /* GetAccessor */);
-          const getAccessorSignature = factory.createGetAccessorDeclaration(
-            /*modifiers*/
-            void 0,
-            propertyName,
-            [],
-            propertyTypeNode,
-            /*body*/
-            void 0
-          );
-          setCommentRange(getAccessorSignature, getAccessorDecl);
-          typeElements.push(getAccessorSignature);
-        }
-        if (propertySymbol.flags & 65536 /* SetAccessor */) {
-          const setAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 178 /* SetAccessor */);
-          const parameterName = ((_b = setAccessorDecl == null ? void 0 : setAccessorDecl.parameters) == null ? void 0 : _b.length) > 0 ? setAccessorDecl.parameters[0].name : "arg";
-          const setAccessorSignature = factory.createSetAccessorDeclaration(
-            /*modifiers*/
-            void 0,
-            propertyName,
-            [factory.createParameterDeclaration(
-              /*modifiers*/
-              void 0,
-              /*dotDotDotToken*/
-              void 0,
-              parameterName,
-              /*questionToken*/
-              void 0,
-              propertyTypeNode
-            )],
-            /*body*/
-            void 0
-          );
-          setCommentRange(setAccessorSignature, setAccessorDecl);
-          typeElements.push(setAccessorSignature);
-        }
-      } else {
-        const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
-        if (modifiers) {
-          context.approximateLength += 9;
-        }
-        const propertySignature = factory.createPropertySignature(
-          modifiers,
-          propertyName,
-          optionalToken,
-          propertyTypeNode
-        );
-        typeElements.push(preserveCommentsOn(propertySignature));
+      const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
+      if (modifiers) {
+        context.approximateLength += 9;
       }
+      const propertySignature = factory.createPropertySignature(
+        modifiers,
+        propertyName,
+        optionalToken,
+        propertyTypeNode
+      );
+      typeElements.push(preserveCommentsOn(propertySignature));
       function preserveCommentsOn(node) {
         var _a2;
         if (some(propertySymbol.declarations, (d) => d.kind === 355 /* JSDocPropertyTag */)) {
@@ -65945,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;
       }
@@ -66024,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,
@@ -70602,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);
@@ -70645,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);
           }
@@ -70712,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);
           }
@@ -70727,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()));
         }
       }
     }
@@ -71049,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)));
@@ -71346,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);
@@ -73379,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;
@@ -73386,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();
@@ -52891,7 +52896,7 @@ function createTypeChecker(host) {
       return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */));
     }
     function addPropertyToElementList(propertySymbol, context, typeElements) {
-      var _a, _b;
+      var _a;
       const propertyIsReverseMapped = !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */);
       const propertyType = shouldUsePlaceholderForProperty(propertySymbol, context) ? anyType : getNonMissingTypeOfSymbol(propertySymbol);
       const saveEnclosingDeclaration = context.enclosingDeclaration;
@@ -52941,57 +52946,17 @@ function createTypeChecker(host) {
           context.reverseMappedStack.pop();
         }
       }
-      if (propertySymbol.flags & 98304 /* Accessor */) {
-        if (propertySymbol.flags & 32768 /* GetAccessor */) {
-          const getAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 177 /* GetAccessor */);
-          const getAccessorSignature = factory.createGetAccessorDeclaration(
-            /*modifiers*/
-            void 0,
-            propertyName,
-            [],
-            propertyTypeNode,
-            /*body*/
-            void 0
-          );
-          setCommentRange(getAccessorSignature, getAccessorDecl);
-          typeElements.push(getAccessorSignature);
-        }
-        if (propertySymbol.flags & 65536 /* SetAccessor */) {
-          const setAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 178 /* SetAccessor */);
-          const parameterName = ((_b = setAccessorDecl == null ? void 0 : setAccessorDecl.parameters) == null ? void 0 : _b.length) > 0 ? setAccessorDecl.parameters[0].name : "arg";
-          const setAccessorSignature = factory.createSetAccessorDeclaration(
-            /*modifiers*/
-            void 0,
-            propertyName,
-            [factory.createParameterDeclaration(
-              /*modifiers*/
-              void 0,
-              /*dotDotDotToken*/
-              void 0,
-              parameterName,
-              /*questionToken*/
-              void 0,
-              propertyTypeNode
-            )],
-            /*body*/
-            void 0
-          );
-          setCommentRange(setAccessorSignature, setAccessorDecl);
-          typeElements.push(setAccessorSignature);
-        }
-      } else {
-        const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
-        if (modifiers) {
-          context.approximateLength += 9;
-        }
-        const propertySignature = factory.createPropertySignature(
-          modifiers,
-          propertyName,
-          optionalToken,
-          propertyTypeNode
-        );
-        typeElements.push(preserveCommentsOn(propertySignature));
+      const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
+      if (modifiers) {
+        context.approximateLength += 9;
       }
+      const propertySignature = factory.createPropertySignature(
+        modifiers,
+        propertyName,
+        optionalToken,
+        propertyTypeNode
+      );
+      typeElements.push(preserveCommentsOn(propertySignature));
       function preserveCommentsOn(node) {
         var _a2;
         if (some(propertySymbol.declarations, (d) => d.kind === 355 /* JSDocPropertyTag */)) {
@@ -70652,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;
       }
@@ -70731,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,
@@ -75309,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);
@@ -75352,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);
           }
@@ -75419,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);
           }
@@ -75434,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()));
         }
       }
     }
@@ -75756,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)));
@@ -76053,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);
@@ -78086,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;
@@ -78093,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();
@@ -50658,7 +50663,7 @@ ${lanes.join("\n")}
         return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */));
       }
       function addPropertyToElementList(propertySymbol, context, typeElements) {
-        var _a, _b;
+        var _a;
         const propertyIsReverseMapped = !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */);
         const propertyType = shouldUsePlaceholderForProperty(propertySymbol, context) ? anyType : getNonMissingTypeOfSymbol(propertySymbol);
         const saveEnclosingDeclaration = context.enclosingDeclaration;
@@ -50708,57 +50713,17 @@ ${lanes.join("\n")}
             context.reverseMappedStack.pop();
           }
         }
-        if (propertySymbol.flags & 98304 /* Accessor */) {
-          if (propertySymbol.flags & 32768 /* GetAccessor */) {
-            const getAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 177 /* GetAccessor */);
-            const getAccessorSignature = factory.createGetAccessorDeclaration(
-              /*modifiers*/
-              void 0,
-              propertyName,
-              [],
-              propertyTypeNode,
-              /*body*/
-              void 0
-            );
-            setCommentRange(getAccessorSignature, getAccessorDecl);
-            typeElements.push(getAccessorSignature);
-          }
-          if (propertySymbol.flags & 65536 /* SetAccessor */) {
-            const setAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 178 /* SetAccessor */);
-            const parameterName = ((_b = setAccessorDecl == null ? void 0 : setAccessorDecl.parameters) == null ? void 0 : _b.length) > 0 ? setAccessorDecl.parameters[0].name : "arg";
-            const setAccessorSignature = factory.createSetAccessorDeclaration(
-              /*modifiers*/
-              void 0,
-              propertyName,
-              [factory.createParameterDeclaration(
-                /*modifiers*/
-                void 0,
-                /*dotDotDotToken*/
-                void 0,
-                parameterName,
-                /*questionToken*/
-                void 0,
-                propertyTypeNode
-              )],
-              /*body*/
-              void 0
-            );
-            setCommentRange(setAccessorSignature, setAccessorDecl);
-            typeElements.push(setAccessorSignature);
-          }
-        } else {
-          const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
-          if (modifiers) {
-            context.approximateLength += 9;
-          }
-          const propertySignature = factory.createPropertySignature(
-            modifiers,
-            propertyName,
-            optionalToken,
-            propertyTypeNode
-          );
-          typeElements.push(preserveCommentsOn(propertySignature));
+        const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
+        if (modifiers) {
+          context.approximateLength += 9;
         }
+        const propertySignature = factory.createPropertySignature(
+          modifiers,
+          propertyName,
+          optionalToken,
+          propertyTypeNode
+        );
+        typeElements.push(preserveCommentsOn(propertySignature));
         function preserveCommentsOn(node) {
           var _a2;
           if (some(propertySymbol.declarations, (d) => d.kind === 355 /* JSDocPropertyTag */)) {
@@ -68419,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;
         }
@@ -68498,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,
@@ -73076,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);
@@ -73119,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);
             }
@@ -73186,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);
             }
@@ -73201,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()));
           }
         }
       }
@@ -73523,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)));
@@ -73820,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);
@@ -75853,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;
@@ -75860,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();
@@ -50658,7 +50663,7 @@ ${lanes.join("\n")}
         return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */));
       }
       function addPropertyToElementList(propertySymbol, context, typeElements) {
-        var _a, _b;
+        var _a;
         const propertyIsReverseMapped = !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */);
         const propertyType = shouldUsePlaceholderForProperty(propertySymbol, context) ? anyType : getNonMissingTypeOfSymbol(propertySymbol);
         const saveEnclosingDeclaration = context.enclosingDeclaration;
@@ -50708,57 +50713,17 @@ ${lanes.join("\n")}
             context.reverseMappedStack.pop();
           }
         }
-        if (propertySymbol.flags & 98304 /* Accessor */) {
-          if (propertySymbol.flags & 32768 /* GetAccessor */) {
-            const getAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 177 /* GetAccessor */);
-            const getAccessorSignature = factory.createGetAccessorDeclaration(
-              /*modifiers*/
-              void 0,
-              propertyName,
-              [],
-              propertyTypeNode,
-              /*body*/
-              void 0
-            );
-            setCommentRange(getAccessorSignature, getAccessorDecl);
-            typeElements.push(getAccessorSignature);
-          }
-          if (propertySymbol.flags & 65536 /* SetAccessor */) {
-            const setAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 178 /* SetAccessor */);
-            const parameterName = ((_b = setAccessorDecl == null ? void 0 : setAccessorDecl.parameters) == null ? void 0 : _b.length) > 0 ? setAccessorDecl.parameters[0].name : "arg";
-            const setAccessorSignature = factory.createSetAccessorDeclaration(
-              /*modifiers*/
-              void 0,
-              propertyName,
-              [factory.createParameterDeclaration(
-                /*modifiers*/
-                void 0,
-                /*dotDotDotToken*/
-                void 0,
-                parameterName,
-                /*questionToken*/
-                void 0,
-                propertyTypeNode
-              )],
-              /*body*/
-              void 0
-            );
-            setCommentRange(setAccessorSignature, setAccessorDecl);
-            typeElements.push(setAccessorSignature);
-          }
-        } else {
-          const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
-          if (modifiers) {
-            context.approximateLength += 9;
-          }
-          const propertySignature = factory.createPropertySignature(
-            modifiers,
-            propertyName,
-            optionalToken,
-            propertyTypeNode
-          );
-          typeElements.push(preserveCommentsOn(propertySignature));
+        const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
+        if (modifiers) {
+          context.approximateLength += 9;
         }
+        const propertySignature = factory.createPropertySignature(
+          modifiers,
+          propertyName,
+          optionalToken,
+          propertyTypeNode
+        );
+        typeElements.push(preserveCommentsOn(propertySignature));
         function preserveCommentsOn(node) {
           var _a2;
           if (some(propertySymbol.declarations, (d) => d.kind === 355 /* JSDocPropertyTag */)) {
@@ -68419,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;
         }
@@ -68498,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,
@@ -73076,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);
@@ -73119,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);
             }
@@ -73186,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);
             }
@@ -73201,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()));
           }
         }
       }
@@ -73523,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)));
@@ -73820,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);
@@ -75853,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;
@@ -75860,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-54935-17",
+  "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": "97fed5392059d7b43492184c2a4b7fc2f5b764a8"
+  "gitHead": "4c0125c23185bb0cba8a8f4397a0748662da3d8c"
 }