サブクラスが追加でプロトコルに準拠してて、スーパークラス & プロトコルなExistentialを表現する際にはwitness tableが必要になるかと。スーパークラスの時点で準拠してるプロトコルについては不要。