{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
            // This message comes from another diagnostic, and we are just reconstructing the
        for child in diagnostic.children {
            // diagnostic, so there's no need for translation.