Decision #152 — library/core/src/ptr/mod.rs:1731

Status: unreached

Truth table

rowc0 br 877c1 br 879c2 br 880outcome

Independent-effect pairs