What I would mean when I say “Rust is explicit” (boats.gitlab.io)