docs: function highlightSourceAtLocation(
    source: Source,
    location: SourceLocation,
  ): string {
    const firstLineColumnOffset = source.locationOffset.column - 1;
    const body = whitespace(firstLineColumnOffset) + source.body;
  
    const lineIndex = location.line - 1;
    const lineOffset = source.locationOffset.line - 1;
    const lineNum = location.line + lineOffset;
  
    const columnOffset = location.line === 1 ? firstLineColumnOffset : 0;
    const columnNum = location.column + columnOffset;
  
    const lines = body.split(/\r\n|[\n\r]/g);
    return (
      `${source.name} (${lineNum}:${columnNum})\n` +
      printPrefixedLines([
        // Lines specified like this: ["prefix", "string"],
        [`${lineNum - 1}: `, lines[lineIndex - 1]],
        [`${lineNum}: `, lines[lineIndex]],
        ['', whitespace(columnNum - 1) + '^'],
        [`${lineNum + 1}: `, lines[lineIndex + 1]],
      ])
    );
  }