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

Status: no_witness

Truth table

rowc0 br 670c1 br 697outcome
13390T*T
13391T*T
21108T*T
21109T*T
28903T*T
28904T*T
34841T*T
34842T*T
53298T*T
53299T*T
63070T*T
63071T*T
92994T*T
92995T*T
111857T*T
111858T*T

Independent-effect pairs