{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"AggregateKind::Coroutine(def,"}]}
                AggregateKind::Coroutine(def, ref args) => Ok(Ty::new_coroutine(def, args.clone())),
                AggregateKind::Closure(def, ref args) => Ok(Ty::new_closure(def, args.clone())),
                AggregateKind::CoroutineClosure(def, ref args) => {