Decision #684 — library/core/src/ptr/mod.rs:823

Status: no_witness

Truth table

rowc0 br 4395c1 br 4429c2 br 4430outcome
1651FT*T
8611FT*T
15412FT*T
30941F**T
51796F**T
92404F**T
100233F**T
108722F**T
116748F**T
124681F**T
141400F**T
191375F**T
203436F**T
216005F**T
377191F**T
379848F**T
382732F**T

Independent-effect pairs