あー、自動erasure構成できない問題もからんでるのか。

7:16 AM

まだ any P がないから。

7:16 AM

でもどうなんだろうね、someは最適化指向的な言語機能だから、いつのまにか親にeraseされてるのは、罠になるから

7:16 AM

なんか結局コンパイラ警告が出たりしそうだな。