checker/tests/lock/Issue2163Lock.java

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

public class Issue2163Lock {
  @GuardedBy Issue2163Lock() {}

  void test() {
    // :: error: (constructor.invocation) :: error: (guardsatisfied.location.disallowed)
    new @GuardSatisfied Issue2163Lock();
  }
}