On Thursday, 5 February 2015 at 07:28:36 UTC, Paulo Pinto wrote:
I miss the point about in.DbC as presentend by Eiffel and adopted in .NET, Ada among others, the complete contract is on the callee.It doesn't make sense otherwise.
There was a huge discussion here: https://issues.dlang.org/show_bug.cgi?id=6857
Long story short: it was done in Eiffel that way for implementation reason, other language are cargo culting eiffel, and putting in contract in the caller is the right thing to do.
