{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"AggregateKind::Adt(adt_did,"}]}
                    AggregateKind::Adt(adt_did, variant, args, _user_ty, _) => {
                        ty::tls::with(|tcx| {