https://issues.dlang.org/show_bug.cgi?id=12724
--- Comment #7 from [email protected] --- (In reply to monarchdodra from comment #6) > What's your arguments? Is return from contract present in the DbC of Eiffel/Ada/C#/Racket? What does it means returning from a test that verifies if a contract is holding? I think allowing returns goes against the meaning of contracts. They are not meant to change the flow of the code, all they have to do is to verify the input or outputs or invariants are correct. --
