Regression: IO[str] not compatible with SupportsWrite[AnyStr]

This code generates a false positive, but type checked cleanly on mypy 1.11:

from typing import IO
from shutil import copyfileobj

f: IO[str]
copyfileobj(f, f)  # Cannot infer type argument 1 of "copyfileobj"

I believe the reason is that the definition of IO.write changed in typeshed, and this triggered a mypy bug. Here's how IO.write is currently defined:

class IO(Iterator[AnyStr]):
    ...
    @abstractmethod
    @overload
    def write(self: IO[bytes], s: ReadableBuffer, /) -> int: ...
    @abstractmethod
    @overload
    def write(self, s: AnyStr, /) -> int: ...

Self-contained test case:

from typing import TypeVar, Generic, Protocol, overload

T_contra = TypeVar("T_contra", contravariant=True)
AnyStr = TypeVar("AnyStr", str, bytes)

class SupportsWrite(Protocol[T_contra]):
    def write(self, s: T_contra, /) -> None: ...

class Buffer: ...

class IO(Generic[AnyStr]):
    @overload
    def write(self: IO[bytes], s: Buffer, /) -> None: ...
    @overload
    def write(self, s: AnyStr, /) -> None: ...
    def write(self, s): ...

def foo(fdst: SupportsWrite[AnyStr]) -> None: ...

x: IO[str]
foo(x)  # Value of type variable "AnyStr" of "foo" cannot be "Buffer"

It looks like we are picking up constraints from the wrong overload item.

Related: #15031

Filter overload items based on self type during type inference (pytho…

Navigation Menu

Repository navigation

Regression: IO[str] not compatible with SupportsWrite[AnyStr] #17863

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Regression: IO[str] not compatible with SupportsWrite[AnyStr] #17863

Description

Activity

JukkaL commented on Oct 2, 2024

hauntsaninja commented on Oct 2, 2024

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions