Broken contract programing

[Timon Gehr via Digitalmars-d]

On 05/13/2015 04:54 PM, Benjamin Thaut wrote:
> On Wednesday, 13 May 2015 at 12:54:52 UTC, Timon Gehr wrote:
>> This will accept the same arguments as Base. Only one in-contract in
>> the inheritance chain must pass in order for the call to go through.
>
> But wasn't exactly that the problem about the current implementation?

No, this is done right. (What I meant to say was that one passing 
in-contract in the inheritance chain is sufficient.)

> Shouldn't all 'in' contracts in the chain be checked?

They are all checked in turn until one is successful.