I did something similar to the ending of this post, where the realization sets in that annotations are just expressions. I wanted to force the method's annotate

I did something similar to the ending of this post, where the realization sets in that annotations are just expressions. I wanted to force the method's annotated parameters and return type before entering and exiting the method. https://gist.github.com/kryptn/2f91fdd9f4c5b2a272472d5e1a5afc5e https://gist.github.com/kryptn/2f91fdd9f4c5b2a272472d5e1a5af...