Why doesn't mypy show an error here?

-