Decision #167 — library/core/src/option.rs:1042
Status: unreached
Truth table
| row | c0 br 1098 | c1 br 1099 | outcome |
|---|
Independent-effect pairs
c0(branch1098): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:4754 ← lib.rs:484c1(branch1099): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:4754 ← lib.rs:484