Decision #231 — library/core/src/ptr/mod.rs:549

Status: unreached

Truth table

rowc0 br 1221c1 br 1222c2 br 1224c3 br 1225c4 br 1226c5 br 1227c6 br 1230c7 br 1235c8 br 1236c9 br 1237c10 br 1238outcome

Independent-effect pairs