{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"///"}]}
    /// is a no-op.
    /// code that runs for too long or infinitely. Other than in the const eval interpreter, this
    ConstEvalCounter,