Decision #965 — `library/core/src/slice/index.rs:238`

Status: no_witness

Truth table

row	c0 br 6220	c1 br 6228	c2 br 6232	c3 br 6233	c4 br 6234	c5 br 6235	c6 br 6237	c7 br 6241	c8 br 6242	c9 br 6243	c10 br 6248	outcome
240329	*	*	*	*	*	*	*	*	*	*	F	T
240330	*	*	*	*	*	*	*	*	*	*	F	T
240331	*	*	*	*	*	*	*	*	*	*	F	T
240332	*	*	*	*	*	*	*	*	*	*	F	T
240333	*	*	*	*	*	*	*	*	*	*	F	T
240334	*	*	*	*	*	*	*	*	*	*	F	T
240335	*	*	*	*	*	*	*	*	*	*	F	T
240336	*	*	*	*	*	*	*	*	*	*	F	T
240337	*	*	*	*	*	*	*	*	*	*	F	T
240338	*	*	*	*	*	*	*	*	*	*	F	T
240339	*	*	*	*	*	*	*	*	*	*	F	T
240340	*	*	*	*	*	*	*	*	*	*	F	T
240341	*	*	*	*	*	*	*	*	*	*	F	T
240342	*	*	*	*	*	*	*	*	*	*	F	T
240343	*	*	*	*	*	*	*	*	*	*	F	T
240344	*	*	*	*	*	*	*	*	*	*	F	T
240345	*	*	*	*	*	*	*	*	*	*	F	T
240346	*	*	*	*	*	*	*	*	*	*	F	T
240347	*	*	*	*	*	*	*	*	*	*	F	T
240348	*	*	*	*	*	*	*	*	*	*	F	T
317706	*	*	*	*	*	*	*	*	*	*	F	T
317707	*	*	*	*	*	*	*	*	*	*	F	T
317708	*	*	*	*	*	*	*	*	*	*	F	T
317709	*	*	*	*	*	*	*	*	*	*	F	T
317710	*	*	*	*	*	*	*	*	*	*	F	T
317711	*	*	*	*	*	*	*	*	*	*	F	T
317712	*	*	*	*	*	*	*	*	*	*	F	T
317713	*	*	*	*	*	*	*	*	*	*	F	T
317714	*	*	*	*	*	*	*	*	*	*	F	T
317715	*	*	*	*	*	*	*	*	*	*	F	T
317716	*	*	*	*	*	*	*	*	*	*	F	T
317717	*	*	*	*	*	*	*	*	*	*	F	T
317718	*	*	*	*	*	*	*	*	*	*	F	T
317719	*	*	*	*	*	*	*	*	*	*	F	T
317720	*	*	*	*	*	*	*	*	*	*	F	T
317721	*	*	*	*	*	*	*	*	*	*	F	T
317722	*	*	*	*	*	*	*	*	*	*	F	T
317723	*	*	*	*	*	*	*	*	*	*	F	T
317724	*	*	*	*	*	*	*	*	*	*	F	T
317725	*	*	*	*	*	*	*	*	*	*	F	T

All 11 conditions live in <scry_poly::Poly>::project — 11 br_if