Decision #682 — library/core/src/ptr/mod.rs:642
Status: no_witness
Truth table
| row | c0 br 4747 | c1 br 4748 | outcome |
|---|---|---|---|
| 115050 | F | F | F |
| 115051 | F | F | F |
Independent-effect pairs
c0(branch4747): GAP view gap →<alloc::vec::Vec<i64>>::dedup_by::<<alloc::vec::Vec<i64>>::dedup::{closure#0}>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:499 ← library/core/src/slice/sort/shared/smallsort.rs:409c1(branch4748): GAP view gap →<alloc::vec::Vec<i64>>::dedup_by::<<alloc::vec::Vec<i64>>::dedup::{closure#0}>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:409