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.