A new annotation would be nice to mark a piece of code for deadlock problems.

example:

@NeverBy("this") Object canCauseDeadlock = ...

... synchronized (this) { canCauseDealock... // <-- Warning }

https://github.com/google/error-prone/issues/366