fix: Avoid type error when calling something with a type alias of a f…

…unction (#7239)

compiler/noirc_frontend/src/elaborator/expressions.rs

@@ -391,6 +391,7 @@ impl<'context> Elaborator<'context> {
 
     fn elaborate_call(&mut self, call: CallExpression, span: Span) -> (HirExpression, Type) {
         let (func, func_type) = self.elaborate_expression(*call.func);
+        let func_type = func_type.follow_bindings();
         let func_arg_types =
             if let Type::Function(args, _, _, _) = &func_type { Some(args) } else { None };
 

compiler/noirc_frontend/src/tests.rs

@@ -4178,3 +4178,19 @@ fn errors_on_loop_without_break_with_nested_loop() {
         CompilationError::ResolverError(ResolverError::LoopWithoutBreak { .. })
     ));
 }
+
+#[test]
+fn call_function_alias_type() {
+    let src = r#"
+    type Alias<Env> = fn[Env](Field) -> Field;
+
+    fn main() {
+        call_fn(|x| x + 1);
+    }
+
+    fn call_fn<Env>(f: Alias<Env>) {
+        assert_eq(f(0), 1);
+    }
+    "#;
+    assert_no_errors(src);
+}