Opaque type for io.TextIOWrapper seek and tell?

The following prints 18446744073709551620 (as I discovered in https://github.com/python/cpython/issues/93077):

import io
stream = io.TextIOWrapper(io.BytesIO(b'"")\r\nx\r\n'))
stream.read(1)
stream.read(1)
stream.read(1)
print('-----> tell:', stream.tell())

This is not a bug. The documentation says that .tell() returns "an opaque number" that "does not usually represent a number of bytes in the underlying binary storage".

In fact, calling .seek() with anything else than 0 or a return value of .tell() "produces undefined behaviour". I just relied on that today, without knowing it. I wrote this code:

def _upgrade_high_scores_file(file: IO[str], old_version: int) -> None:
    ...
    file.seek(len(b"catris high scores file v"))
    ...

This shouldn't pass the type check IMO.

Bắt đầu bằng cách xem xét các annotation của io.TextIOWrapper seek() và tell() trong typeshed cùng với tài liệu Python được trích dẫn trong issue. Một thay đổi hoàn chỉnh sẽ biểu diễn kết quả của tell() dưới dạng các giá trị opaque và ngăn seek() chấp nhận các offset tùy ý, đồng thời vẫn cho phép 0 và một giá trị do tell() trả về.