{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"is_non_exhaustive:"}]}
                is_non_exhaustive: variant.is_field_list_non_exhaustive(),
                ctor: variant.ctor.map(|(kind, def_id)| (kind, def_id.index)),
            };