Elsa
Elsa copied to clipboard
Add some declaration that the function must not throw
If we detect a function that throws in the body and the exception is not handled, we should error.