{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"//"}]}
            //
            // for undefined behavior (UB) checks.
            // A coverage counter inside a const expression (for example, a counter injected in a