Decision #612 — library/core/src/option.rs:2775
Status: unreached
Truth table
| row | c0 br 4018 | c1 br 4019 | c2 br 4020 | outcome |
|---|
Independent-effect pairs
c0(branch4018): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4188 ← library/core/src/iter/adapters/zip.rs:83 ← library/core/src/iter/adapters/zip.rs:164c1(branch4019): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4188 ← library/core/src/iter/adapters/zip.rs:83 ← library/core/src/iter/adapters/zip.rs:164c2(branch4020): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if