checker/tests/nullness/MonotonicNonNullFieldTest.java

// Testcase for Issue553
// https://github.com/typetools/checker-framework/issues/553
import org.checkerframework.checker.nullness.qual.*;

public class MonotonicNonNullFieldTest {
  class Data {
    @MonotonicNonNull Object field;
  }

  void method(Object object) {}

  @RequiresNonNull("#1.field")
  void test(final Data data) {
    method(data.field); // checks OK

    Runnable callback =
        new Runnable() {
          public void run() {
            method(data.field); // used to issue error
          }
        };
  }
}