On 2013-02-08 14:59, bearophile wrote: > Stewart Gordon has opened this ER (worth voting for): > http://d.puremagic.com/issues/show_bug.cgi?id=9483 A good proposal now, when it's the callee that does contract validation. And easier to do than "move in contract checking to the caller side".