>>179
良く考えてみたんだけど、君の言う通り何も変わらなかった。
generic なメソッドを持つ trait が object safe でなくなる理由はそこじゃなくて、
Rust では全ての polymorphic な関数が monomorphization されなければならず
それ故に vtable に載せる事ができない為だったね。もし載せようとすれば無限個の関数を
載せなければならなくなってしまう。ここが例えば Haskell や Scala との根本的な違いで、
Haskell では monomorphization はあくまで最適化のための措置であって、基本的には
polymorphic な関数は polymorphic であるままコンパイルされるから、それを
dictionary に載せる事も問題なく可能なのだった。