instanceof でオブジェクトの型を確認した後の分岐は（少なくともローカル変数に対しては）
そのブロック内にてその型でアクセスできることは明らかなのに、
なぜ型推論もされず、ダウンキャストがないとその型でアクセスできないの？

っていう話のはず