Decision #468 — `types.rs:1782`

Status: no_witness

Truth table

row	c0 br 3182	c1 br 3183	c2 br 3184	c3 br 3185	outcome
1062	T	*	*	*	T
1063	F	F	*	*	T
1064	T	*	*	*	T
4102	T	*	*	*	T
4103	F	F	*	*	T
4104	T	*	*	*	T
7051	T	*	*	*	T
7052	F	F	*	*	T
7053	T	*	*	*	T
9781	T	*	*	*	T
10929	T	*	*	*	T
12020	T	*	*	*	T
18126	F	F	*	*	T
18127	T	*	*	*	T
25844	F	F	*	*	T
25845	T	*	*	*	T
31575	T	*	*	*	T
37513	T	*	*	*	T
41095	F	F	*	*	T
41096	T	*	*	*	T
41097	T	*	*	*	T
44108	F	F	*	*	T
44109	T	*	*	*	T
44110	T	*	*	*	T
47560	F	F	*	*	T
47561	T	*	*	*	T
47562	T	*	*	*	T
50635	F	F	*	*	T
50636	T	*	*	*	T
50637	T	*	*	*	T
59585	F	F	*	*	T
59586	T	*	*	*	T
69357	F	F	*	*	T
69358	T	*	*	*	T
73509	T	*	*	*	T
76984	T	*	*	*	T
79548	T	*	*	*	T
80986	T	*	*	*	T
82173	T	*	*	*	T
83235	T	*	*	*	T
84465	F	F	*	*	T
84466	T	*	*	*	T
86250	T	*	*	*	T
87807	F	F	*	*	T
87808	T	*	*	*	T
89555	T	*	*	*	T
91169	F	F	*	*	T
91170	T	*	*	*	T
107252	T	*	*	*	T
126115	T	*	*	*	T
130189	F	F	*	*	T
130190	T	*	*	*	T
131364	F	F	*	*	T
131365	T	*	*	*	T
132691	F	F	*	*	T
132692	T	*	*	*	T

All 4 conditions live in <core::iter::adapters::GenericShunt<I,R> as core::iter::traits::iterator::Iterator>::try_fold — 4 br_if