Failed

org.eclipse.jdt.core.tests.compiler.regression.NullTypeAnnotationTest.testBug446442_4 - 10 (from org.eclipse.jdt.core.tests.compiler.regression.TestAll)

Error Message

testBug446442_4 - Javac found error(s) but Eclipse did not find any.
----------- Expected ------------

------------ but was ------------
Test.java:8: error: interface Baz inherits abstract and default for m(Integer) from types Foo and Foo\n
interface Baz extends Foo<Integer, Integer> {}\n
^\n
1 error\n

--------- Difference is ----------
 expected:<[]> but was:<[Test.java:8: error: interface Baz inherits abstract and default for m(Integer) from types Foo and Foo\n
interface Baz extends Foo<Integer, Integer> {}\n
^\n
1 error\n
]>

Stacktrace

junit.framework.ComparisonFailure: 
testBug446442_4 - Javac found error(s) but Eclipse did not find any.
----------- Expected ------------

------------ but was ------------
Test.java:8: error: interface Baz inherits abstract and default for m(Integer) from types Foo and Foo\n
interface Baz extends Foo<Integer, Integer> {}\n
^\n
1 error\n

--------- Difference is ----------
 expected:<[]> but was:<[Test.java:8: error: interface Baz inherits abstract and default for m(Integer) from types Foo and Foo\n
interface Baz extends Foo<Integer, Integer> {}\n
^\n
1 error\n
]>
	at org.eclipse.jdt.core.tests.compiler.regression.NullTypeAnnotationTest.testBug446442_4(NullTypeAnnotationTest.java:7472)

Standard Output

org.eclipse.jdt.core.tests.compiler.regression.NullTypeAnnotationTest#testBug446442_4 - 10
Test.java [
import org.eclipse.jdt.annotation.*;
interface Foo<T, N extends Number> {
	abstract void m(@NonNull N arg2) throws Exception;

	default void m(T arg1) throws java.io.IOException {}
}

interface Baz extends Foo<Integer, Integer> {}
abstract class Impl {
  public void m(Integer a) throws java.io.IOException {}
}
class BazImpl extends Impl implements Baz {}

public class Test {
	void test(BazImpl b) throws java.io.IOException {
		b.m(null);
	}
}

]


Full results sent to /tmp/comptest/run.1584245034298/10.0.2_20200315_040443.txt

Standard Error

--- javac err: ---
Test.java:8: error: interface Baz inherits abstract and default for m(Integer) from types Foo and Foo
interface Baz extends Foo<Integer, Integer> {}
^
1 error

----------------------------------------