{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"Diagnostic"}]}
        Diagnostic {
        let translated_message = je.translator.translate_messages(&subdiag.messages, args);
            message: translated_message.to_string(),