Issue502.java

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

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