protocol P : AnyObject {} struct S<T: AnyObject> {} // 'S' requires that 'P' be a class type S<P>() (edited)

4:09 AM

クラスプロトコルのexistentialはクラスではないらしい。

4:12 AM

protocol P : AnyObject {} class C : P {} struct S<T: AnyObject> {} var a: P = C() var b: AnyObject = a as AnyObject

4:12 AM

でもAnyObjectへのアップキャストはできる。