Decision #771 — mod.rs:929
Status: unreached
Truth table
| row | c0 br 5491 | c1 br 5492 | c2 br 5499 | outcome |
|---|
Independent-effect pairs
c0(branch5491): DEAD view gap →std::thread::current::with_current_name::<std::panicking::default_hook::{closure#0}::{closure#0}, ()>::{closure#0}· br_if
inlined: backtrace.rs:24 ← mutex.rs:492 ← no_threads.rs:19 ← cell.rs:513c1(branch5492): DEAD view gap →std::thread::current::with_current_name::<std::panicking::default_hook::{closure#0}::{closure#0}, ()>::{closure#0}· br_if
inlined: backtrace.rs:24 ← mutex.rs:492 ← no_threads.rs:19 ← cell.rs:513c2(branch5499): DEAD view gap →std::thread::current::with_current_name::<std::panicking::default_hook::{closure#0}::{closure#0}, ()>::{closure#0}· br_if