373(1): デフォルトの名無しさん [] 2023/09/22(金) 19:29:43.87 ID:v8mgsVW8(4/4) AAS
>>372
コンパイル通りました!ありがとうございます!
ただもう少しわがままを言うと、実際の実装ではメソッドチェーンの箇所がこれの2倍ぐらいの長さなので具体的なイテレータの型を書かずにコンパイラ任せにしたかったんですが、話を見る限りどうも無理そうですね...

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

375(1): デフォルトの名無しさん [sage] 2023/09/23(土) 09:19:17.35 ID:lKOAbDFW(1) AAS
可能なら dyn は避けるに越したことは無い。
dyn はトレイトオブジェクトを扱うための仕組みであって
推論を補助する仕組みではないから。