Description Philipe Mulet 2005-07-07 11:02:15 EDT

Build 3.1.0

The following code yields an infinite regression during type inference:
import java.util.*;

class X<T extends Comparable<? super T>> {

    abstract class Foo<E> implements I<Foo<? extends E>> {}
    abstract class Bar<E> implements I<Bar<? extends E>> {}

    public void bar(List<Foo<T>> f, List<Bar<T>> b) {
	foo(f, b);
    }

    <C> void foo(List<? extends C> f, List<? extends C> b) {
	System.out.println("SUCCESS");
    }
    public static void main(String... args) {
	new X().bar(null, null);
    }
}
interface I<U> {}