Methods using identical signature are recognized as incompatible (Callable and TypeVar involved)

[Azureblade3808]

Environment data

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

Sample code

from __future__ import annotations

from typing import Callable, Protocol, TypeVar

_T = TypeVar("_T")

class P(Protocol):
    def f(self, item: _T, build_expr: Callable[[_T], str]) -> str:
        ...

class C:
    def f(self, item: _T, build_expr: Callable[[_T], str]) -> str:
        return build_expr(item)

_: P = C()

Expected behavior

No warnings.

Actual behavior

[judej]

Thanks for the report.

[erictraut]

This will be fixed in the next release.

[jakebailey]

This issue has been fixed in version 2021.10.0, which we've just released. You can find the changelog here: https://github.com/microsoft/pylance-release/blob/main/CHANGELOG.md#2021100-6-october-2021