@Override
    public int compareTo(@NotNull Location that) {
      // Same as in LocationImpl
      int res = this.method().compareTo(that.method());
      if (res != 0) {
        return res;
      }
      return Long.compare(codeIndex(), that.codeIndex());
    }
@Override
    public int compareTo(@NotNull Location that)