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 ----------------------------------------