コンパイル通りました!ありがとうございます!372(2): デフォルトの名無しさん [sage] 2023/09/22(金) 18:43:25.81 ID:8SLDLfd5(1) AAS
関数定義から一意な具体型に推論されるのは戻り値型に書いた impl の話ですね
引数型に書いた impl は単にジェネリック引数を匿名化したものという扱いなので
hoge は I: Iterator<Item=i64> なる任意の I で単一化できるような定義が求められます
外部リンク[html]:doc.rust-lang.org
なので引数で&mut引き回してdynも使いたくないということであれば↓になりますかね
外部リンク:play.rust-lang.org