fix: wildcard type should be allowed in lambda parameter types

acvm-repo/blackbox_solver/src/ecdsa/secp256k1.rs

@@ -110,7 +110,7 @@ mod secp256k1_tests {
     }
 
     #[test]
-    fn rejects_signature_that_doesnt_have_the_full_y_coordinate() {
+    fn rejects_signature_that_does_not_have_the_full_y_coordinate() {
         let mut pub_key_y_bytes = [0u8; 32];
         pub_key_y_bytes[31] = PUB_KEY_Y[31];
         let valid = verify_signature(&HASHED_MESSAGE, &PUB_KEY_X, &pub_key_y_bytes, &SIGNATURE);

acvm-repo/blackbox_solver/src/ecdsa/secp256r1.rs

@@ -106,7 +106,7 @@ mod secp256r1_tests {
     }
 
     #[test]
-    fn rejects_signature_that_doesnt_have_the_full_y_coordinate() {
+    fn rejects_signature_that_does_not_have_the_full_y_coordinate() {
         let mut pub_key_y_bytes = [0u8; 32];
         pub_key_y_bytes[31] = PUB_KEY_Y[31];
         let valid = verify_signature(&HASHED_MESSAGE, &PUB_KEY_X, &pub_key_y_bytes, &SIGNATURE);

compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs

@@ -1769,7 +1769,7 @@ impl<'block, Registers: RegisterAllocator> BrilligBlock<'block, Registers> {
                         | BinaryOp::Mul { unchecked: false }
                 )
             {
-                panic!("Checked signed operations should all be removed before brilliggen")
+                panic!("Checked signed operations should all be removed before brillig-gen")
             }
             return;
         }

compiler/noirc_frontend/src/elaborator/expressions.rs

@@ -121,7 +121,7 @@ impl Elaborator<'_> {
 
     /// Elaborate a member access expression without adding the automatic dereferencing operations
     /// to it, treating it as an offset instead. This also returns a boolean indicating whether the
-    /// result skipped any required auto-derefs (and thus needs dereferencing to be used as a value
+    /// result skipped any required auto-dereferences (and thus needs dereferencing to be used as a value
     /// instead of a reference). This flag is used when `&mut foo.bar.baz` is used to cancel out
     /// the `&mut`.
     fn elaborate_reference_expression(&mut self, expr: Expression) -> (ExprId, Type, bool) {
@@ -1067,7 +1067,7 @@ impl Elaborator<'_> {
         location: Location,
         is_offset: bool,
     ) -> (ExprId, Type, bool) {
-        // We don't need the boolean 'skipped auto-derefs' from elaborate_reference_expression
+        // We don't need the boolean 'skipped auto-dereferences' from elaborate_reference_expression
         // since if we have skipped any then `lhs_type` will be a reference and we will need to
         // skip the deref (if is_offset is true) here anyway to extract the field out of the reference.
         // This is more reliable than using the boolean return value here since the return value
@@ -1334,7 +1334,7 @@ impl Elaborator<'_> {
                         self.interner.next_type_variable_with_kind(Kind::Any)
                     }
                 } else {
-                    let wildcard_allowed = false;
+                    let wildcard_allowed = true;
                     self.resolve_type(typ, wildcard_allowed)
                 };
 

cspell.json

@@ -276,6 +276,7 @@
         "signedness",
         "signorecello",
         "signum",
+        "SIGPIPE",
         "smallvec",
         "smol",
         "splitn",

test_programs/compile_success_empty/lambda_parameter_with_wildcard_type/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "lambda_parameter_with_wildcard_type"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/compile_success_empty/lambda_parameter_with_wildcard_type/src/main.nr

@@ -0,0 +1,4 @@
+fn main() {
+    let x = [1, 2, 3];
+    let _ = x.map(|i: _| i + 1);
+}