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

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.3";
-      version = `${versionMajorMinor}.0-dev.20230929`;
+      version = `${versionMajorMinor}.0-dev.20230930`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -7512,7 +7512,7 @@ ${lanes.join("\n")}
         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."),
@@ -7961,6 +7961,8 @@ ${lanes.join("\n")}
         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}'."),
@@ -12273,7 +12275,14 @@ ${lanes.join("\n")}
   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) {
@@ -14300,6 +14309,8 @@ ${lanes.join("\n")}
       case 286 /* JsxOpeningElement */:
       case 285 /* JsxSelfClosingElement */:
         return node.tagName;
+      case 226 /* BinaryExpression */:
+        return node.right;
       default:
         return node.expression;
     }
@@ -16877,6 +16888,12 @@ ${lanes.join("\n")}
   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;
   }
@@ -46036,7 +46053,7 @@ ${lanes.join("\n")}
         candidates,
         /*argumentCount*/
         void 0,
-        32 /* IsForStringLiteralArgumentCompletions */
+        0 /* Normal */
       ));
       for (const candidate of candidates) {
         candidatesSet.add(candidate);
@@ -54071,7 +54088,7 @@ ${lanes.join("\n")}
       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,
@@ -66238,7 +66255,7 @@ ${lanes.join("\n")}
         if (!couldContainTypeVariables(target)) {
           return;
         }
-        if (source === wildcardType) {
+        if (source === wildcardType || source === blockedStringType) {
           const savePropagationType = propagationType;
           propagationType = source;
           inferFromTypes(target, target);
@@ -66295,6 +66312,10 @@ ${lanes.join("\n")}
               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;
@@ -66302,7 +66323,6 @@ ${lanes.join("\n")}
                 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);
@@ -66874,7 +66894,7 @@ ${lanes.join("\n")}
         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;
           }
         }
@@ -67725,7 +67745,10 @@ ${lanes.join("\n")}
       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*/
@@ -68749,7 +68772,22 @@ ${lanes.join("\n")}
           }
           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;
         }
@@ -69001,7 +69039,7 @@ ${lanes.join("\n")}
       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
@@ -69761,7 +69799,7 @@ ${lanes.join("\n")}
     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 */) {
@@ -71744,7 +71782,7 @@ ${lanes.join("\n")}
           }
           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));
           }
@@ -72607,7 +72645,9 @@ ${lanes.join("\n")}
         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);
         });
@@ -72680,6 +72720,8 @@ ${lanes.join("\n")}
         }
       } 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) {
@@ -72779,13 +72821,13 @@ ${lanes.join("\n")}
         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) {
@@ -72822,7 +72864,7 @@ ${lanes.join("\n")}
       }
       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);
@@ -73114,6 +73156,9 @@ ${lanes.join("\n")}
       }
     }
     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);
@@ -73142,6 +73187,9 @@ ${lanes.join("\n")}
       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;
       }
@@ -73411,9 +73459,10 @@ ${lanes.join("\n")}
       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);
@@ -73425,7 +73474,6 @@ ${lanes.join("\n")}
       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;
@@ -73443,6 +73491,9 @@ ${lanes.join("\n")}
       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];
@@ -74229,6 +74280,30 @@ ${lanes.join("\n")}
       }
       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));
     }
@@ -74245,6 +74320,8 @@ ${lanes.join("\n")}
         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.");
     }
@@ -76203,16 +76280,35 @@ ${lanes.join("\n")}
     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) {
@@ -76750,7 +76846,7 @@ ${lanes.join("\n")}
         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 */;
@@ -76761,7 +76857,7 @@ ${lanes.join("\n")}
           }
           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 */:
@@ -77398,7 +77494,7 @@ ${lanes.join("\n")}
         }
       }
       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;
@@ -79864,7 +79960,7 @@ ${lanes.join("\n")}
           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)) {
@@ -82081,7 +82177,7 @@ ${lanes.join("\n")}
               }
               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);
                 }
               }
@@ -83173,6 +83269,12 @@ ${lanes.join("\n")}
         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();
@@ -83789,6 +83891,13 @@ ${lanes.join("\n")}
         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 */:
@@ -86686,9 +86795,8 @@ ${lanes.join("\n")}
         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 || {});
       SignatureCheckMode = /* @__PURE__ */ ((SignatureCheckMode3) => {
@@ -163624,14 +163732,14 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       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) {
@@ -163739,9 +163847,9 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       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) {
@@ -163765,14 +163873,14 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         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;
@@ -163781,7 +163889,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       if (isModuleReferenceType(signatureParamType)) {
         return void 0;
       }
-      return printTypeInSingleLine(signatureParamType);
+      return typeToInlayHintParts(signatureParamType);
     }
     function printTypeInSingleLine(type) {
       const flags = 70221824 /* IgnoreErrors */ | 1048576 /* AllowUniqueESSymbolType */ | 16384 /* UseAliasDefinedOutsideCurrentScope */;
@@ -184313,7 +184421,7 @@ ${e.message}`;
     isClassDeclaration: () => isClassDeclaration,
     isClassElement: () => isClassElement,
     isClassExpression: () => isClassExpression,
-    isClassFieldAndNotAutoAccessor: () => isClassFieldAndNotAutoAccessor,
+    isClassInstanceProperty: () => isClassInstanceProperty,
     isClassLike: () => isClassLike,
     isClassMemberModifier: () => isClassMemberModifier,
     isClassNamedEvaluationHelperBlock: () => isClassNamedEvaluationHelperBlock,
@@ -184504,6 +184612,7 @@ ${e.message}`;
     isInsideJsxElementOrAttribute: () => isInsideJsxElementOrAttribute,
     isInsideNodeModules: () => isInsideNodeModules,
     isInsideTemplateLiteral: () => isInsideTemplateLiteral,
+    isInstanceOfExpression: () => isInstanceOfExpression,
     isInstantiatedModule: () => isInstantiatedModule,
     isInterfaceDeclaration: () => isInterfaceDeclaration,
     isInternalDeclaration: () => isInternalDeclaration,
@@ -184761,6 +184870,7 @@ ${e.message}`;
     isReturnStatement: () => isReturnStatement,
     isReturnStatementWithFixablePromiseHandler: () => isReturnStatementWithFixablePromiseHandler,
     isRightSideOfAccessExpression: () => isRightSideOfAccessExpression,
+    isRightSideOfInstanceofExpression: () => isRightSideOfInstanceofExpression,
     isRightSideOfPropertyAccess: () => isRightSideOfPropertyAccess,
     isRightSideOfQualifiedName: () => isRightSideOfQualifiedName,
     isRightSideOfQualifiedNameOrPropertyAccess: () => isRightSideOfQualifiedNameOrPropertyAccess,
@@ -186718,7 +186828,7 @@ ${e.message}`;
     isClassDeclaration: () => isClassDeclaration,
     isClassElement: () => isClassElement,
     isClassExpression: () => isClassExpression,
-    isClassFieldAndNotAutoAccessor: () => isClassFieldAndNotAutoAccessor,
+    isClassInstanceProperty: () => isClassInstanceProperty,
     isClassLike: () => isClassLike,
     isClassMemberModifier: () => isClassMemberModifier,
     isClassNamedEvaluationHelperBlock: () => isClassNamedEvaluationHelperBlock,
@@ -186909,6 +187019,7 @@ ${e.message}`;
     isInsideJsxElementOrAttribute: () => isInsideJsxElementOrAttribute,
     isInsideNodeModules: () => isInsideNodeModules,
     isInsideTemplateLiteral: () => isInsideTemplateLiteral,
+    isInstanceOfExpression: () => isInstanceOfExpression,
     isInstantiatedModule: () => isInstantiatedModule,
     isInterfaceDeclaration: () => isInterfaceDeclaration,
     isInternalDeclaration: () => isInternalDeclaration,
@@ -187166,6 +187277,7 @@ ${e.message}`;
     isReturnStatement: () => isReturnStatement,
     isReturnStatementWithFixablePromiseHandler: () => isReturnStatementWithFixablePromiseHandler,
     isRightSideOfAccessExpression: () => isRightSideOfAccessExpression,
+    isRightSideOfInstanceofExpression: () => isRightSideOfInstanceofExpression,
     isRightSideOfPropertyAccess: () => isRightSideOfPropertyAccess,
     isRightSideOfQualifiedName: () => isRightSideOfQualifiedName,
     isRightSideOfQualifiedNameOrPropertyAccess: () => isRightSideOfQualifiedNameOrPropertyAccess,

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-dev.20230929`;
+var version = `${versionMajorMinor}.0-dev.20230930`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -5579,7 +5579,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."),
@@ -6028,6 +6028,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}'."),
@@ -29182,9 +29184,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) => {

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.3.0-dev.20230929",
+    "version": "5.3.0-dev.20230930",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -113,5 +113,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "b0db525798fda109c1c05ef530cb8949ab544677"
+    "gitHead": "695226ea5ac64195e4ab0180cd38f06010157ec0"
 }