Description Markus Keller 2004-11-02 12:42:04 EST

I20041101-0800 + jdt.core from HEAD

Eclipse compiles the following CU without error. javac1.5.0's errors in comments.

package p;
import java.util.List;

interface IDoubles {
	public List<Double> getList();
}


class A implements IDoubles {
	//p.A is not abstract and does not override abstract method getList()
	//in p.IDoubles
	public List<String> getList() {
		//getList() in p.A cannot implement getList() in p.IDoubles;
		//attempting to use incompatible return type
		return null;
	}
}


class B {
	public List<String> getList() {
		return null;
	}
}

class C extends B implements IDoubles {
	//p.C is not abstract and does not override abstract method getList()
	//in p.IDoubles
	void use() {
		List<String> l= getList();
	}
}