I think _T_co should be an acceptable name for a covariant TypeVar. As there is no explicit test for this case it seems to me that this wasn't considered in #235
If it was intended to disallow that, then I'd like to know why and it would be good to add a test for that case.
I would prefer allowing a single underscore in front of the name of the TypeVar. But what do you think?