Failed

org.eclipse.jdt.core.tests.compiler.regression.NullTypeAnnotationTest.testBug446442_4 - 1.8 (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.junit.extension.TestCase.assertStringEquals(TestCase.java:260)
	at org.eclipse.jdt.core.tests.junit.extension.TestCase.assertEquals(TestCase.java:236)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest.runJavac(AbstractRegressionTest.java:2052)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest.runTest(AbstractRegressionTest.java:2814)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest.runTest(AbstractRegressionTest.java:2539)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest.runConformTest(AbstractRegressionTest.java:3028)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractNullAnnotationTest.runConformTestWithLibs(AbstractNullAnnotationTest.java:183)
	at org.eclipse.jdt.core.tests.compiler.regression.AbstractNullAnnotationTest.runConformTestWithLibs(AbstractNullAnnotationTest.java:165)
	at org.eclipse.jdt.core.tests.compiler.regression.NullTypeAnnotationTest.testBug446442_4(NullTypeAnnotationTest.java:7336)

Standard Output

org.eclipse.jdt.core.tests.compiler.regression.NullTypeAnnotationTest#testBug446442_4 - 1.8
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.1514610271420/1.8.0_131_20171230_000432.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

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