Decision #508 — library/alloc/src/vec/mod.rs:2742
Status: partial
Truth table
| row | c0 br 3410 | c1 br 3412 | outcome |
|---|---|---|---|
| 102587 | F | T | T |
| 102588 | F | F | F |
| 105740 | F | T | T |
| 105741 | F | F | F |
| 108952 | F | T | T |
| 108953 | F | F | F |
| 111529 | F | T | T |
| 111530 | F | F | F |
| 111531 | F | T | T |
| 111532 | F | F | F |
| 114487 | F | T | T |
| 114488 | F | F | F |
Independent-effect pairs
c0(branch3410): GAP view gap →scry_analyze_core::const_expr_takes_func_ref· br_ifc1(branch3412): PROVED — pair rows102587,102588(unique-cause)scry_analyze_core::const_expr_takes_func_ref· br_if