pub fn render_why(w: &WhyReport) -> String
Render a WhyReport: at most MAX_TOOL_LINES lines.
WhyReport
MAX_TOOL_LINES