{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"AggregateKind::Adt(st.into(),"}]}
                        AggregateKind::Adt(st.into(), subst.clone()),
                    Rvalue::Aggregate(
                        st.fields(self.db)