{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
// arena is the lifetime 'a that is threaded around).
// GC, we allocate terms out of a bounded arena (the lifetime of this
//