unboxing versus array index results in verify error

JCK test conv14202, and the following test, compile to unverifiable code:

class T {
    public static void main(String[] args) {
        Integer i = 0;
        System.out.println(args[i]);
    }
}