should postconditions be evaluated even if Exception is thrown?

[Brad Roberts]

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?