Decision #329 — library/core/src/ptr/mod.rs:810

Status: no_witness

Truth table

rowc0 br 2420c1 br 2421c2 br 2423c3 br 2424outcome
993FF**T
994FF**T
995FF**T
996FF**T
997FF**T
4033FF**T
4034FF**T
4035FF**T
4036FF**T
4037FF**T
6982FF**T
6983FF**T
6984FF**T
6985FF**T
6986FF**T
9743FF**T
10891FF**T
11982FF**T
13790FF**T
21508FF**T
29515FF**T
35453FF**T
41010FF**T
41011FF**T
41012FF**T
41013FF**T
44023FF**T
44024FF**T
44025FF**T
44026FF**T
47476FF**T
47477FF**T
47478FF**T
47479FF**T
50550FF**T
50551FF**T
50552FF**T
50553FF**T
53783FF**T
63555FF**T
73384FF**T
73385FF**T
73386FF**T
73387FF**T
73388FF**T
73389FF**T
76859FF**T
76860FF**T
76861FF**T
76862FF**T
76863FF**T
76864FF**T
79486FT**T
79487FT**T
79488FT**T
80949FF**T
82136FF**T
83198FF**T
84420FF**T
86160FF**T
86161FF**T
86162FF**T
87766FF**T
89470FF**T
89471FF**T
91114FF**T
93729FF**T
112592FF**T
130157FF**T
131332FF**T
132659FF**T

Independent-effect pairs