From bd7746c4a19946f9f80fe71be4f9a0b56f4f8068 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Thu, 18 Jan 2024 22:46:14 +0800
Subject: [PATCH] Typecheck Expressions - Avoid a `BUG` that wasn't very useful

---
 src/hir_typeck/helpers.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp
index de812c89..e92aedd5 100644
--- a/src/hir_typeck/helpers.cpp
+++ b/src/hir_typeck/helpers.cpp
@@ -573,7 +573,9 @@ void HMTypeInferrence::add_ivars(::HIR::TypeRef& type)
             this->add_ivars_params(marker.m_params);
         }
     TU_ARMA(ErasedType, e) {
-        BUG(Span(), "ErasedType getting ivars added");
+        if( type_contains_ivars(type) ) {
+            BUG(Span(), "ErasedType getting ivars added - " << type);
+        }
         }
     TU_ARMA(Array, e) {
         add_ivars(e.inner);