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