Decision #503 — library/alloc/src/vec/spec_from_iter_nested.rs:61

Status: no_witness

Truth table

rowc0 br 3676c1 br 3677outcome
1016T*T
7976T*T
14777T*T
21656T*T
24399T*T
27042T*T
30612T*T
51467T*T
72392T*T
82275T*T
91938T*T
99767T*T
108256T*T
116282T*T
124349T*T
141068T*T
158189T*T
168047T*T
176442T*T
181160T*T
184479T*T
187587T*T
191121T*T
196393T*T
203248T*T
207733T*T
215603T*T
224071T*T
301448T*T
377043T*T
379700T*T
382584T*T

Independent-effect pairs