mypy

Fix custom typeshed dir handling by is_typeshed_file()

#13629

Merged