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