Decision #28 — library/alloc/src/collections/btree/node.rs:886

Status: unreached

Truth table

rowc0 br 166c1 br 168outcome

Independent-effect pairs