Decision #1665 — src/lib.rs:811
Status: unreached
Truth table
| row | c0 br 4945 | c1 br 4946 | c2 br 4947 | outcome |
|---|
Independent-effect pairs
c0(branch4945): DEAD view gap →<scry_analyze_core::Interp>::poly_transfer· br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7090c1(branch4946): DEAD view gap →<scry_analyze_core::Interp>::poly_transfer· br_table_target
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7090c2(branch4947): DEAD view gap →<scry_analyze_core::Interp>::poly_transfer· br_table_default
inlined: library/core/src/ops/function.rs:250 ← lib.rs:7090