{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
            // the method itself hold, but we intentionally do not do this in the old
            // FIXME(-Znext-solver): We alternatively could check the predicates of
            // solver b/c of cycles, and doing it in the new solver would be stronger.