assert semantic change proposal

[Daniel Murphy via Digitalmars-d]

"Sean Kelly"  wrote in message news:trnhymzwfkflgotxykmb at 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.