Comment by rmanolis

Odin can make stack traces as error types.

Your system with Java will break if someone else add an AuthenticationFilter, but my system in Odin will not even compile until I have handled all the stack trace paths that include AuthenticationFilter.

Do you see the differences between handling stack traces with union types rather than string?