Does override need to be overloaded explicitly?

[bersbersbers]

mypy treats overrides and override differently.

(Note that I reported no-redef separately as python/mypy#13914. This issue is about the misc mypy message.)

""""Bug."""
from typing import Callable, ParamSpec, TypeVar
P = ParamSpec("P")
T = TypeVar("T")

try:
    from overrides import override
except ModuleNotFoundError:
    def override(func: Callable[P, T]) -> Callable[P, T]:  # type: ignore[no-redef]
        return func

print(override)

Incompatible redefinition (redefinition with type "Callable[[Callable[P, T]], Callable[P, T]]", original type overloaded function) [misc]

By contrast, this is fine:

""""No bug."""
from typing import Callable, ParamSpec, TypeVar
P = ParamSpec("P")
T = TypeVar("T")

try:
    from overrides import overrides
except ModuleNotFoundError:
    def overrides(func: Callable[P, T]) -> Callable[P, T]:  # type: ignore[no-redef]
        return func

print(overrides)

I wonder if this is a mypy issue or whether override needs to be overloaded explicitly.

[bersbersbers]

Not sure why, but

F = TypeVar("F", bound=Callable)
override: Callable[[F], F]

solves both issues:

"""Workaround."""
from typing import Callable, TypeVar

F = TypeVar("F", bound=Callable)
override: Callable[[F], F]
try:
    from overrides import override
except ModuleNotFoundError:
    def override(func: F) -> F:
        return func

print(override)

as well as

"""Workaround."""
from typing import Callable, TypeVar

F = TypeVar("F", bound=Callable)
overrides: Callable[[F], F]
try:
    from overrides import overrides
except ModuleNotFoundError:
    def overrides(func: F) -> F:
        return func

print(overrides)

[mkorpela]

Thanks @bersbersbers !

[mkorpela]

Fixed in 7.3.1