こういうのがあると最適化で動的なキャストを静的にするとかがやりにくくなりそう

8:04 AM

例えばスペシャライズされてジェネリック型変数Tが具体型に固定された場合とか