Decision #434 — library/core/src/ptr/non_null.rs:1714
Status: no_witness
Truth table
| row | c0 br 3028 | c1 br 3059 | outcome |
|---|---|---|---|
| 521 | * | T | T |
| 4315 | * | T | T |
| 8045 | * | T | T |
| 47744 | * | T | T |
| 47745 | * | T | T |
| 51913 | * | T | T |
| 51914 | * | T | T |
| 56451 | * | T | T |
| 56452 | * | T | T |
| 60668 | * | T | T |
| 60669 | * | T | T |
| 163163 | * | T | T |
| 164734 | * | T | T |
| 166456 | * | T | T |
Independent-effect pairs
c0(branch3028): DEAD view gap →scry_analyze_core::compute_float_facts· br_ifc1(branch3059): GAP view gap →scry_analyze_core::compute_float_facts· br_if