{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"true"}]}
            true
            cx.emit_err(session_diagnostics::MultipleStabilityLevels { span: cx.attr_span });
        } else {