-
Notifications
You must be signed in to change notification settings - Fork 13k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
miri error in safe code when mutating the bool inside Option<RefCell<bool>> #68303
Comments
Is this related to #68206? |
cc @RalfJung @rust-lang/lang |
At a first glance yes, this seems very related to #68206. I think what happens is that |
@rodrimati1992 this is a great catch, and with perfect timing :) |
…ell, r=oli Hide niches under UnsafeCell Hide any niche of T from type-construction context of `UnsafeCell<T>`. Fix rust-lang#68303 Fix rust-lang#68206
Rustup and also a test for rust-lang/rust#68303
Rustup and also a test for rust-lang/rust#68303
Running this code in miri(2019-12-27) in the playground:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=3e8c5326890889354418d3161294d0fe
Results in this MIRI error:
The text was updated successfully, but these errors were encountered: