Decision #227 — library/core/src/ptr/mod.rs:552

Status: no_witness

Truth table

rowc0 br 1771c1 br 1772outcome
696T*T
697FTT
3736T*T
3737FTT
6681T*T
6682FTT
9620FTT
10768FTT
11859FTT
13523FTT
21241FTT
29136FTT
35074FTT
40741T*T
40742FTT
43752T*T
43753FTT
47205T*T
47206FTT
50281T*T
50282FTT
53478FTT
63250FTT
72971T*T
72972T*T
72973T*T
72974T*T
72975T*T
72976FTT
76446T*T
76447T*T
76448T*T
76449T*T
76450T*T
76451FTT
79322FTT
80833FTT
82020FTT
83082FTT
84275FTT
85866FTT
87640FTT
89171FTT
90919FTT
93260FTT
112123FTT
130053FTT
131228FTT
132555FTT

Independent-effect pairs