> a variable annotation expression could require the right-hand to be a type expression. It's not clear to me why these kinds of moves aren't taken Because whe

> a variable annotation expression could require the right-hand to be a type expression. It's not clear to me why these kinds of moves aren't taken Because when annotations were introduced in PEP 3107 they were not meant exclusively for type hinting. We're in a period now where non-type usage is deprecated but allowed for compatibility with old code. In 3.8 a non-type evaluation of the RHS will be disallowed.