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