Description Jay Arthanareeswaran 2013-11-28 01:47:21 EST

The following code reports only one error, but there should be two. ECJ reports both.

public class X extends Base implements I {

	public static void main(String[] args) {
		X x = new X();
		x.foo((short)5, (short)10);
		x.bar((short)5, (short)10);
	}
	
	public void foo(short s, int i) {} // No error, but should have been
	public void bar(short s, int i) {} // Correctly reported

}

interface I {
	public default void foo(int i, short s) {}
}

class Base {
	public void bar(int i, short s) {}
}