Is D Contracts broken?

[Hans-Eric Grönlund]

Is this paragraph in the Contract Programming section of the specification valid?

"If a function in a derived class overrides a function in its super class, then only one of the in contracts of the function and its base functions must be satisfied."

In the tests I make inherited in-clauses are never invoked.

(I have more details on this on my weblog: http://www.hans-eric.com/)

Best regards 

Hans-Eric Grönlund