Rust: Infer argument types based on trait bounds on parameters

Rust: Infer argument types based on trait bounds on parameters #10184