0308デフォルトの名無しさん垢版 | 大砲2020/03/27(金) 21:21:00.05ID:aLfv28Wa 関数の型を推論するのを捨ててるから Deref coercionだったりFrom/Intoだったり中身を書くときに型を省略できるんじゃないの? owned/shared/mutの違いに加えてlifetimeもあるから それらも含めて推論することになると現実に使えるレベルになるのかどうか怪しい 少なくとも現時点で注力するようなポイントじゃないと思う