Decision #60 — library/core/src/ptr/mod.rs:1721

Status: unreached

Truth table

rowc0 br 477c1 br 478c2 br 479c3 br 480c4 br 481c5 br 490c6 br 491outcome

Independent-effect pairs