Function summarize

pub fn summarize(violations: &[Violation]) -> String

A report short enough for a log line or an error frame.

Names the first few violations and how many were left out, since the first one is usually the one to act on and the count says whether to go looking.