Description Eric Inman 2008-01-03 10:32:30 EST

Build ID: M20070921-1145

Steps To Reproduce:
Create a project with the following classes in the same package:

A.java:
import java.util.Collection;

public abstract class A
<T extends A<T,S>,S extends Collection<T>> {}

B.java:
import java.util.Collection;

public abstract class B extends A<D,Collection<D>> {
	boolean isD() {return this instanceof D;}
}

C.java:
public abstract class C extends B {
	boolean isD() {return this instanceof D;}
}

D.java:
public final class D extends C {}

In class C, "this instanceof D" will be underlined in red with the message "Incompatible conditional operand types C and D". However, no errors are indicated otherwise, such as in the Problems view. Also, the same code in class B is not marked as an error.


More information:
Probably occurs in combination with bug 214191, which seems similar to bug 35899.