Starting with python 3.8, type comments are parsed by cpython's parser. We might want to support them. But that's a lot of work, so I'm not sure it's worth it