Decision #131 — library/core/src/ptr/mod.rs:1921

Status: no_witness

Truth table

rowc0 br 665c1 br 666c2 br 667c3 br 668c4 br 669outcome
13388FTTTFF
13389FTTTFF
21106FTTTFF
21107FTTTFF
28901FTTTFF
28902FTTTFF
34839FTTTFF
34840FTTTFF
53296FTTTFF
53297FTTTFF
63068FTTTFF
63069FTTTFF
92992FTTTFF
92993FTTTFF
111855FTTTFF
111856FTTTFF

Independent-effect pairs