Description Marco Fucci 2013-09-27 20:15:30 EDT

Bug is reproducible with Eclipse 3.8 and 4.3

What steps will reproduce the problem?
Attached project reproduces the bug.
1 _ import the project
(link to correct jdk if needed)
2 _ open Implementations.java
3 _ an error appears on Object: Illegal redefinition of parameter o, inherited method from Interface.InnerInterface does not constrain this parameter

What is the expected output? What do you see instead?
o is defined in InnerInterface a non-null by default, so there should be no error at this point. Implementation of containing interface doesn't report the error.
The bug seems to be in the incremental compiler, since error is not reported in "Problems"

This is blocking to enable null analysis on complex projects...

Tested code:
@ParametersAreNonnullByDefault
public class Implementations implements Interfaces.InnerInterface {
	
	public class Implementation implements Interfaces {
		@Override
		public Object doSomething(Object o) {
			return o;
		}
	}

	@Override
	public Object doSomethingElse(Object o) { // <--  incorrect error here
		return o;
	}
}

@ParametersAreNonnullByDefault
public interface Interfaces {
  Object doSomething(Object o);

  // Adding @ParametersAreNonnullByDefault reports an error
  public interface InnerInterface {
    Object doSomethingElse(Object o);
  }
}