Refactor initialization of error object

Ref. #1120, #1134
AdaCore · Aug 16, 2022 · 32b7009 · 32b7009
1 parent 836462a
commit 32b7009
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/rflx/expression.py b/rflx/expression.py
@@ -2805,15 +2805,14 @@ def _update_str(self) -> None:
         self._str = intern(f"{self.identifier} with delta {field_values}")
 
     def _check_type_subexpr(self) -> RecordFluxError:
-        if not isinstance(self.type_, rty.Message):
-            error = RecordFluxError()
+        error = RecordFluxError()
 
+        if not isinstance(self.type_, rty.Message):
             for d in self.field_values.values():
                 error += d.check_type_instance(rty.Any)
 
             return error
 
-        error = RecordFluxError()
         field_combinations = set(self.type_.field_combinations)
         fields: tuple[str, ...] = ()