False positive of function conformance

[Azureblade3808]

Environment data

• Language Server version: 2022.2.2-pre.1
• OS and version: Windows 7
• Python version (& distribution if applicable, e.g. Anaconda): Python 3.8.12 Anaconda

Sample code

from __future__ import annotations

from typing import Any, Protocol

class P(Protocol):
    def __call__(self, *args: Any, kwarg0: Any, kwarg1: Any) -> None:
        ...

def f(*args: Any, kwarg0: Any, kwarg1: Any) -> None:
    ...

p: P = f

Expected behavior

No errors / warnings.

Actual behavior

Additional notes

To trigger this issue, there should be both variable-length arguments (*args) and more than one keyword argument.

This issue affects both callable protocol and overloading.

[erictraut]

Thanks, I agree this is a bug in the type checker. I've created a tracking bug in the pyright issue tracker.

[erictraut]

This will be fixed in the next release.

[debonte]

This issue has been fixed in version 2022.2.3, which we've just released. You can find the changelog here: CHANGELOG.md