You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It looks like tree borrows doesn't support int2ptr casts and this is now enforced in miri rust-lang/miri#4109.
Since crossbeam-epoch doesn't work with SB right now and the latest release doesn't include int2ptr removal from #796, I can't find any way to run miri with an aliasing model in projects that depend on this. In my case, I believe the dependency is via rayon.
A release of crossbeam-epoch with these changes seems like it would address my issue. Although, I understand it will be breaking change, so I'm not sure how easy this will be.
The text was updated successfully, but these errors were encountered:
The breaking changes we want to include in the next breaking release have been completed in the master branch with the exception of #946, so we can release crossbeam-epoch 0.10 when #946 is implemented.
(We will probably postpone #871 which is another open braking change proposal as said in #871 (comment).)
It looks like tree borrows doesn't support int2ptr casts and this is now enforced in miri rust-lang/miri#4109.
Since
crossbeam-epoch
doesn't work with SB right now and the latest release doesn't include int2ptr removal from #796, I can't find any way to run miri with an aliasing model in projects that depend on this. In my case, I believe the dependency is viarayon
.A release of
crossbeam-epoch
with these changes seems like it would address my issue. Although, I understand it will be breaking change, so I'm not sure how easy this will be.The text was updated successfully, but these errors were encountered: