Decision #93 — library/core/src/ptr/mod.rs:1939

Status: no_witness

Truth table

rowc0 br 521c1 br 527outcome
70994T*T
70995T*T
70996T*T
70997T*T
80877T*T
80878T*T
80879T*T
80880T*T
222111T*T
222112T*T
222113T*T
222114T*T
222115T*T
222116T*T
222117T*T
222118T*T
299488T*T
299489T*T
299490T*T
299491T*T
299492T*T
299493T*T
299494T*T
299495T*T

Independent-effect pairs