Comment by gnosek

or

    fn twiddle<I>(foozles: I)
    where
      I: Iterator<Item=Foozle>

(or probably IntoIterator<Item=Foozle>). `impl T` is (modulo some details I don't remember right now) just syntactic sugar for this.