Overloaded deprecated method use is not reported

Playground: https://mypy-play.net/?mypy=latest&python=3.12&gist=6ae94d19a2160b47cd3c3f2f0bc96553

This code does not produce a [deprecated] error:

# mypy: enable-error-code = deprecated
from typing import overload
from typing_extensions import deprecated

class Some:
    @overload
    @deprecated("reason2")
    def some(self) -> None: ...
    @overload
    def some(self, x: int) -> None: ...

Some().some()  # no error here!

However, this one does:

@overload
@deprecated("reason1")
def func() -> None: ...
@overload
def func(x: int) -> None: ...

func()  # E: overload def () of function __main__.func is deprecated: reason1

Version:

» mypy --version
mypy 1.15.0+dev.c9ed867352b0be6b2cca9df3c856f9047409751b (compiled: no)

@tyralla

cc @tyralla who solved similar problems.

Strange. I will have a look at it. Thanks for reporting!

Is it fixed by #18333, by any chance?

Nope :(

Using the same gist:

(.venv) ~/Desktop/mypy  master ✗                                                          
» gh pr checkout 18333  

» mypy ex.py
ex.py:5: error: An overloaded function outside a stub file must have an implementation  [no-overload-impl]
ex.py:11: error: overload def () of function ex.func is deprecated: reason1  [deprecated]
ex.py:14: error: An overloaded function outside a stub file must have an implementation  [no-overload-impl]

@deprecated

PEP 702 (@deprecated): "normal" overloaded methods

@deprecated

PEP 702 (@deprecated): "normal" overloaded methods (python#18477)

@deprecated

PEP 702 (@deprecated): "normal" overloaded methods (python#18477)

Navigation Menu

Repository navigation

Overloaded deprecated method use is not reported #18474

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Overloaded deprecated method use is not reported #18474

Description

Activity

sobolevn commented on Jan 15, 2025

tyralla commented on Jan 15, 2025

Viicos commented on Jan 15, 2025

sobolevn commented on Jan 15, 2025

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions