On 2/4/15 4:35 PM, bearophile wrote: > Contracts can be read by tools, and they are part of the function > signature. The signature part matters only for overridable functions. I agree the part about tooling has merit. -- Andrei