should postconditions be evaluated even if Exception is thrown?

[Walter Bright]

Brad Roberts wrote:
> Walter Bright wrote:
>> Rory McGuire wrote:
>>> I would think that if a method in a class throws then at least the
>>> class' invariant should be run? does it?
>> No.
> 
> Do you consider that broken or correct?


Not sure.