Description Jerome Lanneluc 2005-03-16 11:05:17 EST

I20050315 + latest JDT Core

I1.java
/**
 * @deprecated
 */
public interface I1 {
	// empty block
}

I2.java
/**
 * @deprecated
 */
public interface I2 {
	I1 foo(); // unexpected warning here
}

X.java
/**
 * @deprecated
 */
public class X {
	/**
	 * @see I2#foo()
	 */
	I1 foo() {
		return null;
	}
}