Decision #439 — library/core/src/ptr/mod.rs:823

Status: unreached

Truth table

rowc0 br 2496c1 br 2497c2 br 2526outcome

Independent-effect pairs