Alice Ryhl

That would work too, yes.

What happens if you pass `--nocapture` to the test that double panics? ``` RUSTFLAGS="--cfg loom" cargo test --test loom-test -- --nocapture ```

No, see #601.

It is currently possible to run Tokio under miri with `-Zmiri-disable-isolation`. However you will need to create a runtime without IO enabled. For example, like this: ```Rust fn main() {...

> Imagine if this took out tokio. It's interesting that you mention Tokio. I'm one of the maintainers of Tokio. Tokio does have unsafe code that relies on the so-called...

@823984418 They differ in their lang attributes: * UnsafeAliased uses `#[lang = "unsafe_aliased"]` * UnsafeCell uses `#[lang = "unsafe_cell"]` This will make the computer treat them differently in the ways...

No, the lang attribute is important. What you described gives you something that makes immutable references allow mutation (like UnsafeCell), but what we actually want us something that makes mutable...

Yeah, I don't think borrowed is the right word. This type is concerned with the rules that even unsafe code must follow, which is a different ruleset from the borrow...

What is needed to move this forward?

Taking new dependencies is always complicated. It raises various questions about to what extent we lock ourselves in for the future, what effect it has on MSRV and so on....