diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-04-25 14:41:00 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-04-25 14:41:00 +0800 |
| commit | f8e6e964ffdac258780087d90899e7d3ad34b947 (patch) | |
| tree | 89ce295d67bf835e2973c8073a121e9715385478 /src | |
| parent | 967a76859749ecb602cd2c343e28888514f827bd (diff) | |
| download | mrust-f8e6e964ffdac258780087d90899e7d3ad34b947.tar.gz | |
Typecheck Expressions - Mark a change when `!` assigned
Diffstat (limited to 'src')
| -rw-r--r-- | src/hir_typeck/expr_cs.cpp | 1 |
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; } } |