Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Go through
as_mut_ptr
instead of as_ptr
to mutate
Going through `as_ptr` does not give write provenance since it creates an intermediary shared reference.
- Loading branch information