それが絡んだメンバはアクセスできないか、

3:56 AM

AnyCollectionのIndexと同じで、それもまたAnyになって、

3:56 AM

書き込みアクセスの時に、実態のassociatedtypeにダウンキャスト、型が違ったらクラッシュ

3:57 AM

とかが考えられますね

3:57 AM

protocol Animal { associatedtype Foo } なら Any で、 protocol Animal { associatedtype Foo : P } なら any P

3:59 AM

型安全（実行時クラッシュ無し）にするなら、CovarianceポジションはAny, ContravarianceポジションはNeverにするしかない。(associatedtypeにプロトコルついてるなら境界になる