Type system undecidable?

Is this a valid Java program?

class F<T> {}
class C<X extends F<F<? super X>>> {
    C(X x) {
        F<? super X> f = x;
    }
}

###@###.### 2004-12-11 00:11:16 GMT