should postconditions be evaluated even if Exception is thrown?

[Walter Bright]

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.