diff --git a/compiler/forget/src/HIR/HIR.ts b/compiler/forget/src/HIR/HIR.ts
index 3ed1cc4a2f..ea3953fab6 100644
--- a/compiler/forget/src/HIR/HIR.ts
+++ b/compiler/forget/src/HIR/HIR.ts
@@ -508,7 +508,9 @@ function objectTypeEquals(tA: Type, tB: Type): boolean {
     }
 
     for (const key of tA.properties.keys()) {
-      if (tA.properties.get(key) !== tB.properties.get(key)) return false;
+      if (!typeEquals(tA.properties.get(key)!, tB.properties.get(key)!)) {
+        return false;
+      }
     }
 
     return true;