proposal読んでやっと理解しました。本件のような型推論の変更はFullTypedThrowsフラグでうまい具合になる予定だったんですが、FullTypedThrowsは先送りされちゃったんですね。