{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"span_bug!(self.span,"}]}
                span_bug!(self.span, "`Terminate` terminator outside of cleanup block")
                // Cleanup blocks are skipped for const checking (see `visit_basic_block_data`).
            }