The actual point here is that mypy loses it over this construction, though honestly I don't blame it.