{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"(tcx.def_span(discr_def_id),"}]}
                    (tcx.def_span(discr_def_id), format!("`{dis}`"))
                    // Otherwise, format the value as-is
                }