#95 Bytecode verification error (which affects JML)

[Yoonsik Cheon]

This is a simplified version of the sample code showing a
bytecode verification error reported by Jake to the JML
project.

cheon@jungwoone] more T.java
public class T {
private void doSomething(long time, Object o) {
}
private class Helper {
public void doWhat() {
doSomething(1000, this);
}
}
public static void main(String [] args) {
T obj = new T();
}
}
cheon@jungwoone] mjc T.java
cheon@jungwoone] java T
Exception in thread "main" java.lang.VerifyError: (class:
T, method: access$1 signature: (JLjava/lang/Object;)V)
Register 2 contains wrong type
cheon@jungwoone]