chore: fmt

typecheck/src/actual.rs

@@ -130,7 +130,10 @@ fn innermost_type(
     //     }
 }
 
-struct TypeLinkResolver<'ctx>{old: &'ctx TypeCtx<TypeLinkMap>, new: TypeCtx<TypeMap>};
+struct TypeLinkResolver<'ctx> {
+    old: &'ctx TypeCtx<TypeLinkMap>,
+    new: TypeCtx<TypeMap>,
+}
 
 impl Actual {
     pub fn resolve_type_links(
@@ -139,7 +142,7 @@ impl Actual {
     ) -> Result<TypeCtx<TypeMap>, Error> {
         todo!()
     }
-    }
+}
 
 impl<'ctx> TypeLinkResolver<'ctx> {
     /// Recursively try and resolve a type link within the type context. This will update the given node's type

typecheck/src/lib.rs

@@ -153,6 +153,7 @@ impl<'ast> Pass<FlattenData<'ast>, FlattenData<'ast>, Error> for TypeCtx<TypeLin
             }
         };
 
+        // let mut actualized_ctx = Actual::new(self, &fir).resolve_type_links();
         let mut actual_ctx = Actual::resolve_type_links(self, &fir)?;
 
         Checker(&mut actual_ctx).traverse(&fir)?;