{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
            // and then try to prove it (in this case, we'll fail).
            // (actually that happens in the previous `flat_map` call),
            //