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

class B<T,S>{}
abstract class A<T> {
    abstract B<T,T> foo();
    <T> void baz(B<T,T> b){}
    void bar(A<?> a){
        baz(a.foo());
    }
}