Decision #232 — library/core/src/ptr/mut_ptr.rs:970

Status: unreached

Truth table

rowc0 br 1216c1 br 1231c2 br 1232outcome

Independent-effect pairs