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

[JukkaL]

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: ...

[JukkaL]

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.

[hauntsaninja]

Related: #15031