False positive of mismatch in overloaded function (with positional-only argument)

[Azureblade3808]

Environment data

• Language Server version: 2021.10.4-pre.1
• OS and version: Windows7 x64
• Python version (and distribution if applicable, e.g. Anaconda): 3.8.12 Anaconda

Sample code

from __future__ import annotations
from typing import Any, overload

@overload
def f0(x: int, /, y: str) -> Any: ...
@overload
def f0(x: float, /, y: str, z: bytes | None = ...) -> Any: ...
def f0(x: int | float, /, y: str, z: bytes | None = None) -> Any: ...

@overload
def f1(x: int, y: str) -> Any: ...
@overload
def f1(x: float, y: str, z: bytes | None = ...) -> Any: ...
def f1(x: int | float, y: str, z: bytes | None = None) -> Any: ...

@overload
def f2(x: int, /) -> Any: ...
@overload
def f2(x: float, /, y: str | None = ...) -> Any: ...
def f2(x: int | float, /, y: str | None = None) -> Any: ...

Expected behavior

No reporting.

Actual behavior

There is a warning about f0, but no warnings about f1 or f2.

[erictraut]

Thanks for the bug report. I've confirmed the repro case, and I've created a tracking bug in the pyright issue tracker.

[erictraut]

This will be fixed in the next release.

[heejaechang]

fixed in 2021.11.0