Module shared_box
unsafer
A Box-like container which manages the memory, but can be dereferenced from multiple locations without MIRI complaining.