Decision #9 — library/core/src/ptr/mod.rs:549

Status: no_witness

Truth table

rowc0 br 65c1 br 66outcome
382213FFF

Independent-effect pairs