Hi all, 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. Ethan He/Him