Decision #457 — library/alloc/src/fmt.rs:659

Status: no_witness

Truth table

rowc0 br 3021c1 br 3022c2 br 3051outcome
176413**FF
176414**FF
181135T**T
184455T**T
187562T**T
207708**FF
207709**FF
215589**FF

Independent-effect pairs