См. Этот файл с именем builtins.pyi
Когда я его открыл, в файле была обнаружена одна проблема, в которой int было подчеркнуто красной меткой:
class _SupportsIndex(Protocol):
def __index__(self) -> int: ...
int после -> подчеркнут. Как решить эту проблему?