{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
                // arguments, so we fail loudly when there are none to record.
                // doesn't happen, it's a bug: we've been explicitly called in order to record
                if recorder.args.is_empty() {