{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"alloc.1.mutability"}]}
        alloc.1.mutability = base_mutability;
        let alloc = ecx.memory.alloc_map.get_mut(&base_alloc_id).unwrap();
        alloc.1.provenance().ptrs().iter().map(|&(_, prov)| prov).collect()