Things you can’t do in Rust: infer top-level signatures
medium.com