Decision #772 — mod.rs:620
Status: unreached
Truth table
| row | c0 br 5503 | c1 br 5504 | outcome |
|---|
Independent-effect pairs
c0(branch5503): DEAD view gap →std::thread::current::with_current_name::<std::panicking::default_hook::{closure#0}::{closure#0}, ()>::{closure#0}· br_if
inlined: mod.rs:1976c1(branch5504): DEAD view gap →std::thread::current::with_current_name::<std::panicking::default_hook::{closure#0}::{closure#0}, ()>::{closure#0}· br_if
inlined: mod.rs:1976