昔は Opaque Argument Type って呼んでたはずなのに、いつからか Opaque Argument Type ってタームが消え去って、この PR だと Opaque Parameter になってるな。元々 "Improving the UI of generics" にあったはずなんだけど、編集されて残ってない。 ✏️ ボタンから編集履歴見ようとしたけど、クリックしても何も出てこない。見れないんだっけ？ (edited)