I’m still confused about the “no-op Drop” aspect.
MmapMut does not implement
Drop, so there must already be some
Drop wrapper that is being provided over it (which does the flush in
drop()). So isn’t that analogous to the
Ref<'a> in the minimal example? Its
Drop prevents multiple
Refs being alive in the same scope.
memmap crate is available on the playground - perhaps we can switch to that with a more realistic example?