コンパイル時にジェネリックパラメータについての型チェックができる、はそうなんだけど、型システムのかなり前段で行われちゃうんですよね (edited)

9:48 AM

Java5からJava4に型検査＋ダウントランスパイルしてから実際のコンパイルするような感じ。