{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"gate_already_checked:"}]}
        gate_already_checked: bool,
        /// complicated than just checking a single gate).
        /// Whether it is allowed to use this operation from stable `const fn`.