docs: public SourceLocation extend(SourceLocation other) {
      checkState(
          filePath.equals(other.filePath),
          "Mismatched files paths: %s and %s",
          filePath,
          other.filePath);
      return new SourceLocation(filePath, begin, other.end);
    }