From 36a274c9a8bca944234589220def025d3920b3ef Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Tue, 28 Jul 2026 19:19:32 +0200 Subject: Enforce case label uniqueness and constness --- boot/type_check.cc | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'boot/type_check.cc') diff --git a/boot/type_check.cc b/boot/type_check.cc index 2bb0ddd..343b5aa 100644 --- a/boot/type_check.cc +++ b/boot/type_check.cc @@ -198,9 +198,9 @@ namespace elna::boot } else if (auto record = referent.get()) { - for (const type_field& field : record->fields) + for (const auto& [field_name, field_type] : record->fields) { - if (contains_constant_member(field.second)) + if (contains_constant_member(field_type)) { return true; } @@ -660,14 +660,14 @@ namespace elna::boot } for (const field_initializer& initializer : expression->field_initializers) { - for (const type_field& field : record->fields) + for (const auto& [field_name, field_type]: record->fields) { - if (field.first == initializer.name()) + if (field_name == initializer.name()) { - if (!is_assignable_from(field.second, initializer.value().type_decoration)) + if (!is_assignable_from(field_type, initializer.value().type_decoration)) { add_error( - initializer.value().position(), field.second, + initializer.value().position(), field_type, initializer.value().type_decoration); } break; -- cgit v1.2.3