@Override
    public void oneArg(String s) {
      doThrow(s); // Fail: throwing non-NPE exception for null s
    }
  }

  public void testFailOneArgThrowsWrongType() {
    shouldFail(new FailOneArgThrowsWrongType());
  }

  private static class PassOneNullableArgThrowsNpe extends PassObject {
    @Override
    public void oneNullableArg(@Nullable String s) {