feat: some nargo expand fixes related to function and method calls

tooling/nargo_cli/build.rs

@@ -119,7 +119,7 @@
 ];
 
 /// `nargo interpret` ignored tests, either because they don't currently work or
 /// becuase they are too slow to run.
 const IGNORED_INTERPRET_EXECUTION_TESTS: [&str; 1] = [
     // slow
     "regression_4709",
@@ -173,29 +173,17 @@
 /// These tests are ignored because of existing bugs in `nargo expand`.
 /// As the bugs are fixed these tests should be removed from this list.
 /// (some are ignored on purpose for the same reason as `IGNORED_NARGO_EXPAND_EXECUTION_TESTS`)
-const IGNORED_NARGO_EXPAND_COMPILE_SUCCESS_EMPTY_TESTS: [&str; 24] = [
-    // bug
-    "alias_trait_method_call_multiple_candidates",
+const IGNORED_NARGO_EXPAND_COMPILE_SUCCESS_EMPTY_TESTS: [&str; 13] = [
     // bug
     "associated_type_bounds",
     // bug
     "enums",
     // There's no "src/main.nr" here so it's trickier to make this work
     "overlapping_dep_and_mod",
-    // bug
-    "primitive_trait_method_call_multiple_candidates",
     // this one works, but copying its `Nargo.toml` file to somewhere else doesn't work
     // because it references another project by a relative path
     "reexports",
     // bug
-    "regression_7038",
-    // bug
-    "regression_7038_2",
-    // bug
-    "regression_7038_3",
-    // bug
-    "regression_7038_4",
-    // bug
     "serialize_1",
     // bug
     "serialize_2",
@@ -204,21 +192,11 @@
     // bug
     "serialize_4",
     // bug
-    "trait_allowed_item_name_matches",
-    // bug
-    "trait_default_implementation",
-    // bug
     "trait_function_calls",
     // bug
     "trait_method_mut_self",
     // bug
-    "trait_override_implementation",
-    // bug
     "trait_static_methods",
-    // bug
-    "type_trait_method_call_multiple_candidates",
-    // bug
-    "type_trait_method_call_multiple_candidates_with_turbofish",
     // There's no "src/main.nr" here so it's trickier to make this work
     "workspace_reexport_bug",
     // bug
@@ -806,7 +784,7 @@
     writeln!(test_file, "}}").unwrap();
 }
 
 /// Here we check, for every program in `test_programs/exeuction_success`, that:
 /// 1. `nargo expand` works on it
 /// 2. That the output of the original program is the same as the output of the expanded program
 ///    (that is, we run `nargo execute` on the original program and the expanded program and compare the output)