{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"(tcx.def_span(discr_def_id),"}]}
                    (tcx.def_span(discr_def_id), format!("`{dis}` (overflowed from `{lit_value}`)"))
                {
                } else {