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?
