検査例外とasync、コンパイラ側が勝手にやってエディタ側で表示するという世界線がありえるのか(重そう)