Output impl trait

An impl Trait that corresponds to a single, hidden type that is inferred from the surrounding code. See Appendix B for more details.