{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"AggregateKind::Adt(def,"}]}
                AggregateKind::Adt(def, _, ref args, _, _) => Ok(def.ty_with_args(args)),
                )),
                AggregateKind::Closure(def, ref args) => Ok(Ty::new_closure(def, args.clone())),