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

class A<T> {
    A<A<? super A<T>>> foo(){
        return null;
    }

    void bar(A<?> x){
        baz(x.foo());
    }

    <S> void baz(A<A<? super A<S>>> x){}
}