Decision #1585 — library/alloc/src/collections/btree/node.rs:558

Status: unreached

Truth table

rowc0 br 256c1 br 257c2 br 258outcome

Independent-effect pairs