javacでヒープ汚染せずに代入文だけでクラッシュ - その後

http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6806876
javacでヒープ汚染せずに代入文だけでクラッシュ - しげるメモのバグレポ送ったら登録されてた模様。

コンパイラのカテゴリとして送ったはずなのに、JavaのSpecificationのバグとして登録されてる…。Evaluationの項にも書いてありますが、javac(というかJLS3)では、intersection typeがnon-reifiableでないという認識になってるみたいですね*1。たぶん、この前のバグは氷山の一角だと思います。

ちなみに、英語がひどいのは仕様です。

*1:クラスファイルの仕様を考えるとどう考えてもreifiableではないのですが