diff --git a/test_programs/compile_failure/comptime_slice_equality/Nargo.toml b/test_programs/compile_failure/comptime_slice_equality/Nargo.toml new file mode 100644 index 00000000000..e6ea15aa431 --- /dev/null +++ b/test_programs/compile_failure/comptime_slice_equality/Nargo.toml @@ -0,0 +1,7 @@ +[package] +name = "comptime_slice_equality" +type = "bin" +authors = [""] +compiler_version = ">=0.24.0" + +[dependencies] diff --git a/test_programs/compile_failure/comptime_slice_equality/src/main.nr b/test_programs/compile_failure/comptime_slice_equality/src/main.nr new file mode 100644 index 00000000000..a6a89c28188 --- /dev/null +++ b/test_programs/compile_failure/comptime_slice_equality/src/main.nr @@ -0,0 +1,7 @@ +// This test should be made to pass and moved to the `compile_success_empty` directory +// https://github.com/noir-lang/noir/issues/5273 +fn main() { + comptime { + assert_eq(&[1], &[1]); + } +} diff --git a/tooling/nargo_cli/build.rs b/tooling/nargo_cli/build.rs index 43c277ba03e..dd345515db6 100644 --- a/tooling/nargo_cli/build.rs +++ b/tooling/nargo_cli/build.rs @@ -61,8 +61,8 @@ const IGNORED_BRILLIG_TESTS: [&str; 11] = [ /// Certain features are only available in the elaborator. /// We skip these tests for non-elaborator code since they are not /// expected to work there. This can be removed once the old code is removed. -const IGNORED_NEW_FEATURE_TESTS: [&str; 3] = - ["macros", "wildcard_type", "type_definition_annotation"]; +const IGNORED_NEW_FEATURE_TESTS: [&str; 4] = + ["comptime_slice_equality", "macros", "wildcard_type", "type_definition_annotation"]; fn generate_execution_success_tests(test_file: &mut File, test_data_dir: &Path) { let test_sub_dir = "execution_success";