The first example of non-compiling uses of `impl Trait` https://github.com/rust-lang/impl-trait-initiative/blob/87428cdc27688b125318a7720e8e4e87a340658e/explainer/where_not_ok.md?plain=1#L8 ```rust fn foo(x: &mut dyn Iterator<Item = impl Debug>) ``` Does compile when written in full: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=bd81ce5a64eda9175ea1001723a12127 ```rust use std::fmt::Debug; fn foo(x: &mut dyn Iterator<Item = impl Debug>){} ```