Crash in out contract in interface

[Andrei Alexandrescu]

On 8/24/11 6:58 AM, Timon Gehr wrote:
> So, basically interfaces are the only place in D?/DMD where you can even
> specify contracts without a function body and there they don't work. I
> think the bug is not the only problem, actual contracts should /always/
> be part of the function declaration and not require an implementation to
> work. Everything else degrades contracts to simple syntactic sugar for
> assertions.

That plus interplay with inheritance.

Andrei