{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"cor_ptr_local"}]}
            cor_ptr_local = locals.push(LocalDecl::new(ty_ptr, span));
                .project_deeper(&[PlaceElem::Deref, PlaceElem::Field(FieldIdx::ZERO, ty_ptr)], tcx);
            // _cor_ptr = _proxy.0.0 (... .0)