{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"\"known"}]}
                    "known panics lint encountered formatting error: {}",
                    !err.kind().formatted_string(),
                    format_interp_error(self.ecx.tcx.dcx(), err),