Fix ICE with local block variables

1 files changed, 10 insertions, 0 deletions

diff --git a/boot/type_check.cc b/boot/type_check.cc
index d8a9170..31e10f1 100644
--- a/boot/type_check.cc
+++ b/boot/type_check.cc
@@ -1506,6 +1506,16 @@ namespace elna::boot
         }
         // else callable is not declared, or inference failed and reported.
     }
+ 
+    void type_analysis_visitor::visit(defer_statement *statement)
+    {
+        traverse_block(statement->body);
+    }
+
+    void type_analysis_visitor::visit(block_statement *statement)
+    {
+        traverse_block(statement->body);
+    }
 
     void type_analysis_visitor::visit(record_constructor_expression *expression)
     {