Decision #989 — library/core/src/ptr/mod.rs:1921
Status: partial
Truth table
| row | c0 br 2388 | c1 br 2389 | c2 br 2390 | c3 br 2391 | c4 br 2392 | c5 br 2393 | c6 br 2394 | c7 br 2395 | c8 br 2396 | outcome |
|---|
Independent-effect pairs
All 9 conditions live in <core::slice::iter::Iter<T> as core::iter::traits::iterator::Iterator>::any — 1 br_table_default + 8 br_table_target
c0(branch2388): DEAD view gap →c1(branch2389): DEAD view gap →c2(branch2390): DEAD view gap →c3(branch2391): DEAD view gap →c4(branch2392): DEAD view gap →c5(branch2393): DEAD view gap →c6(branch2394): DEAD view gap →c7(branch2395): DEAD view gap →c8(branch2396): PROVED