and i suppose any kind of half decent annotation p...
# language-proposals
g
and i suppose any kind of half decent annotation processing immediately gets into all sorts of symbolic execution and constraint solvers