typescript 5.3.0-dev.20230929 → 5.3.0-dev.20230930

package/lib/tsserver.js

@@ -1253,7 +1253,7 @@ __export(server_exports, {
   isClassDeclaration: () => isClassDeclaration,
   isClassElement: () => isClassElement,
   isClassExpression: () => isClassExpression,
-  isClassFieldAndNotAutoAccessor: () => isClassFieldAndNotAutoAccessor,
+  isClassInstanceProperty: () => isClassInstanceProperty,
   isClassLike: () => isClassLike,
   isClassMemberModifier: () => isClassMemberModifier,
   isClassNamedEvaluationHelperBlock: () => isClassNamedEvaluationHelperBlock,
@@ -1444,6 +1444,7 @@ __export(server_exports, {
   isInsideJsxElementOrAttribute: () => isInsideJsxElementOrAttribute,
   isInsideNodeModules: () => isInsideNodeModules,
   isInsideTemplateLiteral: () => isInsideTemplateLiteral,
+  isInstanceOfExpression: () => isInstanceOfExpression,
   isInstantiatedModule: () => isInstantiatedModule,
   isInterfaceDeclaration: () => isInterfaceDeclaration,
   isInternalDeclaration: () => isInternalDeclaration,
@@ -1701,6 +1702,7 @@ __export(server_exports, {
   isReturnStatement: () => isReturnStatement,
   isReturnStatementWithFixablePromiseHandler: () => isReturnStatementWithFixablePromiseHandler,
   isRightSideOfAccessExpression: () => isRightSideOfAccessExpression,
+  isRightSideOfInstanceofExpression: () => isRightSideOfInstanceofExpression,
   isRightSideOfPropertyAccess: () => isRightSideOfPropertyAccess,
   isRightSideOfQualifiedName: () => isRightSideOfQualifiedName,
   isRightSideOfQualifiedNameOrPropertyAccess: () => isRightSideOfQualifiedNameOrPropertyAccess,
@@ -2326,7 +2328,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-dev.20230929`;
+var version = `${versionMajorMinor}.0-dev.20230930`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -9728,7 +9730,7 @@ var Diagnostics = {
   An_arithmetic_operand_must_be_of_type_any_number_bigint_or_an_enum_type: diag(2356, 1 /* Error */, "An_arithmetic_operand_must_be_of_type_any_number_bigint_or_an_enum_type_2356", "An arithmetic operand must be of type 'any', 'number', 'bigint' or an enum type."),
   The_operand_of_an_increment_or_decrement_operator_must_be_a_variable_or_a_property_access: diag(2357, 1 /* Error */, "The_operand_of_an_increment_or_decrement_operator_must_be_a_variable_or_a_property_access_2357", "The operand of an increment or decrement operator must be a variable or a property access."),
   The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter: diag(2358, 1 /* Error */, "The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_paramete_2358", "The left-hand side of an 'instanceof' expression must be of type 'any', an object type or a type parameter."),
-  The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type: diag(2359, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_F_2359", "The right-hand side of an 'instanceof' expression must be of type 'any' or of a type assignable to the 'Function' interface type."),
+  The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_a_class_function_or_other_type_assignable_to_the_Function_interface_type_or_an_object_type_with_a_Symbol_hasInstance_method: diag(2359, 1 /* Error */, "The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_a_class_function_or_other_2359", "The right-hand side of an 'instanceof' expression must be either of type 'any', a class, function, or other type assignable to the 'Function' interface type, or an object type with a 'Symbol.hasInstance' method."),
   The_left_hand_side_of_an_arithmetic_operation_must_be_of_type_any_number_bigint_or_an_enum_type: diag(2362, 1 /* Error */, "The_left_hand_side_of_an_arithmetic_operation_must_be_of_type_any_number_bigint_or_an_enum_type_2362", "The left-hand side of an arithmetic operation must be of type 'any', 'number', 'bigint' or an enum type."),
   The_right_hand_side_of_an_arithmetic_operation_must_be_of_type_any_number_bigint_or_an_enum_type: diag(2363, 1 /* Error */, "The_right_hand_side_of_an_arithmetic_operation_must_be_of_type_any_number_bigint_or_an_enum_type_2363", "The right-hand side of an arithmetic operation must be of type 'any', 'number', 'bigint' or an enum type."),
   The_left_hand_side_of_an_assignment_expression_must_be_a_variable_or_a_property_access: diag(2364, 1 /* Error */, "The_left_hand_side_of_an_assignment_expression_must_be_a_variable_or_a_property_access_2364", "The left-hand side of an assignment expression must be a variable or a property access."),
@@ -10177,6 +10179,8 @@ var Diagnostics = {
   Import_attributes_cannot_be_used_with_type_only_imports_or_exports: diag(2857, 1 /* Error */, "Import_attributes_cannot_be_used_with_type_only_imports_or_exports_2857", "Import attributes cannot be used with type-only imports or exports."),
   Import_attribute_values_must_be_string_literal_expressions: diag(2858, 1 /* Error */, "Import_attribute_values_must_be_string_literal_expressions_2858", "Import attribute values must be string literal expressions."),
   Excessive_complexity_comparing_types_0_and_1: diag(2859, 1 /* Error */, "Excessive_complexity_comparing_types_0_and_1_2859", "Excessive complexity comparing types '{0}' and '{1}'."),
+  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(2860, 1 /* Error */, "The_left_hand_side_of_an_instanceof_expression_must_be_assignable_to_the_first_argument_of_the_right_2860", "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(2861, 1 /* Error */, "An_object_s_Symbol_hasInstance_method_must_return_a_boolean_value_for_it_to_be_used_on_the_right_han_2861", "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."),
   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}'."),
@@ -14482,7 +14486,14 @@ function isAccessor(node) {
 function isAutoAccessorPropertyDeclaration(node) {
   return isPropertyDeclaration(node) && hasAccessorModifier(node);
 }
-function isClassFieldAndNotAutoAccessor(node) {
+function isClassInstanceProperty(node) {
+  if (isInJSFile(node) && isExpandoPropertyDeclaration(node)) {
+    return (!isBindableStaticAccessExpression(node) || !isPrototypeAccess(node.expression)) && !isBindableStaticNameExpression(
+      node,
+      /*excludeThisKeyword*/
+      true
+    );
+  }
   return node.parent && isClassLike(node.parent) && isPropertyDeclaration(node) && !hasAccessorModifier(node);
 }
 function isMethodOrAccessor(node) {
@@ -16915,6 +16926,8 @@ function getInvokedExpression(node) {
     case 286 /* JsxOpeningElement */:
     case 285 /* JsxSelfClosingElement */:
       return node.tagName;
+    case 226 /* BinaryExpression */:
+      return node.right;
     default:
       return node.expression;
   }
@@ -19571,6 +19584,12 @@ function isRightSideOfAccessExpression(node) {
 function isRightSideOfQualifiedNameOrPropertyAccessOrJSDocMemberName(node) {
   return isQualifiedName(node.parent) && node.parent.right === node || isPropertyAccessExpression(node.parent) && node.parent.name === node || isJSDocMemberName(node.parent) && node.parent.right === node;
 }
+function isInstanceOfExpression(node) {
+  return isBinaryExpression(node) && node.operatorToken.kind === 104 /* InstanceOfKeyword */;
+}
+function isRightSideOfInstanceofExpression(node) {
+  return isInstanceOfExpression(node.parent) && node === node.parent.right;
+}
 function isEmptyObjectLiteral(expression) {
   return expression.kind === 210 /* ObjectLiteralExpression */ && expression.properties.length === 0;
 }
@@ -47779,9 +47798,8 @@ var CheckMode = /* @__PURE__ */ ((CheckMode3) => {
   CheckMode3[CheckMode3["SkipContextSensitive"] = 4] = "SkipContextSensitive";
   CheckMode3[CheckMode3["SkipGenericFunctions"] = 8] = "SkipGenericFunctions";
   CheckMode3[CheckMode3["IsForSignatureHelp"] = 16] = "IsForSignatureHelp";
-  CheckMode3[CheckMode3["IsForStringLiteralArgumentCompletions"] = 32] = "IsForStringLiteralArgumentCompletions";
-  CheckMode3[CheckMode3["RestBindingElement"] = 64] = "RestBindingElement";
-  CheckMode3[CheckMode3["TypeOnly"] = 128] = "TypeOnly";
+  CheckMode3[CheckMode3["RestBindingElement"] = 32] = "RestBindingElement";
+  CheckMode3[CheckMode3["TypeOnly"] = 64] = "TypeOnly";
   return CheckMode3;
 })(CheckMode || {});
 var SignatureCheckMode = /* @__PURE__ */ ((SignatureCheckMode3) => {
@@ -48268,7 +48286,7 @@ function createTypeChecker(host) {
       candidates,
       /*argumentCount*/
       void 0,
-      32 /* IsForStringLiteralArgumentCompletions */
+      0 /* Normal */
     ));
     for (const candidate of candidates) {
       candidatesSet.add(candidate);
@@ -56303,7 +56321,7 @@ function createTypeChecker(host) {
     return type.flags & (128 /* StringLiteral */ | 256 /* NumberLiteral */) ? "" + type.value : void 0;
   }
   function getTypeForBindingElement(declaration) {
-    const checkMode = declaration.dotDotDotToken ? 64 /* RestBindingElement */ : 0 /* Normal */;
+    const checkMode = declaration.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */;
     const parentType = getTypeForBindingElementParent(declaration.parent.parent, checkMode);
     return parentType && getBindingElementTypeFromParentType(
       declaration,
@@ -68470,7 +68488,7 @@ function createTypeChecker(host) {
       if (!couldContainTypeVariables(target)) {
         return;
       }
-      if (source === wildcardType) {
+      if (source === wildcardType || source === blockedStringType) {
         const savePropagationType = propagationType;
         propagationType = source;
         inferFromTypes(target, target);
@@ -68527,6 +68545,10 @@ function createTypeChecker(host) {
             return;
           }
           if (!inference.isFixed) {
+            const candidate = propagationType || source;
+            if (candidate === blockedStringType) {
+              return;
+            }
             if (inference.priority === void 0 || priority < inference.priority) {
               inference.candidates = void 0;
               inference.contraCandidates = void 0;
@@ -68534,7 +68556,6 @@ function createTypeChecker(host) {
               inference.priority = priority;
             }
             if (priority === inference.priority) {
-              const candidate = propagationType || source;
               if (contravariant && !bivariant) {
                 if (!contains(inference.contraCandidates, candidate)) {
                   inference.contraCandidates = append(inference.contraCandidates, candidate);
@@ -69106,7 +69127,7 @@ function createTypeChecker(host) {
       const constraint = getConstraintOfTypeParameter(inference.typeParameter);
       if (constraint) {
         const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
-        if (!inferredType || inferredType === blockedStringType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
+        if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
           inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
         }
       }
@@ -69957,7 +69978,10 @@ function createTypeChecker(host) {
     let signature = links.effectsSignature;
     if (signature === void 0) {
       let funcType;
-      if (node.parent.kind === 244 /* ExpressionStatement */) {
+      if (isBinaryExpression(node)) {
+        const rightType = checkNonNullExpression(node.right);
+        funcType = getSymbolHasInstanceMethodOfObjectType(rightType);
+      } else if (node.parent.kind === 244 /* ExpressionStatement */) {
         funcType = getTypeOfDottedName(
           node.expression,
           /*diagnostic*/
@@ -70981,7 +71005,22 @@ function createTypeChecker(host) {
         }
         return type;
       }
-      const rightType = getTypeOfExpression(expr.right);
+      const right = expr.right;
+      const rightType = getTypeOfExpression(right);
+      if (!isTypeDerivedFrom(rightType, globalObjectType)) {
+        return type;
+      }
+      const signature = getEffectsSignature(expr);
+      const predicate = signature && getTypePredicateOfSignature(signature);
+      if (predicate && predicate.kind === 1 /* Identifier */ && predicate.parameterIndex === 0) {
+        return getNarrowedType(
+          type,
+          predicate.type,
+          assumeTrue,
+          /*checkDerived*/
+          true
+        );
+      }
       if (!isTypeDerivedFrom(rightType, globalFunctionType)) {
         return type;
       }
@@ -71233,7 +71272,7 @@ function createTypeChecker(host) {
     return type.flags & 2097152 /* Intersection */ ? some(type.types, isGenericTypeWithoutNullableConstraint) : !!(type.flags & 465829888 /* Instantiable */ && !maybeTypeOfKind(getBaseConstraintOrType(type), 98304 /* Nullable */));
   }
   function hasContextualTypeWithNoGenericTypes(node, checkMode) {
-    const contextualType = (isIdentifier(node) || isPropertyAccessExpression(node) || isElementAccessExpression(node)) && !((isJsxOpeningElement(node.parent) || isJsxSelfClosingElement(node.parent)) && node.parent.tagName === node) && (checkMode && checkMode & 64 /* RestBindingElement */ ? getContextualType2(node, 8 /* SkipBindingPatterns */) : getContextualType2(
+    const contextualType = (isIdentifier(node) || isPropertyAccessExpression(node) || isElementAccessExpression(node)) && !((isJsxOpeningElement(node.parent) || isJsxSelfClosingElement(node.parent)) && node.parent.tagName === node) && (checkMode && checkMode & 32 /* RestBindingElement */ ? getContextualType2(node, 8 /* SkipBindingPatterns */) : getContextualType2(
       node,
       /*contextFlags*/
       void 0
@@ -71993,7 +72032,7 @@ function createTypeChecker(host) {
   function getContextualTypeForBindingElement(declaration, contextFlags) {
     const parent2 = declaration.parent.parent;
     const name = declaration.propertyName || declaration.name;
-    const parentType = getContextualTypeForVariableLikeDeclaration(parent2, contextFlags) || parent2.kind !== 208 /* BindingElement */ && parent2.initializer && checkDeclarationInitializer(parent2, declaration.dotDotDotToken ? 64 /* RestBindingElement */ : 0 /* Normal */);
+    const parentType = getContextualTypeForVariableLikeDeclaration(parent2, contextFlags) || parent2.kind !== 208 /* BindingElement */ && parent2.initializer && checkDeclarationInitializer(parent2, declaration.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */);
     if (!parentType || isBindingPattern(name) || isComputedNonLiteralName(name))
       return void 0;
     if (parent2.name.kind === 207 /* ArrayBindingPattern */) {
@@ -73976,7 +74015,7 @@ function createTypeChecker(host) {
         }
         return false;
       }
-      if (!(flags & 32 /* Static */) && ((_a = prop.declarations) == null ? void 0 : _a.some(isClassFieldAndNotAutoAccessor))) {
+      if (!(flags & 32 /* Static */) && ((_a = prop.declarations) == null ? void 0 : _a.some(isClassInstanceProperty))) {
         if (errorNode) {
           error2(errorNode, Diagnostics.Class_field_0_defined_by_the_parent_class_is_not_accessible_in_the_child_class_via_super, symbolToString(prop));
         }
@@ -74839,7 +74878,9 @@ function createTypeChecker(host) {
       checkExpression(node.template);
     } else if (isJsxOpeningLikeElement(node)) {
       checkExpression(node.attributes);
-    } else if (node.kind !== 170 /* Decorator */) {
+    } else if (isBinaryExpression(node)) {
+      checkExpression(node.left);
+    } else if (isCallOrNewExpression(node)) {
       forEach(node.arguments, (argument) => {
         checkExpression(argument);
       });
@@ -74912,6 +74953,8 @@ function createTypeChecker(host) {
       }
     } else if (node.kind === 170 /* Decorator */) {
       argCount = getDecoratorArgumentCount(node, signature);
+    } else if (node.kind === 226 /* BinaryExpression */) {
+      argCount = 1;
     } else if (isJsxOpeningLikeElement(node)) {
       callIsIncomplete = node.attributes.end === node.end;
       if (callIsIncomplete) {
@@ -75011,13 +75054,13 @@ function createTypeChecker(host) {
       return voidType;
     }
     const thisArgumentType = checkExpression(thisArgumentNode);
-    return isOptionalChainRoot(thisArgumentNode.parent) ? getNonNullableType(thisArgumentType) : isOptionalChain(thisArgumentNode.parent) ? removeOptionalTypeMarker(thisArgumentType) : thisArgumentType;
+    return isRightSideOfInstanceofExpression(thisArgumentNode) ? thisArgumentType : isOptionalChainRoot(thisArgumentNode.parent) ? getNonNullableType(thisArgumentType) : isOptionalChain(thisArgumentNode.parent) ? removeOptionalTypeMarker(thisArgumentType) : thisArgumentType;
   }
   function inferTypeArguments(node, signature, args, checkMode, context) {
     if (isJsxOpeningLikeElement(node)) {
       return inferJsxTypeArguments(node, signature, checkMode, context);
     }
-    if (node.kind !== 170 /* Decorator */) {
+    if (node.kind !== 170 /* Decorator */ && node.kind !== 226 /* BinaryExpression */) {
       const skipBindingPatterns = every(signature.typeParameters, (p) => !!getDefaultFromTypeParameter(p));
       const contextualType = getContextualType2(node, skipBindingPatterns ? 8 /* SkipBindingPatterns */ : 0 /* None */);
       if (contextualType) {
@@ -75054,7 +75097,7 @@ function createTypeChecker(host) {
     }
     for (let i = 0; i < argCount; i++) {
       const arg = args[i];
-      if (arg.kind !== 232 /* OmittedExpression */ && !(checkMode & 32 /* IsForStringLiteralArgumentCompletions */ && hasSkipDirectInferenceFlag(arg))) {
+      if (arg.kind !== 232 /* OmittedExpression */) {
         const paramType = getTypeAtPosition(signature, i);
         if (couldContainTypeVariables(paramType)) {
           const argType = checkExpressionWithContextualType(arg, paramType, context, checkMode);
@@ -75346,6 +75389,9 @@ function createTypeChecker(host) {
     }
   }
   function getThisArgumentOfCall(node) {
+    if (node.kind === 226 /* BinaryExpression */) {
+      return node.right;
+    }
     const expression = node.kind === 213 /* CallExpression */ ? node.expression : node.kind === 215 /* TaggedTemplateExpression */ ? node.tag : node.kind === 170 /* Decorator */ && !legacyDecorators ? node.expression : void 0;
     if (expression) {
       const callee = skipOuterExpressions(expression);
@@ -75374,6 +75420,9 @@ function createTypeChecker(host) {
     if (node.kind === 170 /* Decorator */) {
       return getEffectiveDecoratorArguments(node);
     }
+    if (node.kind === 226 /* BinaryExpression */) {
+      return [node.left];
+    }
     if (isJsxOpeningLikeElement(node)) {
       return node.attributes.properties.length > 0 || isJsxOpeningElement(node) && node.parent.children.length > 0 ? [node.attributes] : emptyArray;
     }
@@ -75643,9 +75692,10 @@ function createTypeChecker(host) {
     const isTaggedTemplate = node.kind === 215 /* TaggedTemplateExpression */;
     const isDecorator2 = node.kind === 170 /* Decorator */;
     const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
+    const isInstanceof = node.kind === 226 /* BinaryExpression */;
     const reportErrors2 = !isInferencePartiallyBlocked && !candidatesOutArray;
     let typeArguments;
-    if (!isDecorator2 && !isSuperCall(node)) {
+    if (!isDecorator2 && !isInstanceof && !isSuperCall(node)) {
       typeArguments = node.typeArguments;
       if (isTaggedTemplate || isJsxOpeningOrSelfClosingElement || node.expression.kind !== 108 /* SuperKeyword */) {
         forEach(typeArguments, checkSourceElement);
@@ -75657,7 +75707,6 @@ function createTypeChecker(host) {
     const args = getEffectiveCallArguments(node);
     const isSingleNonGenericCandidate = candidates.length === 1 && !candidates[0].typeParameters;
     let argCheckMode = !isDecorator2 && !isSingleNonGenericCandidate && some(args, isContextSensitive) ? 4 /* SkipContextSensitive */ : 0 /* Normal */;
-    argCheckMode |= checkMode & 32 /* IsForStringLiteralArgumentCompletions */;
     let candidatesForArgumentError;
     let candidateForArgumentArityError;
     let candidateForTypeArgumentError;
@@ -75675,6 +75724,9 @@ function createTypeChecker(host) {
     result = getCandidateForOverloadFailure(node, candidates, args, !!candidatesOutArray, checkMode);
     getNodeLinks(node).resolvedSignature = result;
     if (reportErrors2) {
+      if (!headMessage && isInstanceof) {
+        headMessage = 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;
+      }
       if (candidatesForArgumentError) {
         if (candidatesForArgumentError.length === 1 || candidatesForArgumentError.length > 3) {
           const last2 = candidatesForArgumentError[candidatesForArgumentError.length - 1];
@@ -76461,6 +76513,30 @@ function createTypeChecker(host) {
     }
     return resolveCall(node, signatures, candidatesOutArray, checkMode, 0 /* None */);
   }
+  function resolveInstanceofExpression(node, candidatesOutArray, checkMode) {
+    const rightType = checkExpression(node.right);
+    if (!isTypeAny(rightType)) {
+      const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(rightType);
+      if (hasInstanceMethodType) {
+        const apparentType = getApparentType(hasInstanceMethodType);
+        if (isErrorType(apparentType)) {
+          return resolveErrorCall(node);
+        }
+        const callSignatures = getSignaturesOfType(apparentType, 0 /* Call */);
+        const constructSignatures = getSignaturesOfType(apparentType, 1 /* Construct */);
+        if (isUntypedFunctionCall(hasInstanceMethodType, apparentType, callSignatures.length, constructSignatures.length)) {
+          return resolveUntypedCall(node);
+        }
+        if (callSignatures.length) {
+          return resolveCall(node, callSignatures, candidatesOutArray, checkMode, 0 /* None */);
+        }
+      } else if (!(typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
+        error2(node.right, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_either_of_type_any_a_class_function_or_other_type_assignable_to_the_Function_interface_type_or_an_object_type_with_a_Symbol_hasInstance_method);
+        return resolveErrorCall(node);
+      }
+    }
+    return anySignature;
+  }
   function isPotentiallyUncalledDecorator(decorator, signatures) {
     return signatures.length && every(signatures, (signature) => signature.minArgumentCount === 0 && !signatureHasRestParameter(signature) && signature.parameters.length < getDecoratorArgumentCount(decorator, signature));
   }
@@ -76477,6 +76553,8 @@ function createTypeChecker(host) {
       case 286 /* JsxOpeningElement */:
       case 285 /* JsxSelfClosingElement */:
         return resolveJsxOpeningLikeElement(node, candidatesOutArray, checkMode);
+      case 226 /* BinaryExpression */:
+        return resolveInstanceofExpression(node, candidatesOutArray, checkMode);
     }
     Debug.assertNever(node, "Branch in 'resolveSignature' should be unreachable.");
   }
@@ -78435,16 +78513,35 @@ function createTypeChecker(host) {
   function isConstEnumSymbol(symbol) {
     return (symbol.flags & 128 /* ConstEnum */) !== 0;
   }
-  function checkInstanceOfExpression(left, right, leftType, rightType) {
+  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 checkInstanceOfExpression(left, right, leftType, rightType, checkMode) {
     if (leftType === silentNeverType || rightType === silentNeverType) {
       return silentNeverType;
     }
     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);
+    Debug.assert(isInstanceOfExpression(left.parent));
+    const signature = getResolvedSignature(
+      left.parent,
+      /*candidatesOutArray*/
+      void 0,
+      checkMode
+    );
+    if (signature === resolvingSignature) {
+      return silentNeverType;
     }
+    const returnType = getReturnTypeOfSignature(signature);
+    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);
     return booleanType;
   }
   function hasEmptyObjectIntersection(type) {
@@ -78982,7 +79079,7 @@ function createTypeChecker(host) {
       case 36 /* ExclamationEqualsToken */:
       case 37 /* EqualsEqualsEqualsToken */:
       case 38 /* ExclamationEqualsEqualsToken */:
-        if (!(checkMode && checkMode & 128 /* TypeOnly */)) {
+        if (!(checkMode && checkMode & 64 /* TypeOnly */)) {
           if ((isLiteralExpressionOfObject(left) || isLiteralExpressionOfObject(right)) && // only report for === and !== in JS, not == or !=
           (!isInJSFile(left) || (operator === 37 /* EqualsEqualsEqualsToken */ || operator === 38 /* ExclamationEqualsEqualsToken */))) {
             const eqType = operator === 35 /* EqualsEqualsToken */ || operator === 37 /* EqualsEqualsEqualsToken */;
@@ -78993,7 +79090,7 @@ function createTypeChecker(host) {
         }
         return booleanType;
       case 104 /* InstanceOfKeyword */:
-        return checkInstanceOfExpression(left, right, leftType, rightType);
+        return checkInstanceOfExpression(left, right, leftType, rightType, checkMode);
       case 103 /* InKeyword */:
         return checkInExpression(left, right, leftType, rightType);
       case 56 /* AmpersandAmpersandToken */:
@@ -79630,7 +79727,7 @@ function createTypeChecker(host) {
       }
     }
     const startInvocationCount = flowInvocationCount;
-    const type = checkExpression(node, 128 /* TypeOnly */);
+    const type = checkExpression(node, 64 /* TypeOnly */);
     if (flowInvocationCount !== startInvocationCount) {
       const cache = flowTypeCache || (flowTypeCache = []);
       cache[getNodeId(node)] = type;
@@ -82096,7 +82193,7 @@ function createTypeChecker(host) {
         checkComputedPropertyName(node.propertyName);
       }
       const parent2 = node.parent.parent;
-      const parentCheckMode = node.dotDotDotToken ? 64 /* RestBindingElement */ : 0 /* Normal */;
+      const parentCheckMode = node.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */;
       const parentType = getTypeForBindingElementParent(parent2, parentCheckMode);
       const name = node.propertyName || node.name;
       if (parentType && !isBindingPattern(name)) {
@@ -84313,7 +84410,7 @@ function createTypeChecker(host) {
             }
             if (isConstantVariable(symbol)) {
               const declaration = symbol.valueDeclaration;
-              if (declaration && !declaration.type && declaration.initializer && (!location || declaration !== location && isBlockScopedNameDeclaredBeforeUse(declaration, location))) {
+              if (declaration && isVariableDeclaration(declaration) && !declaration.type && declaration.initializer && (!location || declaration !== location && isBlockScopedNameDeclaredBeforeUse(declaration, location))) {
                 return evaluate(declaration.initializer, declaration);
               }
             }
@@ -85405,6 +85502,12 @@ function createTypeChecker(host) {
       case 234 /* AsExpression */:
       case 217 /* ParenthesizedExpression */:
         checkAssertionDeferred(node);
+        break;
+      case 226 /* BinaryExpression */:
+        if (isInstanceOfExpression(node)) {
+          resolveUntypedCall(node);
+        }
+        break;
     }
     currentNode = saveCurrentNode;
     (_b = tracing) == null ? void 0 : _b.pop();
@@ -86021,6 +86124,13 @@ function createTypeChecker(host) {
       case 102 /* ImportKeyword */:
       case 105 /* NewKeyword */:
         return isMetaProperty(node.parent) ? checkMetaPropertyKeyword(node.parent).symbol : void 0;
+      case 104 /* InstanceOfKeyword */:
+        if (isBinaryExpression(node.parent)) {
+          const type = getTypeOfExpression(node.parent.right);
+          const hasInstanceMethodType = getSymbolHasInstanceMethodOfObjectType(type);
+          return (hasInstanceMethodType == null ? void 0 : hasInstanceMethodType.symbol) ?? type.symbol;
+        }
+        return void 0;
       case 236 /* MetaProperty */:
         return checkExpression(node).symbol;
       case 295 /* JsxNamespacedName */:
@@ -164277,14 +164387,14 @@ function provideInlayHints(context) {
     if (isModuleReferenceType(declarationType)) {
       return;
     }
-    const hints = typeToInlayHintParts(declarationType);
-    if (hints) {
-      const hintText = typeof hints === "string" ? hints : hints.map((part) => part.text).join("");
+    const hintParts = typeToInlayHintParts(declarationType);
+    if (hintParts) {
+      const hintText = typeof hintParts === "string" ? hintParts : hintParts.map((part) => part.text).join("");
       const isVariableNameMatchesType = preferences.includeInlayVariableTypeHintsWhenTypeMatchesName === false && equateStringsCaseInsensitive(decl.name.getText(), hintText);
       if (isVariableNameMatchesType) {
         return;
       }
-      addTypeHints(hints, decl.name.end);
+      addTypeHints(hintParts, decl.name.end);
     }
   }
   function visitCallOrNewExpression(expr) {
@@ -164392,9 +164502,9 @@ function provideInlayHints(context) {
     if (isModuleReferenceType(returnType)) {
       return;
     }
-    const hint = typeToInlayHintParts(returnType);
-    if (hint) {
-      addTypeHints(hint, getTypeAnnotationPosition(decl));
+    const hintParts = typeToInlayHintParts(returnType);
+    if (hintParts) {
+      addTypeHints(hintParts, getTypeAnnotationPosition(decl));
     }
   }
   function getTypeAnnotationPosition(decl) {
@@ -164418,14 +164528,14 @@ function provideInlayHints(context) {
       if (effectiveTypeAnnotation) {
         continue;
       }
-      const typeDisplayString = getParameterDeclarationTypeDisplayString(signature.parameters[i]);
-      if (!typeDisplayString) {
+      const typeHints = getParameterDeclarationTypeHints(signature.parameters[i]);
+      if (!typeHints) {
         continue;
       }
-      addTypeHints(typeDisplayString, param.questionToken ? param.questionToken.end : param.name.end);
+      addTypeHints(typeHints, param.questionToken ? param.questionToken.end : param.name.end);
     }
   }
-  function getParameterDeclarationTypeDisplayString(symbol) {
+  function getParameterDeclarationTypeHints(symbol) {
     const valueDeclaration = symbol.valueDeclaration;
     if (!valueDeclaration || !isParameter(valueDeclaration)) {
       return void 0;
@@ -164434,7 +164544,7 @@ function provideInlayHints(context) {
     if (isModuleReferenceType(signatureParamType)) {
       return void 0;
     }
-    return printTypeInSingleLine(signatureParamType);
+    return typeToInlayHintParts(signatureParamType);
   }
   function printTypeInSingleLine(type) {
     const flags = 70221824 /* IgnoreErrors */ | 1048576 /* AllowUniqueESSymbolType */ | 16384 /* UseAliasDefinedOutsideCurrentScope */;
@@ -173018,7 +173128,7 @@ __export(ts_exports2, {
   isClassDeclaration: () => isClassDeclaration,
   isClassElement: () => isClassElement,
   isClassExpression: () => isClassExpression,
-  isClassFieldAndNotAutoAccessor: () => isClassFieldAndNotAutoAccessor,
+  isClassInstanceProperty: () => isClassInstanceProperty,
   isClassLike: () => isClassLike,
   isClassMemberModifier: () => isClassMemberModifier,
   isClassNamedEvaluationHelperBlock: () => isClassNamedEvaluationHelperBlock,
@@ -173209,6 +173319,7 @@ __export(ts_exports2, {
   isInsideJsxElementOrAttribute: () => isInsideJsxElementOrAttribute,
   isInsideNodeModules: () => isInsideNodeModules,
   isInsideTemplateLiteral: () => isInsideTemplateLiteral,
+  isInstanceOfExpression: () => isInstanceOfExpression,
   isInstantiatedModule: () => isInstantiatedModule,
   isInterfaceDeclaration: () => isInterfaceDeclaration,
   isInternalDeclaration: () => isInternalDeclaration,
@@ -173466,6 +173577,7 @@ __export(ts_exports2, {
   isReturnStatement: () => isReturnStatement,
   isReturnStatementWithFixablePromiseHandler: () => isReturnStatementWithFixablePromiseHandler,
   isRightSideOfAccessExpression: () => isRightSideOfAccessExpression,
+  isRightSideOfInstanceofExpression: () => isRightSideOfInstanceofExpression,
   isRightSideOfPropertyAccess: () => isRightSideOfPropertyAccess,
   isRightSideOfQualifiedName: () => isRightSideOfQualifiedName,
   isRightSideOfQualifiedNameOrPropertyAccess: () => isRightSideOfQualifiedNameOrPropertyAccess,
@@ -187695,7 +187807,7 @@ start(initializeNodeSystem(), require("os").platform());
   isClassDeclaration,
   isClassElement,
   isClassExpression,
-  isClassFieldAndNotAutoAccessor,
+  isClassInstanceProperty,
   isClassLike,
   isClassMemberModifier,
   isClassNamedEvaluationHelperBlock,
@@ -187886,6 +187998,7 @@ start(initializeNodeSystem(), require("os").platform());
   isInsideJsxElementOrAttribute,
   isInsideNodeModules,
   isInsideTemplateLiteral,
+  isInstanceOfExpression,
   isInstantiatedModule,
   isInterfaceDeclaration,
   isInternalDeclaration,
@@ -188143,6 +188256,7 @@ start(initializeNodeSystem(), require("os").platform());
   isReturnStatement,
   isReturnStatementWithFixablePromiseHandler,
   isRightSideOfAccessExpression,
+  isRightSideOfInstanceofExpression,
   isRightSideOfPropertyAccess,
   isRightSideOfQualifiedName,
   isRightSideOfQualifiedNameOrPropertyAccess,

package/lib/typescript.d.ts

@@ -5646,7 +5646,10 @@ declare namespace ts {
         readonly typeArguments?: NodeArray<TypeNode>;
         readonly template: TemplateLiteral;
     }
-    type CallLikeExpression = CallExpression | NewExpression | TaggedTemplateExpression | Decorator | JsxOpeningLikeElement;
+    interface InstanceofExpression extends BinaryExpression {
+        readonly operatorToken: Token<SyntaxKind.InstanceOfKeyword>;
+    }
+    type CallLikeExpression = CallExpression | NewExpression | TaggedTemplateExpression | Decorator | JsxOpeningLikeElement | InstanceofExpression;
     interface AsExpression extends Expression {
         readonly kind: SyntaxKind.AsExpression;
         readonly expression: Expression;