{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"AggregateKind::Adt(did,"}]}
                AggregateKind::Adt(did, _, args, _, _) => tcx.type_of(did).instantiate(tcx, args),
                }
                AggregateKind::Closure(did, args) => Ty::new_closure(tcx, did, args),