@Keep
    public static void staticOneNullableArgThrows(@Nullable String s) {
      doThrow(s);
    }
  }

  public void testGoodClass() {
    shouldPass(new PassObject());
  }

  private static class FailOneArgDoesntThrowNpe extends PassObject {
    @Override
    public void oneArg(String s) {
      // Fail: missing NPE for s
    }
  }

  public void testFailOneArgDoesntThrowNpe() {