https://blog.rust-lang.org/inside-rust/2022/08/16/diagnostic-effort.html