Decision #135 — library/core/src/ptr/mod.rs:1721

Status: no_witness

Truth table

rowc0 br 860c1 br 886c2 br 887outcome
40558*F*F
40559*FTT
43526*F*F
43527*FTT
46979*F*F
46980*FTT
50098*F*F
50099*FTT

Independent-effect pairs