Decision #356 — library/core/src/ptr/mut_ptr.rs:961

Status: unreached

Truth table

rowc0 br 2556c1 br 2561c2 br 2572outcome

Independent-effect pairs