(そもそもキャストの宛先プロトコルが動的だとしたら、キャスト結果の値を使うコードを書きようが無い気もするけど）