checker/tests/nullness/GetConstantStr.java

public class GetConstantStr {
  public static void get_constant_str(Object obj) {
    // :: warning: (nulltest.redundant)
    assert obj != null;
  }
}