Bug 96646

Description Bryan Barkley 2005-05-25 13:09:27 EDT

The following code fails when compiled using Eclipse (3.1M7) but runs when
compiled with Sun's JDK.

---------- BaseFactory.java -------------
public abstract class BaseFactory <T> {
    public T create() throws Exception {
        return getType().newInstance();
    }
    public abstract Class<T> getType();
}

---------- StringFactory.java -------------
public interface StringFactory {
    public String create() throws Exception;
}

---------- StringFactoryImpl.java -------------
public class StringFactoryImpl extends BaseFactory<String> implements
StringFactory {
    @Override
    public Class<String> getType() {
        return String.class;
    }
    public static void main(String[] args) throws Exception {
        String emptyString = new StringFactoryImpl().create();
        System.out.printf("We have '%s' of type %s", emptyString,
emptyString.getClass());
    }
}

The error is:
java.lang.VerifyError: (class: StringFactoryImpl, method: create signature:
()Ljava/lang/String;) Wrong return type in function