コードによっては、Conditional Conformanceを使った型を食わせるテストが必要になりそう。