}

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

  public void testFailOneArgDoesntThrowNpe() {
    shouldFail(new FailOneArgDoesntThrowNpe());
  }

  private static class FailOneArgThrowsWrongType extends PassObject {
    @Override
    public void oneArg(String s) {