The following program provokes a compiler stack overflow:

class A<T extends A<T>> {
    <U extends A<U>> void f() {
        A<U> a = (A<U>) this;
    }
}