diff --git a/test_programs/execution_success/regression_test_5462/src/main.nr b/test_programs/execution_success/regression_test_5462/src/main.nr index 098dc88361..092f7ab96a 100644 --- a/test_programs/execution_success/regression_test_5462/src/main.nr +++ b/test_programs/execution_success/regression_test_5462/src/main.nr @@ -1,10 +1,10 @@ fn main() { let empty_slice: [u8] = &[]; - + if empty_slice != &[] { let _ = empty_slice.pop_front(); } - + if empty_slice.len() != 0 { let _ = empty_slice.pop_front(); }