Infer issue not being detected - CHECKERS_ANNOTATION_REACHABILITY_ERROR

[yorkueecsuser]

This infer bug is being detected in the Java code below CHECKERS_ANNOTATION_REACHABILITY_ERROR with version infer 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 used?

import androidx.annotation.UiThread;
import androidx.annotation.WorkerThread;
class AnnotationReachabilityError {
    @UiThread
    public void uiMethod() {
        workerMethod();
    }
    @WorkerThread
    public void workerMethod() {
        // Simulate some work
    }
    public void showBug() {
        uiMethod();
    }
}

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