Infer issue not being detected - CHECKERS_EXPENSIVE_OVERRIDES_UNANNOTATED

[yorkueecsuser]

This infer bug is being detected in the Java code below CHECKERS_EXPENSIVE_OVERRIDES_UNANNOTATED with version 1.0.0, and this flag --annotation-reachability, but it's not being detected when scanned with infer 1.2.0.

Is this a known issue, and will the documentation be updated if a different flag is needed?

import java.lang.annotation.*;
@Retention(RetentionPolicy.CLASS)
@Target({
    ElementType.TYPE,
    ElementType.METHOD,    
    ElementType.FIELD,     
    ElementType.CONSTRUCTOR, 
    ElementType.PARAMETER
})
@interface Expensive {}

interface I {
    void foo();
}

class A implements I {
    @Expensive
    public void foo() {
        System.out.println("Expensive operation executed.");
    } 
    public void showBug() {
        foo();
    }
}

Command:
infer run --annotation-reachability -- javac A.java