クラス: varが作れる、引数の型にできる、型制約にできる、型パラメータにできるシンプルprotocol: varが作れる、引数の型にできる、型制約にできる、型パラメータにできない一般protocol: varが作れない、引数の型にできない、型制約にできる、型パラメータにできない

2:13 AM

言語仕様としてExistential周りの制約が緩まれば、それらもできるようになる可能性はある