{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"AggregateKind::Adt("}]}
                            AggregateKind::Adt(
                            AggregateKind::Tuple => {}
                                _adt_def,