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.

Inizia riproducendo l’esempio nel caso mypy-play collegato e confronta le diagnosi per A.f e B.f. Traccia il controllo di compatibilità dell’override per un metodo sovraccarico di una sottoclasse rispetto a un metodo non sovraccarico della superclasse. Il lavoro è completo quando questo override sicuro viene accettato, mentre i sovraccarichi incompatibili continuano a essere rifiutati.