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. --