Skip to content

Instantly share code, notes, and snippets.

@Manishearth Manishearth/elsa-miri.txt Secret
Created May 14, 2019

Embed
What would you like to do?
$ cargo miri run -- -Zmiri-seed=1234
Compiling elsa v1.1.0 (/home/manishearth/mozilla/Wall/elsa)
friends of lonely:
direct friends:
reverse friends:
error[E0080]: constant evaluation error: no item to reborrow for SharedReadWrite from tag 2540 found in borrow stack
--> /home/manishearth/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/ops/deref.rs:79:29
|
79 | fn deref(&self) -> &T { *self }
| ^^^^^ no item to reborrow for SharedReadWrite from tag 2540 found in borrow stack
|
= note: inside call to `<&Thing as std::ops::Deref>::deref` at /home/manishearth/mozilla/Wall/elsa/src/vec.rs:39:40
= note: inside call to closure at /home/manishearth/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/option.rs:416:29
= note: inside call to `std::option::Option::<&&Thing>::map::<&Thing, [closure@DefId(9/1:32 ~ elsa[1a11]::vec[0]::{{impl}}[1]::get[0]::{{closure}}[0])]>` at /home/manishearth/mozilla/Wall/elsa/src/vec.rs:39:13
= note: inside call to `elsa::vec::FrozenVec::<&Thing>::get` at /home/manishearth/mozilla/Wall/elsa/src/vec.rs:103:28
note: inside call to `<elsa::vec::Iter<&Thing> as std::iter::Iterator>::next` at src/bin.rs:56:27
--> src/bin.rs:56:27
|
56 | for friend in &thing.reverse_friends {
| ^^^^^^^^^^^^^^^^^^^^^^
note: inside call to `Arena::dump` at src/bin.rs:10:5
--> src/bin.rs:10:5
|
10 | arena.dump();
| ^^^^^^^^^^^^
= note: inside call to `main` at /home/manishearth/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libstd/rt.rs:64:34
= note: inside call to closure at /home/manishearth/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libstd/rt.rs:52:53
= note: inside call to closure at /home/manishearth/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libstd/panicking.rs:293:40
= note: inside call to `std::panicking::try::do_call::<[closure@DefId(1/1:1833 ~ std[c5e1]::rt[0]::lang_start_internal[0]::{{closure}}[0]) 0:&dyn std::ops::Fn() -> i32 + std::marker::Sync + std::panic::RefUnwindSafe], i32>` at /home/manishearth/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libstd/panicking.rs:289:5
= note: inside call to `std::panicking::try::<i32, [closure@DefId(1/1:1833 ~ std[c5e1]::rt[0]::lang_start_internal[0]::{{closure}}[0]) 0:&dyn std::ops::Fn() -> i32 + std::marker::Sync + std::panic::RefUnwindSafe]>` at /home/manishearth/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libstd/panic.rs:388:9
= note: inside call to `std::panic::catch_unwind::<[closure@DefId(1/1:1833 ~ std[c5e1]::rt[0]::lang_start_internal[0]::{{closure}}[0]) 0:&dyn std::ops::Fn() -> i32 + std::marker::Sync + std::panic::RefUnwindSafe], i32>` at /home/manishearth/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libstd/rt.rs:52:25
= note: inside call to `std::rt::lang_start_internal` at /home/manishearth/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libstd/rt.rs:64:5
= note: inside call to `std::rt::lang_start::<()>`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0080`.
error: Could not compile `elsa`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.