Decision #495 — library/core/src/ptr/mod.rs:1731

Status: no_witness

Truth table

rowc0 br 3468c1 br 3469c2 br 3472c3 br 3473c4 br 3474outcome
1001T****T
1002TT***T
1003T****T
1004TT***T
1005T****T
1006TT***T
1007FFTT*T
1008T*F*TT
1009FFF*TT
7961T****T
7962TT***T
7963T****T
7964TT***T
7965T****T
7966TT***T
7967FFTT*T
7968T*F*TT
7969FFF*TT
14762T****T
14763TT***T
14764T****T
14765TT***T
14766T****T
14767TT***T
14768FFTT*T
14769T*F*TT
14770FFF*TT
21653FFF*TT
24396FFF*TT
27039FFF*TT
30609FFF*TT
51464FFF*TT
72389FFF*TT
82272FFF*TT
91929T****T
91930TT***T
91931FFTT*T
91932T*F*TT
91933FFF*TT
99758T****T
99759TT***T
99760FFTT*T
99761T*F*TT
99762FFF*TT
108247T****T
108248TT***T
108249FFTT*T
108250T*F*TT
108251FFF*TT
116273T****T
116274TT***T
116275FFTT*T
116276T*F*TT
116277FFF*TT
124346FFF*TT
141065FFF*TT
158151FFTT*T
158152**TT*T
158153**TT*T
158154**TT*T
158155**TT*T
158156T*F*TT
158157FFTT*T
158158**TT*T
158159**TT*T
158160**TT*T
158161T*F*TT
158162T****T
158163FFTT*T
158164**TT*T
158165**TT*T
158166T*F*TT
158167T****T
158168T****T
158169FFTT*T
158170**TT*T
158171T*F*TT
158172T****T
158173T****T
158174T****T
158175FFTT*T
158176T*F*TT
158177T****T
158178T****T
158179T****T
158180T****T
158181FFF*TT
168009FFTT*T
168010**TT*T
168011**TT*T
168012**TT*T
168013**TT*T
168014T*F*TT
168015FFTT*T
168016**TT*T
168017**TT*T
168018**TT*T
168019T*F*TT
168020T****T
168021FFTT*T
168022**TT*T
168023**TT*T
168024T*F*TT
168025T****T
168026T****T
168027FFTT*T
168028**TT*T
168029T*F*TT
168030T****T
168031T****T
168032T****T
168033FFTT*T
168034T*F*TT
168035T****T
168036T****T
168037T****T
168038T****T
168039FFF*TT
176435FFF*TT
176436TT***T
176437TT***T
181157FFF*TT
184476FFF*TT
187584FFF*TT
191118FFF*TT
196386TT***T
196387TT***T
196388FFF*TT
203245FFF*TT
207728TT***T
207729FFF*TT
215600FFF*TT
224067FFF*TT
301444FFF*TT
377040FFF*TT
379697FFF*TT
382581FFF*TT

Independent-effect pairs