Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
[package]
name = "comptime_slice_equality"
type = "bin"
authors = [""]
compiler_version = ">=0.24.0"

[dependencies]
Original file line number Diff line number Diff line change
@@ -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]);
}
}
4 changes: 2 additions & 2 deletions tooling/nargo_cli/build.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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";
Expand Down