Re: Polymorphic catcalls

[Timon Gehr]

On 04/19/2012 12:38 PM, Kagamin wrote:
Huh? Is DbC viable at all if in practice subtype inevitably break
supertype's contract?

I am not sure if that is what you mean, but contracts specify behavior, 
they do not usually care about types in detail.