{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"virtual_name.display(),"}]}
                            virtual_name.display(),
                            "try_to_translate_virtual_to_real: `{}` -> `{}`",
                            new_path.display(),