[Issue 12724] Error: return statements cannot be in contracts

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=12724

bearophile_hugs at eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_hugs at eml.cc

--- Comment #4 from bearophile_hugs at eml.cc ---
I am strongly against this and I suggest to close this issue down as soon as
possible. My vote is -2. Please don't turn D contracts programming into a
semantic soup.


(In reply to Andrej Mitrovic from comment #3)

> Yeah it seems like an arbitrary limitation since invariants allow return
> statements.

I didn't know this, let's remove returns from invariants ASAP. I'll open an ER
to ask them to be removed.

--