{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"Rvalue::CopyForDeref(impl_ptr_place),"}]}
                    Rvalue::CopyForDeref(impl_ptr_place),
                    Place::from(cor_ptr_local),
                ))),