non-null 型への型昇格を適宜利用できているか