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