Recently I was thinking about the place of type comments in Python typing. As far as I am aware, mypy is the only typechecker that remains that still supports Python 2. I expect we will remove support for Python 2 before the end of the year (but we haven't decided anything on that yet).
So what does this mean for type comments? I think it would be best if we no longer needed to support them. However, there are a couple of issues:
1. They are specified in PEP 484 so we would need a new PEP most likely to deprecate/remove them
2. There isn't an obvious replacement for for/with type comments, we'd need to figure out a reasonable replacement.
Anyway, I thought I'd start this thread to kick off some discussion, I'd love to hear what others think and if people have ideas for syntax for with/for statements.