Decision #66 — library/alloc/src/collections/btree/node.rs:870

Status: unreached

Truth table

rowc0 br 373c1 br 374outcome

Independent-effect pairs