でも今回は、associatedtypeをBoxingすれば回避できることに気がついたので