{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            tcx.mk_place_deref(Place::from(cor_ptr_local)),
        body.basic_blocks_mut()[START_BLOCK].statements.insert(