Skip to content

Also print error messages of local exceptions that are not expression exceptions

I still had this change lying around, but I think it was useful at a point where a local expression was thrown, for which we got no error message because it was caught in the catch (...)

Merge request reports