Polymorphic catcalls

[Kagamin]

On Thursday, 19 April 2012 at 16:01:59 UTC, Timon Gehr wrote:
> I am not sure if that is what you mean, but contracts specify 
> behavior, they do not usually care about types in detail.

They don't, but they don't live in vacuum either, they have to 
live in real code (if we're going to use them in real code), 
where they should play nicely with inheritance or their usability 
is questionable - that's what I mean. Who's interested in their 
possible usability in a hypothetical environment?