Without strongly taking a side, I’ll note that the Rust folks must have already discussed this when deciding to allow impl Trait in parameter position. RFC: Finalize syntax and parameter scoping for `impl Trait`, while expanding it to arguments by aturon · Pull Request #1951 · rust-lang/rfcs · GitHub
4 Likes