{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"diag.code(E0080);"}]}
            diag.code(E0080);
            // FIXME(oli-obk): figure out how to use structured diagnostics again.
            diag.span_label(span, crate::fluent_generated::const_eval_validation_failure);