{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
                    // error now -- unlike the case above, we can't
                    // I think that in this case we should report an
                    // wait to see whether the user needs the result