口頭で話したまとめ self.animal は T としてBox(: Animal)された型で保存されてるはずだから、たとえ T == Cat に specialize されたメソッドの中であっても、self.animal を読む時は Cat 型としては取り出せない実際SILを見ても取り出されてる型は Animal existential で、そこからopenするから Cat は介入してない (edited)

2:36 AM

これを解決するためには Box<Cat> が生成されてないといけない