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