Incompatible override when overriding non-overload with overload

from typing import overload, Union

class A:
    def f(self, x: Union[int, str]) -> None: ...
    
class B(A):
    @overload
    def f(self, x: int) -> None: ...
    @overload
    def f(self, x: str) -> None: ...
    def f(self, x: Union[int, str]) -> None: ...

https://mypy-play.net/?mypy=latest&python=3.10&gist=37c2291afd7ddd170576b1de208ba77c

produces:

main.py:7: error: Signature of "f" incompatible with supertype "A"
main.py:7: note:      Superclass:
main.py:7: note:          def f(self, x: Union[int, str]) -> None
main.py:7: note:      Subclass:
main.py:7: note:          @overload
main.py:7: note:          def f(self, x: int) -> None
main.py:7: note:          @overload
main.py:7: note:          def f(self, x: str) -> None
Found 1 error in 1 file (checked 1 source file)

But as far as I can see this is safe. Mypy accepts a union as an argument to B.f:

arg: Union[int, str]
B().f(arg)

Of course, the overloads are useless in this toy example, but the error also comes up if you vary the return type in the overloads. This came up in python/typeshed#7510.

Beginne damit, das Beispiel im verlinkten mypy-play-Fall zu reproduzieren, und vergleiche die Diagnosen für A.f und B.f. Verfolge die Prüfung der Override-Kompatibilität für eine überladene Methode der Unterklasse gegenüber einer nicht überladenen Methode der Oberklasse. Als erledigt gilt, dass dieses sichere Override akzeptiert wird, während inkompatible Überladungen weiterhin abgelehnt werden.