型が動的だと>>535の例のようなコードはどうなるの?