Properly type (bytes,bytearray).__mod__

Add date.__rsub__

Add allowlist entries

Author: srittau

stdlib/@tests/stubtest_allowlists/common.txt

@@ -43,6 +43,26 @@ builtins.super.__self__
 builtins.super.__self_class__
 builtins.super.__thisclass__
 
+# These reverse operator implementations use generated slot wrappers
+# returning `NotImplemented`, which is why they aren't defined in typeshed.
+builtins.bytearray.__rmod__
+builtins.bytes.__rmod__
+builtins.frozenset.__rand__
+builtins.frozenset.__ror__
+builtins.frozenset.__rsub__
+builtins.frozenset.__rxor__
+builtins.set.__rand__
+builtins.set.__ror__
+builtins.set.__rsub__
+builtins.set.__rxor__
+builtins.str.__rmod__
+# The following reverse operators are also missing from the Python
+# implementation.
+datetime.timedelta.__rdivmod__
+datetime.timedelta.__rfloordiv__
+datetime.timedelta.__rmod__
+datetime.timedelta.__rtruediv__
+
 # Undocumented implementation details
 email.contentmanager.get_and_fixup_unknown_message_content
 email.contentmanager.get_message_content

stdlib/builtins.pyi

@@ -66,7 +66,7 @@ from typing import (  # noqa: Y022  # ruff: ignore[deprecated-import]
 
 # we can't import `Literal` from typing or mypy crashes: see #11247
 # ruff: ignore[deprecated-import]
-from typing_extensions import Literal, LiteralString, Self, TypeIs, TypeVarTuple, deprecated, disjoint_base  # noqa: Y023
+from typing_extensions import Buffer, Literal, LiteralString, Self, TypeIs, TypeVarTuple, deprecated, disjoint_base  # noqa: Y023
 
 if sys.version_info >= (3, 14):
     from _typeshed import AnnotateFunc
@@ -826,7 +826,7 @@ class bytes(Sequence[int]):
     def __add__(self, value: ReadableBuffer, /) -> bytes: ...
     def __mul__(self, value: SupportsIndex, /) -> bytes: ...
     def __rmul__(self, value: SupportsIndex, /) -> bytes: ...
-    def __mod__(self, value: Any, /) -> bytes: ...
+    def __mod__(self, value: Buffer | SupportsBytes, /) -> bytes: ...
     # Incompatible with Sequence.__contains__
     def __contains__(self, key: SupportsIndex | ReadableBuffer, /) -> bool: ...  # type: ignore[override]
     def __eq__(self, value: object, /) -> bool: ...
@@ -957,7 +957,7 @@ class bytearray(MutableSequence[int]):
     def __mul__(self, value: SupportsIndex, /) -> bytearray: ...
     def __rmul__(self, value: SupportsIndex, /) -> bytearray: ...
     def __imul__(self, value: SupportsIndex, /) -> Self: ...
-    def __mod__(self, value: Any, /) -> bytes: ...
+    def __mod__(self, value: Buffer | SupportsBytes, /) -> bytearray: ...
     # Incompatible with Sequence.__contains__
     def __contains__(self, key: SupportsIndex | ReadableBuffer, /) -> bool: ...  # type: ignore[override]
     def __eq__(self, value: object, /) -> bool: ...

stdlib/datetime.pyi

@@ -120,6 +120,8 @@ class date:
     @overload
     def __sub__(self, value: timedelta, /) -> Self: ...
 
+    def __rsub__(self, value: timedelta) -> Self: ...
+
     def __hash__(self) -> int: ...
     def weekday(self) -> int: ...
     def isoweekday(self) -> int: ...