Bug 42888

Mypy не может найти бибилиотеку для модуля 'typing'

Шаги воспроизведения:

1) # apt-get install python3-module-mypy python3-module-typing_extensions
2) $ cat > test.py <<EOF
from typing import NewType
# Create a new user type called 'StudentID'
StudentID = NewType('StudentID', int)
def get_student_name(stud_id: StudentID) -> str:
    return str(input(f'Enter username for ID #{stud_id}:\n'))
stud_a = get_student_name(StudentID(100))
print(stud_a)
# This is incorrect!!
stud_b = get_student_name(-1)
print(stud_b)
EOF
3) $ mypy test.py

Реальный результат:

test.py:1: error: No library stub file for standard library module 'typing'
test.py:1: note: (Stub files are from https://github.com/python/typeshed)
test.py:1: error: Cannot find 'builtins' module. Typeshed appears broken!

Ожидаемый результат: Нет ошибки с поиском библиотеки