I wonder if something like that could be done with...

# language-proposals

[kevinmost]

I wonder if something like that could be done with something like the @Contract annotations, but I'm also unsure if people should be able to write any function that just proposes a contract like that