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

Status: no_witness

Truth table

rowc0 br 4215c1 br 4217c2 br 4221outcome
1457FTFF
1458FTFF
8417FTFF
8418FTFF
15218FTFF
15219FTFF

Independent-effect pairs