Rust中的迭代器类型

我正在学习生锈并遇到问题。我有这个MCVE：

fn main() {
    let mut line = String::new();
    std::io::stdin()
        .read_line(&mut line)
        .expect("Failed to read line");

    handle_tokens( line.split_ascii_whitespace() );
}

fn handle_tokens( mut it: std::str::SplitAsciiWhitespace ) {
    loop {
        match it.next() {
            None => return,
            Some(s) => println!("{}",s),
        }
    }
}

String::split_ascii_whitespace返回一个SplitAsciiWhitespace对象，因此我在的签名中使用了它handle_tokens，但是它std::str::SplitAsciiWhitespace是一种非常特殊的类型。通用的字符串列表迭代器更有意义，因此我可以选择，split_whitespace也可以只选择通用的字符串列表。

如何使用文档或编译器错误来概括签名handle_tokens？

这是我独自回答问题的失败尝试：

我可以看到SplitAsciiWhitespace“特质实现”包括：

impl<'a> Iterator for SplitWhitespace<'a>

这是next()从哪里来的（我不得不检查源代码以进行验证）。因此，我尝试使用带有fn handle_tokens( mut it: Iterator ) {but的迭代器：

error[E0191]: the value of the associated type `Item` (from trait `std::iter::Iterator`) must be specified
  --> src/main.rs:10:27
   |
10 | fn handle_tokens( mut it: Iterator ) {
   |                           ^^^^^^^^ help: specify the associated type: `Iterator<Item = Type>`

好的，Iterator太通用了，无法使用...我需要告诉编译器它包装了什么。那是有道理的，否则我将无法取消引用它。我不得不再次查看源代码，以了解如何SplitWhitespace实现Iterator并看到它，type Item = &'a str;因此我尝试使用Itemwith进行指定fn handle_tokens( mut it: Iterator<Item = &str>)，但是：

error[E0277]: the size for values of type `(dyn std::iter::Iterator<Item = &str> + 'static)` cannot be known at compilation time
  --> src/main.rs:10:19
   |
10 | fn handle_tokens( mut it: Iterator<Item = &str> ) {
   |                   ^^^^^^ doesn't have a size known at compile-time
   |
   = help: the trait `std::marker::Sized` is not implemented for `(dyn std::iter::Iterator<Item = &str> + 'static)`
   = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
   = note: all local variables must have a statically known size
   = help: unsized locals are gated as an unstable feature

好的，所以我还需要指定一个大小。这很奇怪，因为虽然我知道str在编译时无法知道的大小，但&str应该是的大小。

在这一点上我很卡住。当Rust似乎提供了如此强大的内置文档支持时，我也很惊讶必须进行源代码检查。这使我认为我用来回答这个问题的方法是错误的。