Decision #6 — library/alloc/src/boxed.rs:248

Status: no_witness

Truth table

rowc0 br 17c1 br 19outcome
33FTT
6993FTT
13730FTT
21178FTT
23921FTT
26564FTT
29319FTT
50174FTT
70887FTT
80770FTT
90668FTT
98442FTT
106935FTT
115012FTT
122780FTT
139499FTT
156244FTT
166102FTT
175927FTT
180735FTT
184055FTT
187162FTT
190487FTT
194677FTT
202825FTT
206023FTT
214395FTT
221952FTT
299329FTT
376692FTT
379329FTT
382212FTT

Independent-effect pairs