MIR Check - VarState past switch

1 files changed, 4 insertions, 1 deletions

diff --git a/src/mir/check.cpp b/src/mir/check.cpp
index 65473b50..f16c222e 100644
--- a/src/mir/check.cpp
+++ b/src/mir/check.cpp
@@ -346,7 +346,10 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path
                 to_visit_blocks.push_back( ::std::make_pair(e.bb1, ::std::move(val_state)) );
                 ),
             (Switch,
-                // TODO: Push blocks
+                for(const auto& tgt : e.targets)
+                {
+                    to_visit_blocks.push_back( ::std::make_pair(tgt, val_state) );
+                }
                 ),
             (Call,
                 // TODO: Push blocks (with return valid only in one)