これは、そうだね

2:31 AM

もっとシンプルなのでいくとclassの制約の型パラにはclass制約を満たすprotocolの変数は入れられない

2:32 AM

swiftのprotocol型の変数が、実際には存在型として振る舞ってるという話だけどまだ全貌掴めてないや