{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":")+)"}]}
        )+) => { $(
            $($src:ident).+ -> $($dst:ident).+ ;
            match copy.pointer(concat!($("/", stringify!($src)),+)).cloned() {