checker/tests/nullness/GetRefArg.java

import java.lang.reflect.*;
import org.checkerframework.checker.nullness.qual.*;

public class GetRefArg {
  private void get_ref_arg(Constructor<?> constructor) throws Exception {
    Object val = constructor.newInstance();
    // :: warning: (nulltest.redundant)
    assert val != null;
  }
}