From f8e6e964ffdac258780087d90899e7d3ad34b947 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@ucc.asn.au>
Date: Thu, 25 Apr 2019 14:41:00 +0800
Subject: Typecheck Expressions - Mark a change when `!` assigned

---
 src/hir_typeck/expr_cs.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

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;
                 }
             }
-- 
cgit v1.2.3