pub fn render_pretty_report_with_selection( report: &WorkspaceReport, selection: DiagnosticSelection, ) -> String