From fe1e27fd700ba4429e3db5ad83e284b8307b7c06 Mon Sep 17 00:00:00 2001
From: Jeff <dev@jeffa.io>
Date: Tue, 2 Apr 2024 23:13:03 -0400
Subject: [PATCH] Pass test

---
 dust-lang/src/abstract_tree/function_call.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/dust-lang/src/abstract_tree/function_call.rs b/dust-lang/src/abstract_tree/function_call.rs
index 45b2fa2..66c6294 100644
--- a/dust-lang/src/abstract_tree/function_call.rs
+++ b/dust-lang/src/abstract_tree/function_call.rs
@@ -56,6 +56,10 @@ impl AbstractNode for FunctionCall {
             for (type_parameter, type_argument) in
                 parameter_types.iter().zip(self.type_arguments.iter())
             {
+                if let Type::Argument(_) = type_parameter.node {
+                    continue;
+                }
+
                 type_parameter
                     .node
                     .check(&type_argument.node)
@@ -67,6 +71,10 @@ impl AbstractNode for FunctionCall {
             }
 
             for (type_parameter, expression) in parameter_types.iter().zip(self.arguments.iter()) {
+                if let Type::Argument(_) = type_parameter.node {
+                    continue;
+                }
+
                 let actual = expression.expected_type(context)?;
 
                 type_parameter.node.check(&actual).map_err(|conflict| {