Decision #460 — library/core/src/ptr/mod.rs:1939

Status: no_witness

Truth table

rowc0 br 3013c1 br 3014c2 br 3015c3 br 3027outcome
181137***FT
184457***FT
187564***FT

Independent-effect pairs