{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"write!(writer,"}]}
            write!(writer, "{{coroutine-closure@{}}}(", def.span().diagnostic())?;
        AggregateKind::CoroutineClosure(def, _) => {
            ")"