Decision #1140 — wasi.rs:11
Status: unreached
Truth table
| row | c0 br 7947 | c1 br 7949 | outcome |
|---|
Independent-effect pairs
c0(branch7947): DEAD view gap →std::panic::get_backtrace_style· br_ifc1(branch7949): DEAD view gap →std::panic::get_backtrace_style· br_if