Decision #89 — library/core/src/ptr/mod.rs:810
Status: unreached
Truth table
| row | c0 br 629 | c1 br 636 | outcome |
|---|
Independent-effect pairs
c0(branch629): DEAD view gap →scry_analyze_core::run_function_body· br_if
inlined: lib.rs:2918 ← library/core/src/ptr/mod.rs:810c1(branch636): DEAD view gap →scry_analyze_core::run_function_body· br_if