From ea902858825aac806cd282e6d5f02ec683a995e3 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Thu, 8 Oct 2026 20:18:48 +0200 Subject: Fix ICE with local block variables --- boot/type_check.cc | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'boot/type_check.cc') 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) { -- cgit v1.2.3