openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA67599.java

abstract class A<T, S extends T>
{
      abstract S bar();
      void foo(A<Cloneable[], ? extends Throwable[]> a)
      {
          int x = a.bar().length;
      }
}