pub fn render_diagnostics<'a>( diagnostics: impl IntoIterator<Item = &'a Diagnostic>, ) -> SharedString