checker/tests/nullness-extra/multiple-errors/C4.java

public class C4 {
  void m(@org.checkerframework.checker.nullness.qual.Nullable Object p) {
    p.toString();
  }
}