動的型で、コードの場所が遠いという理由で推論できない例をあげてみてよ