Ugh. OK, @paul23 typing is for editors and typecheckers. Docstrings are for humans. In many non-trivial cases the exact type hint is a mess but can be expressed in simpler human terms. Or in a sloppier but more meaningful way. See also Arne's "generic iterable" from earéier today.
@holdenweb Do you have any guesstimates about the number of people expecting that? It would be really weird for me. And seeing all the questions on SO where no two variables are spelled the same, but they all refer to the same name... ugh
Ugh. Compare 3.7 grammar (150 lines) with 3.8 grammar(207 lines) and 3.9 grammar (492 lines). If I understand correctly the formalism changed due to the new PEG parser, but still.