確認すべきは、キャスト後のexistentialがwitness tableを保持してるかどうかか。