I have:

public interface ActionControl<C extends ActionControl<C>> extends Control<C>
{
	public ActionModel getModel();
}
 
public interface ValueControl<V, C extends ValueControl<V, C>> extends Control<C>
{
	public ValueModel<V> getModel();
}
 
public interface ActionValueControl<V, C extends ActionValueControl<V, C>> extends ActionControl<C>, ValueControl<V, C>
{
	public ActionValueModel<V> getModel();
}
 
public interface ActionValueModel<V> extends ValueModel<V>, ActionModel
{
}

The 1.5_04 compiler gives me:

"ActionValueControl.java:9: types ValueControl<V,C> and ActionControl<C> are incompatible; both define getModel(), but with unrelated return types
public interface ActionValueControl<V, C extends ActionValueControl<V, C>> extends ActionControl<C>, ValueControl<V, C>"

The getModel() return types may be unrelated in the super interfaces, but the interface being defined clearly returns a type that satisfies both constraints.

This works just fine in Eclipse 3.1M2. How can I get this to work with javac?

Garret

 

 

It turns out that this is a bug. Sun never replied to my bug submission almost two months ago (internal review ID 593682), but from Eclipse compiler bug discussions it appears that the Sun compiler does not comply with JLS3 9.4.1.

See:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=122881
https://bugs.eclipse.org/bugs/show_bug.cgi?id=122617

Garret

 

 

Sorry for necroposting but...I'm having problems with this exact error in java 6. Is there any way to get code like this to compile? Perhaps using a different java compiler?

Edited by: leptogenesis on Jun 23, 2008 6:20 PM