checker/tests/lock/Issue523.java

// Test case for Issue 523:
// https://github.com/typetools/checker-framework/issues/523

import org.checkerframework.checker.lock.qual.*;

public class Issue523 {
  static class MyClass {
    Object field;
  }

  static final @GuardedBy("<self>") MyClass m = new MyClass();

  static void foo() {
    Thread t =
        new Thread() {
          public void run() {
            synchronized (m) {
              m.field = new Object();
            }
          }
        };
  }
}