Support unary plus operation

1 files changed, 1 insertions, 7 deletions

diff --git a/boot/name_analysis.cc b/boot/name_analysis.cc
index 5255878..b13c043 100644
--- a/boot/name_analysis.cc
+++ b/boot/name_analysis.cc
@@ -538,14 +538,8 @@ namespace elna::boot
             {
                 type resolved = resolve_underlying_type(trait->type_decoration);
                 bool is_enum = resolved.get<enumeration_type>() != nullptr;
-                bool is_integral = false;
 
-                if (auto prim = resolved.get<primitive_type>())
-                {
-                    is_integral = prim->identifier == "Int" || prim->identifier == "Word"
-                        || prim->identifier == "Bool" || prim->identifier == "Char";
-                }
-                if (!is_enum && !is_integral)
+                if (!is_enum && !is_discrete_type(resolved))
                 {
                     add_error<unsupported_trait_type_error>(trait->name,
                             trait->type_decoration);