The impl Trait page only contains example where that pattern was used as a return type of a method. It would be cool if there also was at least one example that used it as argument type. Ideally, there'd be again two methods, one showing the pattern and one showing what it de-sugars into.