{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"AggregateKind::Adt(adt_did,"}]}
            AggregateKind::Adt(adt_did, _, args, _, _) => {
        let (def_id, instantiated_predicates) = match *aggregate_kind {
                (adt_did, tcx.predicates_of(adt_did).instantiate(tcx, args))