On Thursday, 5 February 2015 at 04:36:39 UTC, Zach the Mystic
wrote:
I have an idea. Treat all assert statements which come before
the first non-assert statement as part of the 'in' contract.
I'm not saying the compiler has to generate a whole 'in'
function, but these asserts can be internally tagged to behave
*as if* in an 'in' contract. That solves the tooling problem
and the too-much-code problem, no?
No. There is no point of screwing up the language because an
arbitrary choice of formating is taking an absurd amount of
vertical space.