タイプ一致だとどうなるのでしょうか?