pub fn fmt_diag<K>( f: &mut dyn Write, e: &dyn ErrorDiagnostic<Kind = K>, ) -> Resultwhere K: ResultKind,