Undecidable.java

public class Undecidable
{
    class T {}

    class N<Z> {}

    class C<X> extends N<N<? super C<C<X>>>>
    {
        private N<? super C<T>> cast(C<T> c)
        {
            return c;
        }
    }
}