正確に言うと、静的型ほど多くのことはわからないが、
ローカル変数程度や、どこのクラスにも存在しないメソッド等、
型情報とは無関係のことに関しては、赤線を引いてくれる。