コンパイル通したいってわけではなくて、型がかわっているかどうか知りたいって感じか