Closed SUPERCILEX closed 1 year ago
I believe the strict-provenance-related stuff has been fixed in the master (https://github.com/crossbeam-rs/crossbeam/pull/796). As for stacked-borrows-related stuff in the epoch, there is a fix in https://github.com/crossbeam-rs/crossbeam/pull/871, but feedback on the new API is needed.
Closing as already fixed.
Not sure if this is solvable on stable yet, but there are quite a few miri errors.