1 files changed, 1 insertions, 0 deletions
diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp
index 1fd44698..b453cf9d 100644
--- a/src/hir_typeck/expr_cs.cpp
+++ b/src/hir_typeck/expr_cs.cpp
@@ -6996,6 +6996,7 @@ namespace {
                     DEBUG("- Diverge with no source types, force setting to !");
                     DEBUG("Set IVar " << i << " = !");
                     context.m_ivars.get_type(ty_l_ivar) = ::HIR::TypeRef::new_diverge();
+                    context.m_ivars.mark_change();
                     return true;
                 }
             }