Decision #420 — library/alloc/src/alloc.rs:99

Status: unreached

Truth table

rowc0 br 2867c1 br 2868outcome

Independent-effect pairs