{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"idx,"}]}
                idx,
                discr: variant.discr,
                ctor: variant.ctor.map(|(kind, def_id)| (kind, def_id.index)),