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


1
2
3
4
5
6
7
8
9

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);
    }
}