There are no exceptions in Fuzion. A failed contract (pre- or post-condition or invariant) means that the application is in an undefined state, we cannot easily recover from this. Instead, the current Thread will be terminated an an error handler will be called.
Since mutable data is only thread-local, other threads can continue execution.
⮫ next: Concurrency