Description Tim Moreton 2005-06-25 17:45:05 EDT

I am getting VerifyErrors on 3.1 RC3 (I20050617-1618). This looks similar to bug
69776. I believe that this is due to incorrect bytecode being generated, missing
casts, to deal with unboxing and reboxing a generic Integer with a "--"
operation (I presume this is valid java!?- if not, i should be warned, and it
should not appear to compile fine!). Test case:

public final class Pair<F,S> {
    public F first;
    public S second;

    public static <F,S> Pair<F,S> create(F f, S s) {
	return new Pair<F,S>(f,s);
    }
	
    public Pair(final F f, final S s) {
        first = f;
        second = s;
    }
}

public class A {
	public void a() {
		Pair<Integer,Integer> p = Pair.create(1,3);
		p.first--;
	}
	
	public static void main(final String[] args) {
		new A().a();
	}
}

I get: 
Exception in thread "main" java.lang.VerifyError: (class: A, method: a
signature: ()V) Incompatible object argument for function call
Comment out the line "p.first--;" and it runs fine.

linux-gtk x86 32bit

java.runtime.name=Java(TM) 2 Runtime Environment, Standard Edition
java.runtime.version=1.5.0-b64

Thanks, Tim