The following code crashes the compiler:

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

class TestAnno {

    @Target(value = {ElementType.TYPE_USE})
    @interface A{}

    class Sup<X, Y> { }

    class Sub<U extends @A V, @A V extends String> extends Sup<U, V> { }
}

This is a reduced test case obtained from this:
https://github.com/wildfly/typeannotation-test/blob/master/src/main/java/test/VExample.java#L117