{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"Rvalue::Aggregate(AggregateKind::Adt(variant_id.into(),"}]}
            Rvalue::Aggregate(AggregateKind::Adt(variant_id.into(), subst), fields),
            place,
            span,