Indicates that an expression is used as a lock and the lock is known to be held on the current thread.

This annotation may not be written in source code; it is an implementation detail of the checker.