Decision #559 — library/core/src/option.rs:2775
Status: no_witness
Truth table
| row | c0 br 3613 | c1 br 3615 | c2 br 3616 | outcome |
|---|---|---|---|---|
| 946 | T | * | * | T |
| 4739 | T | * | * | T |
| 8470 | T | * | * | T |
Independent-effect pairs
c0(branch3613): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1676 ← lib.rs:5876c1(branch3615): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1676 ← lib.rs:5876c2(branch3616): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1676 ← lib.rs:5876