(今の２つのコードはclass Animalかprotocol Animalを変えてる)

8:14 AM

はい、制約それ自体を推論させる仕組みは多分存在しない

8:14 AM

推論できるのは型パラメータに適用する型の方で

8:15 AM

型パラメータの制約は型ではない

8:15 AM

まあ

8:15 AM

そもそも今できない事を拡張してできるようにする話をしているんで