具体的に上の例ではIterator<item = u32>は何か単相型に決まってしまうんですか？
[u32]とかvec<u32>とか勝手にコンパイラが決めてしまうんですか？
それ以外の型で使おうとしたらコンパイルできないの？
ホント？