{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
                            // It is possible for `Resume` to be patched
                        TerminatorKind::UnwindResume => {
                            // (in particular it can be patched to be replaced with