Typecheck Expressions - Avoid a BUG that wasn't very useful

thepowersgang · Jan 18, 2024 · bd7746c · bd7746c
1 parent 0be9e89
commit bd7746c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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);