https://issues.dlang.org/show_bug.cgi?id=12724
[email protected] changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #4 from [email protected] --- 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. --
