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

class Base { }
class Extended extends Base {}

class Test<T extends Base> {
    <T extends Base, U extends T> void test(T x, Class<U> test) {}
    {
        <error descr="Inferred type 'Base' for type parameter 'U' is not within its bound; should extend 'Extended'">test(new Extended(), Base.class)</error>;
    }
}