キャスト結果を使い回す＝existentialがwitness tableを保持する、なのでは。 (edited)