> And we've also got asserts in pre-conditions, which are recoverable by > definition.Huh, what? I thought asserts in pre-conditions are non-recoverable, because they imply that user code has broken the contract governing the use of that function.
I meant asserts in pre-conditions when used with inheritance. It's a pass if any of the preconditions pass, so the compiler runs them in turn and catches all but the last.
