Make the dispatch function more explicit for type checkers with @overload

[gabrieldemarmiesse]

Maybe in the future we can even use plum's dispatch instead of if method is None:, we would be using plum inside plum!

[wesselb]

Hey @gabrieldemarmiesse! Do you have a specific test case that the linter should pick up, but doesn't?

In the other PR, I've implemented your suggestion to add get_overloads inside the dispatcher. Now the type signature is as follows:

    def __call__(self, method: Optional[T] = None, precedence: int = 0) -> T:

with

T = TypeVar("T", bound=Callable[..., Any])

I wonder what's right here, which is why I'm asking if you have a specific test case in mind. It would be nice to make that a unit test, if possible.

[gabrieldemarmiesse]

mmmhhh, you're right, i'll take another look once https://github.com/beartype/plum/pull/93 is merged to see if I'm breaking some unit tests or not.

[wesselb]

@gabrieldemarmiesse That makes sense! Let's do that.

[coveralls]

Pull Request Test Coverage Report for Build 5918488489

• 7 of 9 (77.78%) changed or added relevant lines in 2 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage decreased (-0.2%) to 99.787%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
plum/dispatcher.py	6	8	75.0%
<!--	Total:	7	9

Totals
Change from base Build 5912676390:	-0.2%
Covered Lines:	939
Relevant Lines:	941

---

💛 - Coveralls

[gabrieldemarmiesse]

Before:

After:

It allows pycharm to undestand what the decorated function really is. And pycharm still give hints about the expected arguments

[gabrieldemarmiesse]

I get a bit more output now with pyright but the tests are still passing. Do you think you could take a look and verify it's ok?

[gabrieldemarmiesse]

I tried to call methods with mypy but it doesn't seem to understand what is going on. I do a reveal_type and this is what I get:

tests/typechecked/test_overload.py:22: note: Revealed type is "Overload(def (x: builtins.int) -> builtins.int, def (x: builtins.str) -> builtins.str)"
tests/typechecked/test_overload.py:32: error: overloaded function has no attribute "methods"  [attr-defined]

So I can't really add a test for this.

[wesselb]

Hmm, well, if we can make pyright happy but can’t satisfy mypy, perhaps that’s already worthwhile testing for. How about something like the following?

def test_methods():
     # E: mypy(overloaded function has no attribute "methods")
     # TODO: Make this work with `mypy`!
     assert f.methods

That should check whether pyright knows f.methods or not, but ignores the mypy error.