-
Notifications
You must be signed in to change notification settings - Fork 503
Open
Description
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.
alex
Metadata
Metadata
Assignees
Labels
No labels