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

Status: no_witness

Truth table

rowc0 br 646c1 br 647outcome
112FFT
113FFT
7072FFT
7073FFT
13810FFT
13811FFT

Independent-effect pairs