From 293957695ad7c85db83262536427faa14fcaee4c Mon Sep 17 00:00:00 2001 From: Tristan Matthews Date: Wed, 15 Sep 2021 16:22:15 -0400 Subject: [PATCH] cdef: enforce 8 element size for first_max_element --- src/cdef.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cdef.rs b/src/cdef.rs index 08a222677b..93b1337eda 100644 --- a/src/cdef.rs +++ b/src/cdef.rs @@ -65,7 +65,7 @@ pub(crate) mod rust { /// /// Panics if `elems` is empty #[inline] - fn first_max_element(elems: &[i32]) -> (usize, i32) { + fn first_max_element(elems: &[i32; 8]) -> (usize, i32) { // In case of a tie, the first element must be selected. let (max_idx, max_value) = elems .iter() @@ -307,7 +307,7 @@ pub(crate) mod rust { fn check_max_element() { assert_eq!(first_max_element(&[-1, -1, 1, 2, 3, 4, 6, 6]), (6, 6)); assert_eq!(first_max_element(&[-1, -1, 1, 2, 3, 4, 7, 6]), (6, 7)); - assert_eq!(first_max_element(&[0, 0]), (0, 0)); + assert_eq!(first_max_element(&[0, 0, 0, 0, 0, 0, 0, 0]), (0, 0)); } } }