https://issues.dlang.org/show_bug.cgi?id=12724
bearophile_h...@eml.cc changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bearophile_h...@eml.cc
--- Comment #4 from bearophile_h...@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.
--
