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

Status: no_witness

Truth table

rowc0 br 4176c1 br 4177c2 br 4179c3 br 4200outcome
1453TFTFT
1454TFT*T
1455TFTFT
1456TFT*T
8413TFTFT
8414TFT*T
8415TFTFT
8416TFT*T
15214TFTFT
15215TFT*T
15216TFTFT
15217TFT*T

Independent-effect pairs