Re: 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.