Decision #96 — library/core/src/ptr/mod.rs:823

Status: no_witness

Truth table

rowc0 br 561c1 br 563c2 br 564c3 br 565c4 br 566c5 br 567c6 br 568outcome
222128****FT*T
222129****FT*T
222130****FT*T
222131****FT*T
299505****FT*T
299506****FT*T
299507****FT*T
299508****FT*T

Independent-effect pairs