Infer issue not being detected - CHECKERS_ANNOTATION_REACHABILITY_ERROR

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