Fix annotations for builtins.reversed.__new__

stdlib/builtins.pyi

@@ -29,7 +29,7 @@ from _typeshed import (
  SupportsRichComparisonT,
  SupportsWrite,
 )
-from collections.abc import Awaitable, Callable, Iterable, Iterator, MutableSet, Reversible, Set as AbstractSet, Sized
+from collections.abc import Awaitable, Callable, Iterable, Iterator, MutableSet, Set as AbstractSet, Sized
 from io import BufferedRandom, BufferedReader, BufferedWriter, FileIO, TextIOWrapper
 from types import CodeType, TracebackType, _Cell
 
@@ -1636,13 +1636,16 @@ def pow(base: _SupportsSomeKindOfPow, exp: float, mod: None = None) -> Any: ...
 def pow(base: _SupportsSomeKindOfPow, exp: complex, mod: None = None) -> complex: ...
 def quit(code: sys._ExitCode = None) -> NoReturn: ...
 
-class reversed(Iterator[_T]):
+class _SupportsReversed(Protocol[_T_co]):
+ def __reversed__(self) -> _T_co: ...
+
+class reversed(Iterator[_T_co]):
  @overload
- def __new__(cls, sequence: Reversible[_T], /) -> Iterator[_T]: ... # type: ignore[misc]
+ def __new__(cls, sequence: _SupportsReversed[_T], /) -> _T: ... # type: ignore[misc]
  @overload
- def __new__(cls, sequence: SupportsLenAndGetItem[_T], /) -> Iterator[_T]: ... # type: ignore[misc]
+ def __new__(cls, sequence: SupportsLenAndGetItem[_T_co], /) -> Self: ...
  def __iter__(self) -> Self: ...
- def __next__(self) -> _T: ...
+ def __next__(self) -> _T_co: ...
  def __length_hint__(self) -> int: ...
 
 def repr(obj: object, /) -> str: ...

test_cases/stdlib/builtins/check_reversed.py

@@ -31,4 +31,18 @@ def __getitem__(self, item: int) -> _T:
 
 
 len_and_get_item: MyLenAndGetItem[int] = MyLenAndGetItem()
-assert_type(list(reversed(len_and_get_item)), "list[int]")
+assert_type(reversed(len_and_get_item), "reversed[int]")
+
+
+class UnTrue:
+ def __reversed__(self) -> UnFalse:
+ return UnFalse()
+
+
+class UnFalse:
+ def __reversed__(self) -> UnTrue:
+ return UnTrue()
+
+
+assert_type(reversed(UnTrue()), "UnFalse")
+assert_type(reversed(reversed(UnTrue())), "UnTrue")