checker/tests/lock/ConstructorReturnNPE.java

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

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

// :: error: (expression.unparsable)
@GuardedBy("lock") class ConstructorReturnNPE {
  // :: error: (expression.unparsable) :: error: (super.invocation)
  // :: warning: (inconsistent.constructor.type)
  @GuardedBy("lock") ConstructorReturnNPE() {}
}