Validate cast compatibility during semantic analysis

1 files changed, 8 insertions, 0 deletions

diff --git a/boot/symbol.cc b/boot/symbol.cc
index e0a89e6..a51ee01 100644
--- a/boot/symbol.cc
+++ b/boot/symbol.cc
@@ -448,6 +448,14 @@ namespace elna::boot
             || is_primitive_type(checked, "Pointer");
     }
 
+    bool is_scalar_type(const type& checked)
+    {
+        return is_discrete_type(checked)
+            || is_primitive_type(checked, "Float")
+            || is_any_pointer_type(checked)
+            || checked.get<enumeration_type>() != nullptr;
+    }
+
     type get_range_base_type(const type& range)
     {
         if (auto array = range.get<array_type>())