checker/tests/nullness-extra/issue502/Issue502.java

// Test case for Issue 502:
// https://github.com/typetools/checker-framework/issues/502

public class Issue502 {
  @Override
  public String toString() {
    return "";
  }
}