checker/tests/nullness/AssertIfNonNullTest.java

import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.dataflow.qual.Pure;

public class AssertIfNonNullTest {

  Long id;

  public AssertIfNonNullTest(Long id) {
    this.id = id;
  }

  @AssertNonNullIfNonNull("id")
  @Pure
  public @Nullable Long getId() {
    return id;
  }
}