[zaarn]

You don't really loose type safety, rather it moves to runtime. Downcasting an anyhow error to the concrete internal type is certainly possible and won't panic in my experience.

[valenterry]

"moves to runtime" exactly means to lose typesafety though.