wip

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: ...

crates/red_knot_vendored/vendor/typeshed/stdlib/types.pyi

@@ -1 +1,4 @@
-class ModuleType: ...
+class ModuleType:
+    __doc__: str | None
+
+class NoneType: ...