{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"trace!(\"return"}]}
            trace!("return value: {:?}", this.dump_place(return_place));
            this.copy_op_allow_transmute(&return_op, return_place)?;
            interp_ok(())