Decision #435 — library/core/src/slice/index.rs:272
Status: unreached
Truth table
| row | c0 br 3039 | c1 br 3040 | c2 br 3043 | c3 br 3045 | outcome |
|---|
Independent-effect pairs
c0(branch3039): DEAD view gap →scry_analyze_core::compute_float_facts· br_if
inlined: lib.rs:4909 ← library/alloc/src/vec/mod.rs:3873 ← library/core/src/slice/index.rs:31c1(branch3040): DEAD view gap →scry_analyze_core::compute_float_facts· br_if
inlined: lib.rs:4909 ← library/alloc/src/vec/mod.rs:3873 ← library/core/src/slice/index.rs:31c2(branch3043): DEAD view gap →scry_analyze_core::compute_float_facts· br_ifc3(branch3045): DEAD view gap →scry_analyze_core::compute_float_facts· br_if