Failed

org.eclipse.jdt.core.tests.compiler.regression.NullTypeAnnotationTest.testBug446442_4 - 12 (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: types Foo<T,N> and Foo<T,N> are incompatible;\n
interface Baz extends Foo<Integer, Integer> {}\n
^\n
  interface Baz inherits abstract and default for m(Integer) from types Foo and Foo\n
  where T,N are type-variables:\n
    T extends Object declared in interface Foo\n
    N extends Number declared in interface Foo\n
1 error\n

--------- Difference is ----------
 expected:<[]> but was:<[Test.java:8: error: types Foo<T,N> and Foo<T,N> are incompatible;\n
interface Baz extends Foo<Integer, Integer> {}\n
^\n
  interface Baz inherits abstract and default for m(Integer) from types Foo and Foo\n
  where T,N are type-variables:\n
    T extends Object declared in interface Foo\n
    N extends Number declared in interface Foo\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: types Foo<T,N> and Foo<T,N> are incompatible;\n
interface Baz extends Foo<Integer, Integer> {}\n
^\n
  interface Baz inherits abstract and default for m(Integer) from types Foo and Foo\n
  where T,N are type-variables:\n
    T extends Object declared in interface Foo\n
    N extends Number declared in interface Foo\n
1 error\n

--------- Difference is ----------
 expected:<[]> but was:<[Test.java:8: error: types Foo<T,N> and Foo<T,N> are incompatible;\n
interface Baz extends Foo<Integer, Integer> {}\n
^\n
  interface Baz inherits abstract and default for m(Integer) from types Foo and Foo\n
  where T,N are type-variables:\n
    T extends Object declared in interface Foo\n
    N extends Number declared in interface Foo\n
1 error\n
]>
	at org.eclipse.jdt.core.tests.compiler.regression.NullTypeAnnotationTest.testBug446442_4(NullTypeAnnotationTest.java:7444)

Standard Output

org.eclipse.jdt.core.tests.compiler.regression.NullTypeAnnotationTest#testBug446442_4 - 12
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/genie.jdt/comptest/run.1565715170219/12_20190813_125251.txt

Standard Error

--- javac err: ---
Test.java:8: error: types Foo<T,N> and Foo<T,N> are incompatible;
interface Baz extends Foo<Integer, Integer> {}
^
  interface Baz inherits abstract and default for m(Integer) from types Foo and Foo
  where T,N are type-variables:
    T extends Object declared in interface Foo
    N extends Number declared in interface Foo
1 error

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