Closed RalfJung closed 2 years ago
It took me a bit to realize that trace_unsynchronized is a private implementation detail of the Miri module; this makes that explicit.
trace_unsynchronized
It took me a bit to realize that
trace_unsynchronizedis a private implementation detail of the Miri module; this makes that explicit.