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

[via Digitalmars-d-bugs]

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

--- Comment #5 from bearophile_hugs at eml.cc ---
(In reply to Andrej Mitrovic from comment #3)
> Yeah it seems like an arbitrary limitation since invariants allow return
> statements.

That limitation is very far from being arbitrary.

--