openide/java/java-tests/testData/codeInsight/overrideImplement/afterSkipUnknownAnnotations.java

interface A {
    void f(@Unknown1 @Unknown2 String s, @Unknown3 s3);
}
class B implements A {
    @Override
    public void f(String s) {
        
    }
}