Box<T> みたいな型を作って any P じゃなくて Box<any P> で S に持たせるようにしたらこれが書けるようになるんですけどね... extension Box: Equatable where T == any P { static func == (lhs: Self, rhs: Self) -> Bool { true // FIXME } }