"typing.BinaryIO" missing "readinto" method

Bug report

Bug description:

typeing.BinaryIO is completely missing the readinto method. All binary mode return values of open support the readinto method, and the lack of it on the BinaryIO type makes type-hinting difficult when using this method. One could try to use io.RawIOBase | io.BufferedIOBase but this looses the fact that the result of open has a name property. This has been brought up in python/typing#659 and python/typeshed#2166.

Furthmore, the write method in BinaryIO is declared to only be compatible with Union[bytes, bytearray] when it should be anything that satisfies collections.abc.Buffer.

I propose that BinaryIO should look something more like:

class BinaryIO(IO[bytes]):
    """Typed version of the return of open() in binary mode."""

    __slots__ = ()

    @abstractmethod
    def readinto(self, b: collections.abc.Buffer) -> int:
        pass

    @abstractmethod
    def write(self, s: collections.abc.Buffer) -> int:
        pass

    @abstractmethod
    def __enter__(self) -> 'BinaryIO':
        pass

CPython versions tested on:

CPython main branch

Operating systems tested on:

No response

Parti dalla definizione di typing.BinaryIO e confrontala con i valori restituiti da open() in modalità binaria, concentrandoti sulle firme proposte di readinto e write compatibili con Buffer. Verifica che BinaryIO esponga ancora la proprietà name e che il comportamento aggiornato di typing sia coperto dai test esistenti pertinenti; l’issue non indica alcun file o test specifico.