Decision #179 — `library/core/src/hint.rs:879`

Status: no_witness

Truth table

row	c0 br 1001	c1 br 1006	outcome
176000	F	*	F
206254	F	*	F
214564	F	*	F

c0 (branch 1001): GAP view gap →
core::slice::sort::shared::smallsort::insertion_sort_shift_left::<(scry_analyze_core::Advisory, core::option::Option<&str>), <[(scry_analyze_core::Advisory, core::option::Option<&str>)]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:254 ← library/core/src/slice/sort/shared/smallsort.rs:640
c1 (branch 1006): DEAD view gap →
core::slice::sort::shared::smallsort::insertion_sort_shift_left::<(scry_analyze_core::Advisory, core::option::Option<&str>), <[(scry_analyze_core::Advisory, core::option::Option<&str>)]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:254 ← library/core/src/slice/sort/shared/smallsort.rs:638