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