{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"mir::AggregateKind::Adt(def_id,"}]}
            mir::AggregateKind::Adt(def_id, var_idx, generic_arg, user_ty_index, field_idx) => {
            mir::AggregateKind::Tuple => crate::mir::AggregateKind::Tuple,
                crate::mir::AggregateKind::Adt(