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