Member predicate ClassAnnotatedAsThreadSafe::singleMonitorMismatch

Holds if the field f has more than one access, all locked by a single monitor, but different monitors are used.