openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA57271.java

abstract class A<S> {
    abstract <T> T foo(T x, T y);

    {
        A<? extends A<? extends Throwable>> a = null;
        A<? extends A<?>> b = null;
        foo(a, b);
    }
}