{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":")]"}]}
        )]
            reason = "cannot translate user-provided messages"
        let mut diag = Diag::new(dcx, level, self.msg_from_user.to_string());