{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
            // FIXME(-Znext-solver): We alternatively could check the predicates of
            //
            // the method itself hold, but we intentionally do not do this in the old