/* test %W% %E% %I%
 * @summary wilcard bound check
 * @compile -source 1.5 WildcardFBoundCheck
 *
 * variation of 4890134
 */
class WildcardFBoundCheck
{
  interface I4<T> { int i4(T t); }
 
  class C4<X extends I4<Y>, Y extends I4<X>>
  {
X x;
Y y;
  }
  WildcardFBoundCheck()
  {
C4<I4<?>,?> x2; //fails
  }
}

/*
WildcardFBoundCheck.java:18 type parameter WildcardFBoundCheck.I4<?> is not within its bound
C4<I4<?>,?> x2;
                    ^
*/