{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
                            // a Goto; see `MirPatch::new`).
                            // (in particular it can be patched to be replaced with
                        }