Decision #1347 — library/alloc/src/vec/mod.rs:464
Status: unreached
Truth table
| row | c0 br 1422 | c1 br 1423 | c2 br 1424 | c3 br 1425 | outcome |
|---|
Independent-effect pairs
c0(branch1422): DEAD view gap →scry_analyze_core::op_report_name· br_table_target
inlined: lib.rs:2505c1(branch1423): DEAD view gap →scry_analyze_core::op_report_name· br_table_target
inlined: lib.rs:2505c2(branch1424): DEAD view gap →scry_analyze_core::op_report_name· br_table_target
inlined: lib.rs:2505c3(branch1425): DEAD view gap →scry_analyze_core::op_report_name· br_table_default
inlined: lib.rs:2505