checker/jtreg/stubs/general/Driver.java

/*
 * @test
 * @summary Test that java.lang annotations can be used.
 * @library .
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -Astubs=MyStub.astub Driver.java  -AstubWarnIfNotFound -Werror
 */

public class Driver {
  void test() {
    Object o = null;
    String v = String.valueOf(o);
  }
}