From b5919660c65e54b5199c99caa9016de68e3a9d36 Mon Sep 17 00:00:00 2001
From: BlackMATov <blackmat@mail.ru>
Date: Mon, 13 Mar 2023 08:11:41 +0700
Subject: [PATCH] fix invoke functions specs

---
 develop/singles/headers/meta.hpp/meta_all.hpp | 86 +++++++++++--------
 headers/meta.hpp/meta_base.hpp                |  2 +-
 .../meta_detail/value_utilities/uarg.hpp      |  4 +-
 headers/meta.hpp/meta_invoke.hpp              | 42 ++++++---
 headers/meta.hpp/meta_invoke/invoke.hpp       | 24 +++---
 headers/meta.hpp/meta_states/constructor.hpp  |  2 +-
 headers/meta.hpp/meta_states/destructor.hpp   |  2 +-
 headers/meta.hpp/meta_states/function.hpp     |  2 +-
 headers/meta.hpp/meta_states/member.hpp       |  4 +-
 headers/meta.hpp/meta_states/method.hpp       |  2 +-
 headers/meta.hpp/meta_states/variable.hpp     |  2 +-
 11 files changed, 104 insertions(+), 68 deletions(-)

diff --git a/develop/singles/headers/meta.hpp/meta_all.hpp b/develop/singles/headers/meta.hpp/meta_all.hpp
index d5b2b19..2c4f8d1 100644
--- a/develop/singles/headers/meta.hpp/meta_all.hpp
+++ b/develop/singles/headers/meta.hpp/meta_all.hpp
@@ -1798,10 +1798,10 @@ namespace meta_hpp
     using metadata_map = std::map<std::string, uvalue, std::less<>>;
     using typedef_map = std::map<std::string, any_type, std::less<>>;
 
+    using any_type_list = std::vector<any_type>;
     using class_list = std::vector<class_type>;
     using enum_list = std::vector<enum_type>;
 
-    using any_type_list = std::vector<any_type>;
     using argument_list = std::vector<argument>;
     using constructor_list = std::vector<constructor>;
     using destructor_list = std::vector<destructor>;
@@ -5597,8 +5597,14 @@ namespace meta_hpp
     template < typename... Args >
     uvalue invoke(const function& function, Args&&... args);
 
+    template < typename... Args >
+    uresult try_invoke(const function& function, Args&&... args);
+
     template < detail::function_pointer_kind Function, typename... Args >
     uvalue invoke(Function function_ptr, Args&&... args);
+
+    template < detail::function_pointer_kind Function, typename... Args >
+    uresult try_invoke(Function function_ptr, Args&&... args);
 }
 
 namespace meta_hpp
@@ -5606,8 +5612,14 @@ namespace meta_hpp
     template < typename Instance >
     uvalue invoke(const member& member, Instance&& instance);
 
+    template < typename Instance >
+    uresult try_invoke(const member& member, Instance&& instance);
+
     template < detail::member_pointer_kind Member, typename Instance >
     uvalue invoke(Member member_ptr, Instance&& instance);
+
+    template < detail::member_pointer_kind Member, typename Instance >
+    uresult try_invoke(Member member_ptr, Instance&& instance);
 }
 
 namespace meta_hpp
@@ -5615,53 +5627,59 @@ namespace meta_hpp
     template < typename Instance, typename... Args >
     uvalue invoke(const method& method, Instance&& instance, Args&&... args);
 
+    template < typename Instance, typename... Args >
+    uresult try_invoke(const method& method, Instance&& instance, Args&&... args);
+
     template < detail::method_pointer_kind Method, typename Instance, typename... Args >
     uvalue invoke(Method method_ptr, Instance&& instance, Args&&... args);
+
+    template < detail::method_pointer_kind Method, typename Instance, typename... Args >
+    uresult try_invoke(Method method_ptr, Instance&& instance, Args&&... args);
 }
 
 namespace meta_hpp
 {
     template < typename... Args >
-    bool is_invocable_with(const function& function);
+    bool is_invocable_with(const function& function) noexcept;
 
     template < typename... Args >
-    bool is_invocable_with(const function& function, Args&&... args);
+    bool is_invocable_with(const function& function, Args&&... args) noexcept;
 
     template < typename... Args, detail::function_pointer_kind Function >
-    bool is_invocable_with(Function);
+    bool is_invocable_with(Function) noexcept;
 
     template < typename... Args, detail::function_pointer_kind Function >
-    bool is_invocable_with(Function, Args&&... args);
+    bool is_invocable_with(Function, Args&&... args) noexcept;
 }
 
 namespace meta_hpp
 {
     template < typename Instance >
-    bool is_invocable_with(const member& member);
+    bool is_invocable_with(const member& member) noexcept;
 
     template < typename Instance >
-    bool is_invocable_with(const member& member, Instance&& instance);
+    bool is_invocable_with(const member& member, Instance&& instance) noexcept;
 
     template < typename Instance, detail::member_pointer_kind Member >
-    bool is_invocable_with(Member);
+    bool is_invocable_with(Member) noexcept;
 
     template < typename Instance, detail::member_pointer_kind Member >
-    bool is_invocable_with(Member, Instance&& instance);
+    bool is_invocable_with(Member, Instance&& instance) noexcept;
 }
 
 namespace meta_hpp
 {
     template < typename Instance, typename... Args >
-    bool is_invocable_with(const method& method);
+    bool is_invocable_with(const method& method) noexcept;
 
     template < typename Instance, typename... Args >
-    bool is_invocable_with(const method& method, Instance&& instance, Args&&... args);
+    bool is_invocable_with(const method& method, Instance&& instance, Args&&... args) noexcept;
 
     template < typename Instance, typename... Args, detail::method_pointer_kind Method >
-    bool is_invocable_with(Method);
+    bool is_invocable_with(Method) noexcept;
 
     template < typename Instance, typename... Args, detail::method_pointer_kind Method >
-    bool is_invocable_with(Method, Instance&& instance, Args&&... args);
+    bool is_invocable_with(Method, Instance&& instance, Args&&... args) noexcept;
 }
 
 namespace meta_hpp::detail
@@ -6178,7 +6196,7 @@ namespace meta_hpp::detail
 namespace meta_hpp::detail
 {
     template < typename ArgTypeList >
-    bool can_cast_all_uargs(type_registry& registry, std::span<const uarg> args) {
+    bool can_cast_all_uargs(type_registry& registry, std::span<const uarg> args) noexcept {
         if ( args.size() != type_list_arity_v<ArgTypeList> ) {
             return false;
         }
@@ -6189,7 +6207,7 @@ namespace meta_hpp::detail
     }
 
     template < typename ArgTypeList >
-    bool can_cast_all_uargs(type_registry& registry, std::span<const uarg_base> args) {
+    bool can_cast_all_uargs(type_registry& registry, std::span<const uarg_base> args) noexcept {
         if ( args.size() != type_list_arity_v<ArgTypeList> ) {
             return false;
         }
@@ -6293,7 +6311,7 @@ namespace meta_hpp::detail
     }
 
     template < function_pointer_kind Function >
-    uerror raw_function_invoke_error(type_registry& registry, std::span<const uarg_base> args) {
+    uerror raw_function_invoke_error(type_registry& registry, std::span<const uarg_base> args) noexcept {
         using ft = function_traits<Function>;
         using argument_types = typename ft::argument_types;
 
@@ -6734,7 +6752,7 @@ namespace meta_hpp::detail
     }
 
     template < member_pointer_kind Member >
-    uerror raw_member_getter_error(type_registry& registry, const uinst_base& inst) {
+    uerror raw_member_getter_error(type_registry& registry, const uinst_base& inst) noexcept {
         using mt = member_traits<Member>;
         using class_type = typename mt::class_type;
 
@@ -6787,7 +6805,7 @@ namespace meta_hpp::detail
     }
 
     template < member_pointer_kind Member >
-    uerror raw_member_setter_error(type_registry& registry, const uinst_base& inst, const uarg_base& arg) {
+    uerror raw_member_setter_error(type_registry& registry, const uinst_base& inst, const uarg_base& arg) noexcept {
         using mt = member_traits<Member>;
         using class_type = typename mt::class_type;
         using value_type = typename mt::value_type;
@@ -7066,7 +7084,7 @@ namespace meta_hpp::detail
     }
 
     template < method_pointer_kind Method >
-    uerror raw_method_invoke_error(type_registry& registry, const uinst_base& inst, std::span<const uarg_base> args) {
+    uerror raw_method_invoke_error(type_registry& registry, const uinst_base& inst, std::span<const uarg_base> args) noexcept {
         using mt = method_traits<Method>;
         using qualified_type = typename mt::qualified_type;
         using argument_types = typename mt::argument_types;
@@ -7322,17 +7340,17 @@ namespace meta_hpp
 namespace meta_hpp
 {
     template < typename... Args >
-    bool is_invocable_with(const function& function) {
+    bool is_invocable_with(const function& function) noexcept {
         return function.is_invocable_with<Args...>();
     }
 
     template < typename... Args >
-    bool is_invocable_with(const function& function, Args&&... args) {
+    bool is_invocable_with(const function& function, Args&&... args) noexcept {
         return function.is_invocable_with(std::forward<Args>(args)...);
     }
 
     template < typename... Args, detail::function_pointer_kind Function >
-    bool is_invocable_with(Function) {
+    bool is_invocable_with(Function) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const std::array<uarg_base, sizeof...(Args)> vargs{uarg_base{registry, type_list<Args>{}}...};
@@ -7340,7 +7358,7 @@ namespace meta_hpp
     }
 
     template < typename... Args, detail::function_pointer_kind Function >
-    bool is_invocable_with(Function, Args&&... args) {
+    bool is_invocable_with(Function, Args&&... args) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const std::array<uarg_base, sizeof...(Args)> vargs{uarg_base{registry, std::forward<Args>(args)}...};
@@ -7351,17 +7369,17 @@ namespace meta_hpp
 namespace meta_hpp
 {
     template < typename Instance >
-    bool is_invocable_with(const member& member) {
+    bool is_invocable_with(const member& member) noexcept {
         return member.is_gettable_with<Instance>();
     }
 
     template < typename Instance >
-    bool is_invocable_with(const member& member, Instance&& instance) {
+    bool is_invocable_with(const member& member, Instance&& instance) noexcept {
         return member.is_gettable_with(std::forward<Instance>(instance));
     }
 
     template < typename Instance, detail::member_pointer_kind Member >
-    bool is_invocable_with(Member) {
+    bool is_invocable_with(Member) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const uinst_base vinst{registry, type_list<Instance>{}};
@@ -7369,7 +7387,7 @@ namespace meta_hpp
     }
 
     template < typename Instance, detail::member_pointer_kind Member >
-    bool is_invocable_with(Member, Instance&& instance) {
+    bool is_invocable_with(Member, Instance&& instance) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const uinst_base vinst{registry, std::forward<Instance>(instance)};
@@ -7380,17 +7398,17 @@ namespace meta_hpp
 namespace meta_hpp
 {
     template < typename Instance, typename... Args >
-    bool is_invocable_with(const method& method) {
+    bool is_invocable_with(const method& method) noexcept {
         return method.is_invocable_with<Instance, Args...>();
     }
 
     template < typename Instance, typename... Args >
-    bool is_invocable_with(const method& method, Instance&& instance, Args&&... args) {
+    bool is_invocable_with(const method& method, Instance&& instance, Args&&... args) noexcept {
         return method.is_invocable_with(std::forward<Instance>(instance), std::forward<Args>(args)...);
     }
 
     template < typename Instance, typename... Args, detail::method_pointer_kind Method >
-    bool is_invocable_with(Method) {
+    bool is_invocable_with(Method) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const uinst_base vinst{registry, type_list<Instance>{}};
@@ -7399,7 +7417,7 @@ namespace meta_hpp
     }
 
     template < typename Instance, typename... Args, detail::method_pointer_kind Method >
-    bool is_invocable_with(Method, Instance&& instance, Args&&... args) {
+    bool is_invocable_with(Method, Instance&& instance, Args&&... args) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const uinst_base vinst{registry, std::forward<Instance>(instance)};
@@ -7537,7 +7555,7 @@ namespace meta_hpp::detail
     }
 
     template < class_kind Class, typename... Args >
-    uerror raw_constructor_create_error(type_registry& registry, std::span<const uarg_base> args) {
+    uerror raw_constructor_create_error(type_registry& registry, std::span<const uarg_base> args) noexcept {
         using ct = constructor_traits<Class, Args...>;
         using argument_types = typename ct::argument_types;
 
@@ -7733,7 +7751,7 @@ namespace meta_hpp::detail
     }
 
     template < class_kind Class >
-    uerror raw_destructor_destroy_error(type_registry& registry, const uarg_base& arg) {
+    uerror raw_destructor_destroy_error(type_registry& registry, const uarg_base& arg) noexcept {
         using dt = destructor_traits<Class>;
         using class_type = typename dt::class_type;
 
@@ -8007,7 +8025,7 @@ namespace meta_hpp::detail
     }
 
     template < pointer_kind Pointer >
-    uerror raw_variable_setter_error(type_registry& registry, const uarg_base& arg) {
+    uerror raw_variable_setter_error(type_registry& registry, const uarg_base& arg) noexcept {
         using pt = pointer_traits<Pointer>;
         using data_type = typename pt::data_type;
 
diff --git a/headers/meta.hpp/meta_base.hpp b/headers/meta.hpp/meta_base.hpp
index 8409d96..940a073 100644
--- a/headers/meta.hpp/meta_base.hpp
+++ b/headers/meta.hpp/meta_base.hpp
@@ -222,10 +222,10 @@ namespace meta_hpp
     using metadata_map = std::map<std::string, uvalue, std::less<>>;
     using typedef_map = std::map<std::string, any_type, std::less<>>;
 
+    using any_type_list = std::vector<any_type>;
     using class_list = std::vector<class_type>;
     using enum_list = std::vector<enum_type>;
 
-    using any_type_list = std::vector<any_type>;
     using argument_list = std::vector<argument>;
     using constructor_list = std::vector<constructor>;
     using destructor_list = std::vector<destructor>;
diff --git a/headers/meta.hpp/meta_detail/value_utilities/uarg.hpp b/headers/meta.hpp/meta_detail/value_utilities/uarg.hpp
index a943201..7a15ec4 100644
--- a/headers/meta.hpp/meta_detail/value_utilities/uarg.hpp
+++ b/headers/meta.hpp/meta_detail/value_utilities/uarg.hpp
@@ -341,7 +341,7 @@ namespace meta_hpp::detail
 namespace meta_hpp::detail
 {
     template < typename ArgTypeList >
-    bool can_cast_all_uargs(type_registry& registry, std::span<const uarg> args) {
+    bool can_cast_all_uargs(type_registry& registry, std::span<const uarg> args) noexcept {
         if ( args.size() != type_list_arity_v<ArgTypeList> ) {
             return false;
         }
@@ -352,7 +352,7 @@ namespace meta_hpp::detail
     }
 
     template < typename ArgTypeList >
-    bool can_cast_all_uargs(type_registry& registry, std::span<const uarg_base> args) {
+    bool can_cast_all_uargs(type_registry& registry, std::span<const uarg_base> args) noexcept {
         if ( args.size() != type_list_arity_v<ArgTypeList> ) {
             return false;
         }
diff --git a/headers/meta.hpp/meta_invoke.hpp b/headers/meta.hpp/meta_invoke.hpp
index 01eb38b..0a2e228 100644
--- a/headers/meta.hpp/meta_invoke.hpp
+++ b/headers/meta.hpp/meta_invoke.hpp
@@ -15,8 +15,14 @@ namespace meta_hpp
     template < typename... Args >
     uvalue invoke(const function& function, Args&&... args);
 
+    template < typename... Args >
+    uresult try_invoke(const function& function, Args&&... args);
+
     template < detail::function_pointer_kind Function, typename... Args >
     uvalue invoke(Function function_ptr, Args&&... args);
+
+    template < detail::function_pointer_kind Function, typename... Args >
+    uresult try_invoke(Function function_ptr, Args&&... args);
 }
 
 namespace meta_hpp
@@ -24,8 +30,14 @@ namespace meta_hpp
     template < typename Instance >
     uvalue invoke(const member& member, Instance&& instance);
 
+    template < typename Instance >
+    uresult try_invoke(const member& member, Instance&& instance);
+
     template < detail::member_pointer_kind Member, typename Instance >
     uvalue invoke(Member member_ptr, Instance&& instance);
+
+    template < detail::member_pointer_kind Member, typename Instance >
+    uresult try_invoke(Member member_ptr, Instance&& instance);
 }
 
 namespace meta_hpp
@@ -33,51 +45,57 @@ namespace meta_hpp
     template < typename Instance, typename... Args >
     uvalue invoke(const method& method, Instance&& instance, Args&&... args);
 
+    template < typename Instance, typename... Args >
+    uresult try_invoke(const method& method, Instance&& instance, Args&&... args);
+
     template < detail::method_pointer_kind Method, typename Instance, typename... Args >
     uvalue invoke(Method method_ptr, Instance&& instance, Args&&... args);
+
+    template < detail::method_pointer_kind Method, typename Instance, typename... Args >
+    uresult try_invoke(Method method_ptr, Instance&& instance, Args&&... args);
 }
 
 namespace meta_hpp
 {
     template < typename... Args >
-    bool is_invocable_with(const function& function);
+    bool is_invocable_with(const function& function) noexcept;
 
     template < typename... Args >
-    bool is_invocable_with(const function& function, Args&&... args);
+    bool is_invocable_with(const function& function, Args&&... args) noexcept;
 
     template < typename... Args, detail::function_pointer_kind Function >
-    bool is_invocable_with(Function);
+    bool is_invocable_with(Function) noexcept;
 
     template < typename... Args, detail::function_pointer_kind Function >
-    bool is_invocable_with(Function, Args&&... args);
+    bool is_invocable_with(Function, Args&&... args) noexcept;
 }
 
 namespace meta_hpp
 {
     template < typename Instance >
-    bool is_invocable_with(const member& member);
+    bool is_invocable_with(const member& member) noexcept;
 
     template < typename Instance >
-    bool is_invocable_with(const member& member, Instance&& instance);
+    bool is_invocable_with(const member& member, Instance&& instance) noexcept;
 
     template < typename Instance, detail::member_pointer_kind Member >
-    bool is_invocable_with(Member);
+    bool is_invocable_with(Member) noexcept;
 
     template < typename Instance, detail::member_pointer_kind Member >
-    bool is_invocable_with(Member, Instance&& instance);
+    bool is_invocable_with(Member, Instance&& instance) noexcept;
 }
 
 namespace meta_hpp
 {
     template < typename Instance, typename... Args >
-    bool is_invocable_with(const method& method);
+    bool is_invocable_with(const method& method) noexcept;
 
     template < typename Instance, typename... Args >
-    bool is_invocable_with(const method& method, Instance&& instance, Args&&... args);
+    bool is_invocable_with(const method& method, Instance&& instance, Args&&... args) noexcept;
 
     template < typename Instance, typename... Args, detail::method_pointer_kind Method >
-    bool is_invocable_with(Method);
+    bool is_invocable_with(Method) noexcept;
 
     template < typename Instance, typename... Args, detail::method_pointer_kind Method >
-    bool is_invocable_with(Method, Instance&& instance, Args&&... args);
+    bool is_invocable_with(Method, Instance&& instance, Args&&... args) noexcept;
 }
diff --git a/headers/meta.hpp/meta_invoke/invoke.hpp b/headers/meta.hpp/meta_invoke/invoke.hpp
index 2a079b4..e08d420 100644
--- a/headers/meta.hpp/meta_invoke/invoke.hpp
+++ b/headers/meta.hpp/meta_invoke/invoke.hpp
@@ -134,17 +134,17 @@ namespace meta_hpp
 namespace meta_hpp
 {
     template < typename... Args >
-    bool is_invocable_with(const function& function) {
+    bool is_invocable_with(const function& function) noexcept {
         return function.is_invocable_with<Args...>();
     }
 
     template < typename... Args >
-    bool is_invocable_with(const function& function, Args&&... args) {
+    bool is_invocable_with(const function& function, Args&&... args) noexcept {
         return function.is_invocable_with(std::forward<Args>(args)...);
     }
 
     template < typename... Args, detail::function_pointer_kind Function >
-    bool is_invocable_with(Function) {
+    bool is_invocable_with(Function) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const std::array<uarg_base, sizeof...(Args)> vargs{uarg_base{registry, type_list<Args>{}}...};
@@ -152,7 +152,7 @@ namespace meta_hpp
     }
 
     template < typename... Args, detail::function_pointer_kind Function >
-    bool is_invocable_with(Function, Args&&... args) {
+    bool is_invocable_with(Function, Args&&... args) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const std::array<uarg_base, sizeof...(Args)> vargs{uarg_base{registry, std::forward<Args>(args)}...};
@@ -163,17 +163,17 @@ namespace meta_hpp
 namespace meta_hpp
 {
     template < typename Instance >
-    bool is_invocable_with(const member& member) {
+    bool is_invocable_with(const member& member) noexcept {
         return member.is_gettable_with<Instance>();
     }
 
     template < typename Instance >
-    bool is_invocable_with(const member& member, Instance&& instance) {
+    bool is_invocable_with(const member& member, Instance&& instance) noexcept {
         return member.is_gettable_with(std::forward<Instance>(instance));
     }
 
     template < typename Instance, detail::member_pointer_kind Member >
-    bool is_invocable_with(Member) {
+    bool is_invocable_with(Member) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const uinst_base vinst{registry, type_list<Instance>{}};
@@ -181,7 +181,7 @@ namespace meta_hpp
     }
 
     template < typename Instance, detail::member_pointer_kind Member >
-    bool is_invocable_with(Member, Instance&& instance) {
+    bool is_invocable_with(Member, Instance&& instance) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const uinst_base vinst{registry, std::forward<Instance>(instance)};
@@ -192,17 +192,17 @@ namespace meta_hpp
 namespace meta_hpp
 {
     template < typename Instance, typename... Args >
-    bool is_invocable_with(const method& method) {
+    bool is_invocable_with(const method& method) noexcept {
         return method.is_invocable_with<Instance, Args...>();
     }
 
     template < typename Instance, typename... Args >
-    bool is_invocable_with(const method& method, Instance&& instance, Args&&... args) {
+    bool is_invocable_with(const method& method, Instance&& instance, Args&&... args) noexcept {
         return method.is_invocable_with(std::forward<Instance>(instance), std::forward<Args>(args)...);
     }
 
     template < typename Instance, typename... Args, detail::method_pointer_kind Method >
-    bool is_invocable_with(Method) {
+    bool is_invocable_with(Method) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const uinst_base vinst{registry, type_list<Instance>{}};
@@ -211,7 +211,7 @@ namespace meta_hpp
     }
 
     template < typename Instance, typename... Args, detail::method_pointer_kind Method >
-    bool is_invocable_with(Method, Instance&& instance, Args&&... args) {
+    bool is_invocable_with(Method, Instance&& instance, Args&&... args) noexcept {
         using namespace detail;
         type_registry& registry{type_registry::instance()};
         const uinst_base vinst{registry, std::forward<Instance>(instance)};
diff --git a/headers/meta.hpp/meta_states/constructor.hpp b/headers/meta.hpp/meta_states/constructor.hpp
index 99bead5..28c8aff 100644
--- a/headers/meta.hpp/meta_states/constructor.hpp
+++ b/headers/meta.hpp/meta_states/constructor.hpp
@@ -80,7 +80,7 @@ namespace meta_hpp::detail
     }
 
     template < class_kind Class, typename... Args >
-    uerror raw_constructor_create_error(type_registry& registry, std::span<const uarg_base> args) {
+    uerror raw_constructor_create_error(type_registry& registry, std::span<const uarg_base> args) noexcept {
         using ct = constructor_traits<Class, Args...>;
         using argument_types = typename ct::argument_types;
 
diff --git a/headers/meta.hpp/meta_states/destructor.hpp b/headers/meta.hpp/meta_states/destructor.hpp
index 54ea8ce..57dd59c 100644
--- a/headers/meta.hpp/meta_states/destructor.hpp
+++ b/headers/meta.hpp/meta_states/destructor.hpp
@@ -37,7 +37,7 @@ namespace meta_hpp::detail
     }
 
     template < class_kind Class >
-    uerror raw_destructor_destroy_error(type_registry& registry, const uarg_base& arg) {
+    uerror raw_destructor_destroy_error(type_registry& registry, const uarg_base& arg) noexcept {
         using dt = destructor_traits<Class>;
         using class_type = typename dt::class_type;
 
diff --git a/headers/meta.hpp/meta_states/function.hpp b/headers/meta.hpp/meta_states/function.hpp
index 92dc4dd..05ef491 100644
--- a/headers/meta.hpp/meta_states/function.hpp
+++ b/headers/meta.hpp/meta_states/function.hpp
@@ -64,7 +64,7 @@ namespace meta_hpp::detail
     }
 
     template < function_pointer_kind Function >
-    uerror raw_function_invoke_error(type_registry& registry, std::span<const uarg_base> args) {
+    uerror raw_function_invoke_error(type_registry& registry, std::span<const uarg_base> args) noexcept {
         using ft = function_traits<Function>;
         using argument_types = typename ft::argument_types;
 
diff --git a/headers/meta.hpp/meta_states/member.hpp b/headers/meta.hpp/meta_states/member.hpp
index 151f71e..b7c63f5 100644
--- a/headers/meta.hpp/meta_states/member.hpp
+++ b/headers/meta.hpp/meta_states/member.hpp
@@ -76,7 +76,7 @@ namespace meta_hpp::detail
     }
 
     template < member_pointer_kind Member >
-    uerror raw_member_getter_error(type_registry& registry, const uinst_base& inst) {
+    uerror raw_member_getter_error(type_registry& registry, const uinst_base& inst) noexcept {
         using mt = member_traits<Member>;
         using class_type = typename mt::class_type;
 
@@ -129,7 +129,7 @@ namespace meta_hpp::detail
     }
 
     template < member_pointer_kind Member >
-    uerror raw_member_setter_error(type_registry& registry, const uinst_base& inst, const uarg_base& arg) {
+    uerror raw_member_setter_error(type_registry& registry, const uinst_base& inst, const uarg_base& arg) noexcept {
         using mt = member_traits<Member>;
         using class_type = typename mt::class_type;
         using value_type = typename mt::value_type;
diff --git a/headers/meta.hpp/meta_states/method.hpp b/headers/meta.hpp/meta_states/method.hpp
index 685e20b..f212119 100644
--- a/headers/meta.hpp/meta_states/method.hpp
+++ b/headers/meta.hpp/meta_states/method.hpp
@@ -71,7 +71,7 @@ namespace meta_hpp::detail
     }
 
     template < method_pointer_kind Method >
-    uerror raw_method_invoke_error(type_registry& registry, const uinst_base& inst, std::span<const uarg_base> args) {
+    uerror raw_method_invoke_error(type_registry& registry, const uinst_base& inst, std::span<const uarg_base> args) noexcept {
         using mt = method_traits<Method>;
         using qualified_type = typename mt::qualified_type;
         using argument_types = typename mt::argument_types;
diff --git a/headers/meta.hpp/meta_states/variable.hpp b/headers/meta.hpp/meta_states/variable.hpp
index 535bc0a..7ced140 100644
--- a/headers/meta.hpp/meta_states/variable.hpp
+++ b/headers/meta.hpp/meta_states/variable.hpp
@@ -68,7 +68,7 @@ namespace meta_hpp::detail
     }
 
     template < pointer_kind Pointer >
-    uerror raw_variable_setter_error(type_registry& registry, const uarg_base& arg) {
+    uerror raw_variable_setter_error(type_registry& registry, const uarg_base& arg) noexcept {
         using pt = pointer_traits<Pointer>;
         using data_type = typename pt::data_type;