Decision #471 — `library/core/src/slice/cmp.rs:426`

Status: no_witness

Truth table

row	c0 br 3204	c1 br 3205	c2 br 3206	c3 br 3207	c4 br 3208	c5 br 3209	c6 br 3210	outcome
629	F	T	*	*	*	*	*	T
630	F	T	*	*	*	*	*	T
631	F	T	*	*	*	*	*	T
632	T	*	*	*	*	*	*	T
633	F	F	F	*	*	*	*	T
634	T	*	*	*	*	*	*	T
635	T	*	*	*	*	*	*	T
636	T	*	*	*	*	*	*	T
637	F	F	F	*	*	*	*	T
4423	F	T	*	*	*	*	*	T
4424	F	T	*	*	*	*	*	T
4425	F	T	*	*	*	*	*	T
4426	T	*	*	*	*	*	*	T
4427	F	F	F	*	*	*	*	T
4428	T	*	*	*	*	*	*	T
4429	T	*	*	*	*	*	*	T
4430	T	*	*	*	*	*	*	T
4431	F	F	F	*	*	*	*	T
8153	F	T	*	*	*	*	*	T
8154	F	T	*	*	*	*	*	T
8155	F	T	*	*	*	*	*	T
8156	T	*	*	*	*	*	*	T
8157	F	F	F	*	*	*	*	T
8158	T	*	*	*	*	*	*	T
8159	T	*	*	*	*	*	*	T
8160	T	*	*	*	*	*	*	T
8161	F	F	F	*	*	*	*	T
11887	F	T	*	*	*	*	*	T
13263	F	T	*	*	*	*	*	T
14588	F	T	*	*	*	*	*	T
16451	F	T	*	*	*	*	*	T
25931	F	T	*	*	*	*	*	T
35560	F	T	*	*	*	*	*	T
41773	F	T	*	*	*	*	*	T
47817	F	T	*	*	*	*	*	T
47818	T	*	*	*	*	*	*	T
47819	F	F	F	*	*	*	*	T
47820	T	*	*	*	*	*	*	T
47821	F	F	F	*	*	*	*	T
51986	F	T	*	*	*	*	*	T
51987	T	*	*	*	*	*	*	T
51988	F	F	F	*	*	*	*	T
51989	T	*	*	*	*	*	*	T
51990	F	F	F	*	*	*	*	T
56524	F	T	*	*	*	*	*	T
56525	T	*	*	*	*	*	*	T
56526	F	F	F	*	*	*	*	T
56527	T	*	*	*	*	*	*	T
56528	F	F	F	*	*	*	*	T
60741	F	T	*	*	*	*	*	T
60742	T	*	*	*	*	*	*	T
60743	F	F	F	*	*	*	*	T
60744	T	*	*	*	*	*	*	T
60745	F	F	F	*	*	*	*	T
65047	F	T	*	*	*	*	*	T
76560	F	T	*	*	*	*	*	T
88111	F	T	*	*	*	*	*	T
88112	F	T	*	*	*	*	*	T
88113	F	T	*	*	*	*	*	T
88114	F	T	*	*	*	*	*	T
88115	F	T	*	*	*	*	*	T
88116	F	T	*	*	*	*	*	T
92379	F	T	*	*	*	*	*	T
92380	F	T	*	*	*	*	*	T
92381	F	T	*	*	*	*	*	T
92382	F	T	*	*	*	*	*	T
92383	F	T	*	*	*	*	*	T
92384	F	T	*	*	*	*	*	T
96021	T	*	*	*	*	*	*	T
96022	F	F	F	*	*	*	*	T
96023	F	T	*	*	*	*	*	T
96024	F	T	*	*	*	*	*	T
97950	F	T	*	*	*	*	*	T
99467	F	T	*	*	*	*	*	T
100883	F	T	*	*	*	*	*	T
102562	F	T	*	*	*	*	*	T
105661	F	T	*	*	*	*	*	T
105662	T	*	*	*	*	*	*	T
105663	F	F	F	*	*	*	*	T
105664	T	*	*	*	*	*	*	T
105665	F	F	F	*	*	*	*	T
108935	F	T	*	*	*	*	*	T
111450	F	T	*	*	*	*	*	T
111451	F	T	*	*	*	*	*	T
114440	F	T	*	*	*	*	*	T
118505	F	T	*	*	*	*	*	T
141441	F	T	*	*	*	*	*	T
163183	F	T	*	*	*	*	*	T
164754	F	T	*	*	*	*	*	T
166476	F	T	*	*	*	*	*	T

All 7 conditions live in <alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next — 7 br_if