Decision #205 — library/core/src/ptr/mod.rs:810

Status: no_witness

Truth table

rowc0 br 1670c1 br 1671c2 br 1687c3 br 1688c4 br 1709c5 br 1710outcome
603FTFFTFT
604FT****T
605FTFFTFT
606FT****T
3643FTFFTFT
3644FT****T
3645FTFFTFT
3646FT****T
6588FTFFTFT
6589FT****T
6590FTFFTFT
6591FT****T

Independent-effect pairs