On 2013-11-20 14:01, Timon Gehr wrote: > void process(Data data)in{ assert(isValid(data)); }body{ > // process > } Right, forgot about contracts. -- /Jacob Carlborg