public interface I<U extends J<? extends I<U>>> {
}
interface J<T extends I<? extends J<T>>> {
}
class CI<U extends CJ<T, U> & @Marker J<@Marker T>,
			T extends CI<U, T> & @Marker I<U>>
	implements I<U> {
}
class CJ<T extends CI<U, T> & @Marker I<@Marker U>,
			U extends CJ<T, U> & J<T>>
	implements J<T> {
}