From de86d71a5df05720ab9ae9f2f66767ed336a6df6 Mon Sep 17 00:00:00 2001 From: Randolf Scholz Date: Mon, 16 Jun 2025 12:41:40 +0200 Subject: [PATCH 1/2] test without __add__ overload --- stdlib/builtins.pyi | 3 --- 1 file changed, 3 deletions(-) diff --git a/stdlib/builtins.pyi b/stdlib/builtins.pyi index a22bb400adfe..8ccd180e3b5e 100644 --- a/stdlib/builtins.pyi +++ b/stdlib/builtins.pyi @@ -1154,9 +1154,6 @@ class list(MutableSequence[_T]): def __setitem__(self, key: slice[SupportsIndex | None], value: Iterable[_T], /) -> None: ... def __delitem__(self, key: SupportsIndex | slice[SupportsIndex | None], /) -> None: ... # Overloading looks unnecessary, but is needed to work around complex mypy problems - @overload - def __add__(self, value: list[_T], /) -> list[_T]: ... - @overload def __add__(self, value: list[_S], /) -> list[_S | _T]: ... def __iadd__(self, value: Iterable[_T], /) -> Self: ... # type: ignore[misc] def __mul__(self, value: SupportsIndex, /) -> list[_T]: ... From 0fe433a85992f3b31bce8a3d0f3e5aa7eedac72a Mon Sep 17 00:00:00 2001 From: Randolf Scholz Date: Sun, 8 Mar 2026 20:36:55 +0100 Subject: [PATCH 2/2] Update stdlib/builtins.pyi Co-authored-by: Joren Hammudoglu --- stdlib/builtins.pyi | 1 - 1 file changed, 1 deletion(-) diff --git a/stdlib/builtins.pyi b/stdlib/builtins.pyi index 8ccd180e3b5e..df8bb8e9b784 100644 --- a/stdlib/builtins.pyi +++ b/stdlib/builtins.pyi @@ -1153,7 +1153,6 @@ class list(MutableSequence[_T]): @overload def __setitem__(self, key: slice[SupportsIndex | None], value: Iterable[_T], /) -> None: ... def __delitem__(self, key: SupportsIndex | slice[SupportsIndex | None], /) -> None: ... - # Overloading looks unnecessary, but is needed to work around complex mypy problems def __add__(self, value: list[_S], /) -> list[_S | _T]: ... def __iadd__(self, value: Iterable[_T], /) -> Self: ... # type: ignore[misc] def __mul__(self, value: SupportsIndex, /) -> list[_T]: ...