Decision #546 — library/core/src/slice/mod.rs:2660
Status: unreached
Truth table
| row | c0 br 3796 | c1 br 3797 | outcome |
|---|
Independent-effect pairs
c0(branch3796): DEAD view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3399 ← library/core/src/str/mod.rs:2490 ← library/core/src/str/pattern.rs:617 ← library/core/src/str/pattern.rs:1043 ← library/core/src/str/pattern.rs:1034c1(branch3797): DEAD view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3399 ← library/core/src/str/mod.rs:2490 ← library/core/src/str/pattern.rs:617 ← library/core/src/str/pattern.rs:1043 ← library/core/src/str/pattern.rs:1034