From 636869390fde55f4092bb84b92bcd9e8a0c9ddde Mon Sep 17 00:00:00 2001
From: Alex Waygood <alex.waygood@gmail.com>
Date: Sun, 27 Apr 2025 17:45:57 +0100
Subject: [PATCH] wip

---
 crates/red_knot_vendored/vendor/typeshed/stdlib/builtins.pyi | 5 +++--
 crates/red_knot_vendored/vendor/typeshed/stdlib/types.pyi    | 5 ++++-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/crates/red_knot_vendored/vendor/typeshed/stdlib/builtins.pyi b/crates/red_knot_vendored/vendor/typeshed/stdlib/builtins.pyi
index 9e7a493b53..e9c461fcd7 100644
--- a/crates/red_knot_vendored/vendor/typeshed/stdlib/builtins.pyi
+++ b/crates/red_knot_vendored/vendor/typeshed/stdlib/builtins.pyi
@@ -1,4 +1,4 @@
-from typing import Self, Callable, Any, Iterator
+from typing import Self, Callable, Any, Iterator, Sequence, SupportsIndex
 
 class range:
     def __iter__(self) -> Iterator[int]: ...
@@ -17,7 +17,8 @@ class int:
     def __pow__(self, other: int, /) -> int: ...
 
 class bool(int): ...
-class str: ...
+class str(Sequence[str]):
+    def count(self, sub: str, start: SupportsIndex | None = ..., end: SupportsIndex | None = ..., /) -> int: ...
 
 class tuple:
     def __len__(self) -> int: ...
diff --git a/crates/red_knot_vendored/vendor/typeshed/stdlib/types.pyi b/crates/red_knot_vendored/vendor/typeshed/stdlib/types.pyi
index cab5ac2307..366b6b4846 100644
--- a/crates/red_knot_vendored/vendor/typeshed/stdlib/types.pyi
+++ b/crates/red_knot_vendored/vendor/typeshed/stdlib/types.pyi
@@ -1 +1,4 @@
-class ModuleType: ...
+class ModuleType:
+    __doc__: str | None
+
+class NoneType: ...