"Sean Kelly" wrote in message news:trnhymzwfkflgotxy...@forum.dlang.org...
Oh man, I forgot about this. I wonder how this works from a codegen perspective. Is precondition inheritance properly implemented yet?
Properly is a bit strong. It is somewhat implemented. I think there are still corner cases when some functions have no preconditions that people are still arguing over, but it does work for simple inheritance examples.
