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