Add back a type in linker that I thought unnecessary

examples/a1.reid

@@ -0,0 +1,10 @@
+import a2::Foo;
+import a2::A;
+import a2::AResult;
+
+fn main() -> i32 {
+    let foo = Foo {};
+    let a = A::new();
+    foo.foo(&a.a);
+    return 0;
+}

examples/a2.reid

@@ -0,0 +1,12 @@
+struct A {}
+struct AResult { a: A }
+impl A {
+    pub fn new() -> AResult {
+        AResult { a: A {} }
+    }
+}
+
+struct Foo {}
+impl Foo {
+    pub fn foo(&self, a: &A) {}
+}

reid/src/mir/linker.rs

@@ -686,9 +686,7 @@ fn resolve_types_recursively(
                 return Err(ErrorKind::CyclicalType(type_key.0.clone()));
             }
 
-            if type_key.1 != resolved_ty.1 {
             types.insert(type_key.clone(), resolved_ty.1);
-            }
             seen.insert(resolved_ty.clone());
 
             let resolved = modules