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

Status: no_witness

Truth table

rowc0 br 2793c1 br 2795outcome
944TTT
945TTT
946TTT
947TTT
7904TTT
7905TTT
7906TTT
7907TTT
14645TTT
14646TTT
14647TTT
14648TTT

Independent-effect pairs