someのメリットは見かけの型を消すけど特殊化して性能低下しないことにあるから

7:24 AM

その挙動があると性能低下する可能性があることになって

7:25 AM

someを書くのがアンチパターンになりかねない。

7:25 AM

あ、わかった、コンパイルエラーで、

7:25 AM

result values in '? :' expression have mismatching types 'AError' and 'BError' がでたときに

7:25 AM

fix-it ボタンクリックしたら any Error に書き換わるならいいんじゃない。