Decision #144 — library/core/src/ptr/mod.rs:549

Status: unreached

Truth table

rowc0 br 851c1 br 854c2 br 855outcome

Independent-effect pairs