Comment Comment by kurante Have you seen GhostCell[1]? Seems like this could be a solution to your problem.[1]: https://plv.mpi-sws.org/rustbelt/ghostcell/ parent kurante 11 months ago
[1]: https://plv.mpi-sws.org/rustbelt/ghostcell/