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

Status: no_witness

Truth table

rowc0 br 4891c1 br 4892c2 br 4893c3 br 4912c4 br 4914outcome
31166FFF**T
31167**FTFT
31168FFF*TT
31169**FTFT
31170****TT
52020FFF**T
52021**FTFT
52022FFF*TT
52023**FTFT
52024****TT
72996FFFTFT
72997FFFTTT
72998****FT
72999****TT
82879FFFTFT
82880FFFTTT
82881****FT
82882****TT
124934FFF**T
124935**FTFT
124936FFF*TT
124937**FTFT
124938****TT
141653FFF**T
141654**FTFT
141655FFF*TT
141656**FTFT
141657****TT
224789FFF**T
224790FFF**T
224791**F**T
224792**FTFT
224793FFF*TT
224794FFF**T
224795**F**T
224796**FTFT
224797****TT
302166FFF**T
302167FFF**T
302168**F**T
302169**FTFT
302170FFF*TT
302171FFF**T
302172**F**T
302173**FTFT
302174****TT

Independent-effect pairs