False negative for overridden signature mismatch

[jab]

Based on python/mypy#12390 (comment) it looks like this was meant to be addressed in a recent release, but I'm still reproducing this false negative using Pyright 1.1.232.

Example:

import typing as t


class A:
    @t.overload
    def pop(self) -> int: ...
    @t.overload
    def pop(self, d: int = ...) -> int: ...
    
    def pop(self, d: int = ...) -> int: ...


class B(A):
    @t.overload
    def pop(self) -> int: ...
    @t.overload
    def pop(self, d: int) -> int: ...  # Forgot to make `d` a keyword arg in this overload
    
    def pop(self, d: int = ...) -> int: ...

❯ pyright test.py
No configuration file found.
No pyproject.toml file found.
stubPath /private/tmp/typings is not a valid directory.
Assuming Python platform Darwin
Searching for source files
Found 1 source file
0 errors, 0 warnings, 0 informations
Completed in 0.59sec

[erictraut]

This is intended behavior. Pyright doesn't attempt to validate overrides when overloads are involved. I don't think this is a tractable problem in general.

[jab]

Didn't realize you'd changed your mind about this. Fair enough and good to know, thanks for the update.