[ty] Sync vendored typeshed stubs (#19334)

Co-authored-by: typeshedbot <>
Co-authored-by: Alex Waygood <alex.waygood@gmail.com>

Author: github-actions[bot]

crates/ty_ide/src/goto.rs

@@ -423,15 +423,15 @@ mod tests {
 
         assert_snapshot!(test.goto_type_definition(), @r#"
         info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
-            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
-            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
-            |
+            --> stdlib/builtins.pyi:1120:7
+             |
+        1118 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        1119 |
+        1120 | class str(Sequence[str]):
+             |       ^^^
+        1121 |     """
+        1122 |     str(object='') -> str
+             |
         info: Source
          --> main.py:4:13
           |
@@ -452,15 +452,15 @@ mod tests {
 
         assert_snapshot!(test.goto_type_definition(), @r#"
         info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
-            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
-            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
-            |
+            --> stdlib/builtins.pyi:1120:7
+             |
+        1118 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        1119 |
+        1120 | class str(Sequence[str]):
+             |       ^^^
+        1121 |     """
+        1122 |     str(object='') -> str
+             |
         info: Source
          --> main.py:2:22
           |
@@ -568,15 +568,15 @@ mod tests {
 
         assert_snapshot!(test.goto_type_definition(), @r#"
         info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
-            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
-            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
-            |
+            --> stdlib/builtins.pyi:1120:7
+             |
+        1118 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        1119 |
+        1120 | class str(Sequence[str]):
+             |       ^^^
+        1121 |     """
+        1122 |     str(object='') -> str
+             |
         info: Source
          --> main.py:4:18
           |
@@ -601,16 +601,16 @@ mod tests {
         // TODO: This should jump to `str` and not `int` because
         //   the keyword is typed as a string. It's only the passed argument that
         //   is an int. Navigating to `str` would match pyright's behavior.
-        assert_snapshot!(test.goto_type_definition(), @r"
+        assert_snapshot!(test.goto_type_definition(), @r#"
         info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:244:7
+           --> stdlib/builtins.pyi:365:7
             |
-        242 | _LiteralInteger = _PositiveInteger | _NegativeInteger | Literal[0]  # noqa: Y026  # TODO: Use TypeAlias once mypy bugs are fixed
-        243 |
-        244 | class int:
+        363 | _LiteralInteger = _PositiveInteger | _NegativeInteger | Literal[0]  # noqa: Y026  # TODO: Use TypeAlias once mypy bugs are fixed
+        364 |
+        365 | class int:
             |       ^^^
-        245 |     @overload
-        246 |     def __new__(cls, x: ConvertibleToInt = ..., /) -> Self: ...
+        366 |     """
+        367 |     int([x]) -> integer
             |
         info: Source
          --> main.py:4:18
@@ -620,7 +620,7 @@ mod tests {
         4 |             test(a= 123)
           |                  ^
           |
-        ");
+        "#);
     }
 
     #[test]
@@ -637,14 +637,14 @@ f(**kwargs<CURSOR>)
 
         assert_snapshot!(test.goto_type_definition(), @r#"
         info[goto-type-definition]: Type definition
-            --> stdlib/builtins.pyi:1136:7
+            --> stdlib/builtins.pyi:3458:7
              |
-        1134 |     def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
-        1135 |
-        1136 | class dict(MutableMapping[_KT, _VT]):
+        3456 |         """
+        3457 |
+        3458 | class dict(MutableMapping[_KT, _VT]):
              |       ^^^^
-        1137 |     # __init__ should be kept roughly in line with `collections.UserDict.__init__`, which has similar semantics
-        1138 |     # Also multiprocessing.managers.SyncManager.dict()
+        3459 |     """
+        3460 |     dict() -> new empty dictionary
              |
         info: Source
          --> main.py:6:5
@@ -666,25 +666,25 @@ f(**kwargs<CURSOR>)
             "#,
         );
 
-        assert_snapshot!(test.goto_type_definition(), @r"
+        assert_snapshot!(test.goto_type_definition(), @r#"
         info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
-            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
-            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
-            |
+            --> stdlib/builtins.pyi:1120:7
+             |
+        1118 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        1119 |
+        1120 | class str(Sequence[str]):
+             |       ^^^
+        1121 |     """
+        1122 |     str(object='') -> str
+             |
         info: Source
          --> main.py:3:17
           |
         2 |             def foo(a: str):
         3 |                 a
           |                 ^
           |
-        ");
+        "#);
     }
 
     #[test]
@@ -759,17 +759,17 @@ f(**kwargs<CURSOR>)
             "#,
         );
 
-        assert_snapshot!(test.goto_type_definition(), @r"
+        assert_snapshot!(test.goto_type_definition(), @r#"
         info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
-            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
-            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
-            |
+            --> stdlib/builtins.pyi:1120:7
+             |
+        1118 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        1119 |
+        1120 | class str(Sequence[str]):
+             |       ^^^
+        1121 |     """
+        1122 |     str(object='') -> str
+             |
         info: Source
          --> main.py:4:27
           |
@@ -778,7 +778,7 @@ f(**kwargs<CURSOR>)
         4 |                     print(a)
           |                           ^
           |
-        ");
+        "#);
     }
 
     #[test]
@@ -790,16 +790,17 @@ f(**kwargs<CURSOR>)
             "#,
         );
 
-        assert_snapshot!(test.goto_type_definition(), @r"
+        assert_snapshot!(test.goto_type_definition(), @r#"
         info[goto-type-definition]: Type definition
-           --> stdlib/types.pyi:691:11
-            |
-        689 | if sys.version_info >= (3, 10):
-        690 |     @final
-        691 |     class NoneType:
-            |           ^^^^^^^^
-        692 |         def __bool__(self) -> Literal[False]: ...
-            |
+            --> stdlib/types.pyi:1073:11
+             |
+        1071 | if sys.version_info >= (3, 10):
+        1072 |     @final
+        1073 |     class NoneType:
+             |           ^^^^^^^^
+        1074 |         """
+        1075 |         The type of the None singleton.
+             |
         info: Source
          --> main.py:3:17
           |
@@ -809,23 +810,23 @@ f(**kwargs<CURSOR>)
           |
 
         info[goto-type-definition]: Type definition
-           --> stdlib/builtins.pyi:461:7
-            |
-        459 |     def __getitem__(self, key: int, /) -> str | int | None: ...
-        460 |
-        461 | class str(Sequence[str]):
-            |       ^^^
-        462 |     @overload
-        463 |     def __new__(cls, object: object = ...) -> Self: ...
-            |
+            --> stdlib/builtins.pyi:1120:7
+             |
+        1118 |     def __getitem__(self, key: int, /) -> str | int | None: ...
+        1119 |
+        1120 | class str(Sequence[str]):
+             |       ^^^
+        1121 |     """
+        1122 |     str(object='') -> str
+             |
         info: Source
          --> main.py:3:17
           |
         2 |             def foo(a: str | None, b):
         3 |                 a
           |                 ^
           |
-        ");
+        "#);
     }
 
     impl CursorTest {

crates/ty_python_semantic/resources/mdtest/snapshots/invalid_argument_typ…_-_Invalid_argument_typ…_-_Test_calling_a_funct…_(3b18271a821a59b).snap

@@ -29,17 +29,17 @@ error[invalid-argument-type]: Argument to function `loads` is incorrect
   |            ^ Expected `str | bytes | bytearray`, found `Literal[5]`
   |
 info: Function defined here
-  --> stdlib/json/__init__.pyi:39:5
-   |
-37 |     **kwds: Any,
-38 | ) -> None: ...
-39 | def loads(
-   |     ^^^^^
-40 |     s: str | bytes | bytearray,
-   |     -------------------------- Parameter declared here
-41 |     *,
-42 |     cls: type[JSONDecoder] | None = None,
-   |
+   --> stdlib/json/__init__.pyi:221:5
+    |
+219 |     """
+220 |
+221 | def loads(
+    |     ^^^^^
+222 |     s: str | bytes | bytearray,
+    |     -------------------------- Parameter declared here
+223 |     *,
+224 |     cls: type[JSONDecoder] | None = None,
+    |
 info: rule `invalid-argument-type` is enabled by default
 
 ```

crates/ty_vendored/vendor/typeshed/source_commit.txt

@@ -1 +1 @@
-f64707592dd3c32f756ddeebd012acb2b072aa0d
+997284534f8be3159aa56c7d102ada07c2ff6f48

crates/ty_vendored/vendor/typeshed/stdlib/__future__.pyi

@@ -1,11 +1,73 @@
+"""
+Record of phased-in incompatible language changes.
+
+Each line is of the form:
+
+    FeatureName = "_Feature(" OptionalRelease "," MandatoryRelease ","
+                              CompilerFlag ")"
+
+where, normally, OptionalRelease < MandatoryRelease, and both are 5-tuples
+of the same form as sys.version_info:
+
+    (PY_MAJOR_VERSION, # the 2 in 2.1.0a3; an int
+     PY_MINOR_VERSION, # the 1; an int
+     PY_MICRO_VERSION, # the 0; an int
+     PY_RELEASE_LEVEL, # "alpha", "beta", "candidate" or "final"; string
+     PY_RELEASE_SERIAL # the 3; an int
+    )
+
+OptionalRelease records the first release in which
+
+    from __future__ import FeatureName
+
+was accepted.
+
+In the case of MandatoryReleases that have not yet occurred,
+MandatoryRelease predicts the release in which the feature will become part
+of the language.
+
+Else MandatoryRelease records when the feature became part of the language;
+in releases at or after that, modules no longer need
+
+    from __future__ import FeatureName
+
+to use the feature in question, but may continue to use such imports.
+
+MandatoryRelease may also be None, meaning that a planned feature got
+dropped or that the release version is undetermined.
+
+Instances of class _Feature have two corresponding methods,
+.getOptionalRelease() and .getMandatoryRelease().
+
+CompilerFlag is the (bitfield) flag that should be passed in the fourth
+argument to the builtin function compile() to enable the feature in
+dynamically compiled code.  This flag is stored in the .compiler_flag
+attribute on _Future instances.  These values must match the appropriate
+#defines of CO_xxx flags in Include/cpython/compile.h.
+
+No feature line is ever to be deleted from this file.
+"""
+
 from typing_extensions import TypeAlias
 
 _VersionInfo: TypeAlias = tuple[int, int, int, str, int]
 
 class _Feature:
     def __init__(self, optionalRelease: _VersionInfo, mandatoryRelease: _VersionInfo | None, compiler_flag: int) -> None: ...
-    def getOptionalRelease(self) -> _VersionInfo: ...
-    def getMandatoryRelease(self) -> _VersionInfo | None: ...
+    def getOptionalRelease(self) -> _VersionInfo:
+        """
+        Return first release in which this feature was recognized.
+
+        This is a 5-tuple, of the same form as sys.version_info.
+        """
+
+    def getMandatoryRelease(self) -> _VersionInfo | None:
+        """
+        Return release in which this feature will become mandatory.
+
+        This is a 5-tuple, of the same form as sys.version_info, or, if
+        the feature was dropped, or the release date is undetermined, is None.
+        """
     compiler_flag: int
 
 absolute_import: _Feature