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

Status: no_witness

Truth table

rowc0 br 94c1 br 95outcome
34T*T
6994T*T
13732T*T
21179T*T
23922T*T
26565T*T
29320T*T
50175T*T
70888T*T
80771T*T
90669T*T
98443T*T
106937T*T
115013T*T
122781T*T
139500T*T
156245T*T
166103T*T
175929T*T
180736T*T
184056T*T
187163T*T
190488T*T
194678T*T
202826T*T
206025T*T
214396T*T
221953T*T
299330T*T
376693T*T
379330T*T
382214T*T

Independent-effect pairs