some Pだけにextensionするっていうのはおかしくなっちゃう

8:39 AM

今までは、呼べないエントリがあるとany Pが作れなくなる、という縛りだったのが

8:39 AM

5.7から、呼べないエントリは呼べる形にeraseすることでどんなany Pも作れるようになる (edited)

8:39 AM

という方向に改善された、というのが全体の流れ (edited)