Broken contract programing

[Benjamin Thaut via Digitalmars-d]

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? Shouldn't all 'in' contracts in the chain be 
checked?