convenience initが呼べる条件が、全てのinitが実装されていること、だったかな

5:06 AM

その条件にprotocol extensionで実装されたinitが加味されていないのが問題の中枢

5:07 AM

init(factory: () -> Self)のwitness-tableには、Cat,Dogはなくて、Animalだけがある、だから、convenience initはCat/Dogからは呼べない、が正しいと思うんですよね

5:08 AM

この問題僕が随分前に報告したprotocol extension + overridingの問題も関係してくるな