{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"Rvalue::CopyForDeref(place)"}]}
            Rvalue::CopyForDeref(place) => place.ty(locals),
            Rvalue::ShallowInitBox(_, ty) => Ok(Ty::new_box(*ty)),
        }