| 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> { | |
| } |