{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
                        // `succ` has been visited but no new drops observed so far,
                    {
                        // so we can bail on `succ` until new drop information arrives