Fix for typehole join issue (#1245)

hazelgrove · Mar 15, 2024 · 430d220 · 430d220
2 parents 8118701 + 88a23ab
commit 430d220
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lcore/statics/TypBase.re b/src/haz3lcore/statics/TypBase.re
@@ -227,7 +227,7 @@ module rec Typ: {
     | (Unknown(p1), Unknown(p2)) =>
       Some(Unknown(join_type_provenance(p1, p2)))
     | (Unknown(_), ty)
-    | (ty, Unknown(Internal | SynSwitch)) => Some(ty)
+    | (ty, Unknown(_)) => Some(ty)
     | (Var(n1), Var(n2)) =>
       if (n1 == n2) {
         Some(Var(n1));