Fix type inference bug

2024-06-19 00:09:47 -04:00 · 2024-06-19 00:09:47 -04:00 · 69da32d414
commit 69da32d414
parent aa79bea9a7
1 changed files with 10 additions and 10 deletions
--- a/dust-lang/src/abstract_tree/function_call.rs
+++ b/dust-lang/src/abstract_tree/function_call.rs
@ -137,17 +137,17 @@ impl ExpectedType for FunctionCall {
            ..
        } = function_node_type
        {
-            for (constructor, identifier) in self
-                .type_arguments
-                .as_ref()
-                .unwrap()
-                .into_iter()
-                .zip(type_parameters.unwrap().into_iter())
+            if let Type::Generic {
+                identifier: return_identifier,
+                ..
+            } = *return_type.clone()
            {
-                if let Type::Generic {
-                    identifier: return_identifier,
-                    ..
-                } = *return_type.clone()
+                for (constructor, identifier) in self
+                    .type_arguments
+                    .as_ref()
+                    .unwrap()
+                    .into_iter()
+                    .zip(type_parameters.unwrap().into_iter())
                {
                    if return_identifier == identifier {
                        let concrete_type = constructor.clone().construct(&context)?;