Decision #431 — library/core/src/option.rs:2843
Status: no_witness
Truth table
| row | c0 br 3009 | c1 br 3010 | outcome |
|---|---|---|---|
| 519 | * | T | T |
| 4313 | * | T | T |
| 8043 | * | T | T |
| 47740 | * | T | T |
| 47741 | * | T | T |
| 51909 | * | T | T |
| 51910 | * | T | T |
| 56447 | * | T | T |
| 56448 | * | T | T |
| 60664 | * | T | T |
| 60665 | * | T | T |
| 163161 | * | T | T |
| 164732 | * | T | T |
| 166454 | * | T | T |
Independent-effect pairs
c0(branch3009): DEAD view gap →scry_analyze_core::compute_float_facts· br_if
inlined: lib.rs:2799c1(branch3010): GAP view gap →scry_analyze_core::compute_float_facts· br_if
inlined: lib.rs:2799