From 3a9159797f0e09d8c8ec9bbf948d97f3f5871c7d Mon Sep 17 00:00:00 2001
From: Matt Keenan <31668468+Negabinary@users.noreply.github.com>
Date: Fri, 14 Feb 2025 14:37:50 -0500
Subject: [PATCH] Fix #1504

---
 src/haz3lcore/statics/Info.re | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/haz3lcore/statics/Info.re b/src/haz3lcore/statics/Info.re
index 71523acc0c..9f2a206274 100644
--- a/src/haz3lcore/statics/Info.re
+++ b/src/haz3lcore/statics/Info.re
@@ -676,7 +676,18 @@ let fixed_typ_ok: ok_pat => Typ.t =
 
 let fixed_typ_err_common: error_common => Typ.t =
   fun
-  | NoType(_) => Unknown(Internal) |> Typ.temp
+  | NoType(FreeConstructor(c)) =>
+    Sum([
+      ConstructorMap.Variant(c, [Id.invalid], None),
+      ConstructorMap.BadEntry(Unknown(Internal) |> Typ.temp),
+    ])
+    |> Typ.temp
+  | NoType(BadToken(_))
+  | NoType(BadTrivAp(_))
+  | NoType(WantTuple)
+  | NoType(LabelNotFound(_))
+  | NoType(BadLabel(_))
+  | NoType(InvalidLabel(_)) => Unknown(Internal) |> Typ.temp
   | TupleLabelError({typ, _})
   | DuplicateLabel(_, typ) => typ
   | Inconsistent(Expectation({ana, _})) => ana