то каким образом он далее разворачивается, если далее этот тип считается исходным?
Например при fn()-> impl Iterator<Item=&i32>{ [42].iter() }
вернётся "тайно-магически-сгенерённая" обёртка-итератор, содержащий результат от [42].iter(). Т.е. итератор в итераторе. Так?
да, вернётся обёртка, но не "итератор в итераторе"
Обсуждают сегодня