nac3core/src/toplevel/type_annotation.rs

@@ -390,17 +390,17 @@ pub fn get_type_from_type_annotation_kinds(
                 ]))
             }
 
-                    let param_ty = params
+            let param_ty = params
-                        .iter()
+                .iter()
-                        .map(|x| {
+                .map(|x| {
-                            get_type_from_type_annotation_kinds(
+                    get_type_from_type_annotation_kinds(
-                                top_level_defs,
+                        top_level_defs,
-                                unifier,
+                        unifier,
-                                x,
+                        x,
-                                subst_list
+                        subst_list
-                            )
+                    )
-                        })
+                })
-                        .collect::<Result<Vec<_>, _>>()?;
+                .collect::<Result<Vec<_>, _>>()?;
 
             let subst = {
                 // check for compatible range