module RBS::DetailedMessageable

def detailed_message(highlight: false, **)
  msg = if Exception.method_defined?(:detailed_message)
    super
  else
    # Failback to `#message` in Ruby 3.1 or earlier
    "#{message} (#{self.class.name})"
  end
  return msg unless location
  # Support only one line
  return msg unless location.start_line == location.end_line
  indent = " " * location.start_column
  marker = "^" * ([location.end_column - location.start_column, 1].max or raise)
  io = StringIO.new
  io.puts msg
  io.puts
  io.print "\e[1m" if highlight
  io.puts "  #{location.buffer.lines[location.end_line - 1]}"
  io.puts "  #{indent}#{marker}"
  io.print "\e[m" if highlight
  io.string
end