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

[via Digitalmars-d-bugs]

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

--- Comment #3 from Andrej Mitrovic <andrej.mitrovich at gmail.com> ---
Yeah it seems like an arbitrary limitation since invariants allow return
statements.

--