Merge pull request #1 from Chi-EEE/add_missing_typename

fix: add missing typename
zeus-cpp · Apr 11, 2024 · bf5aa84 · bf5aa84
2 parents 7009017 + 18d1dfc
commit bf5aa84
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/include/zeus/expected.hpp b/include/zeus/expected.hpp
@@ -1778,7 +1778,7 @@ class expected
     {
         using U = expected_detail::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(this->m_val))>>;
         static_assert(expected_detail::is_specialization_v<U, expected>, "U (return type of F) must be specialization of expected");
-        static_assert(std::is_same_v<U::error_type, E>, "The error type must be the same after calling the F");
+        static_assert(std::is_same_v<typename U::error_type, E>, "The error type must be the same after calling the F");
 
         if (has_value())
             return std::invoke(std::forward<F>(f), std::move(this->m_val));
@@ -1790,7 +1790,7 @@ class expected
     {
         using U = expected_detail::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(this->m_val))>>;
         static_assert(expected_detail::is_specialization_v<U, expected>, "U (return type of F) must be specialization of expected");
-        static_assert(std::is_same_v<U::error_type, E>, "The error type must be the same after calling the F");
+        static_assert(std::is_same_v<typename U::error_type, E>, "The error type must be the same after calling the F");
 
         if (has_value())
             return std::invoke(std::forward<F>(f), std::move(this->m_val));
@@ -2469,7 +2469,7 @@ class expected<void, E>
     {
         using U = expected_detail::remove_cvref_t<std::invoke_result_t<F>>;
         static_assert(expected_detail::is_specialization_v<U, expected>, "U (return type of F) must be specialization of expected");
-        static_assert(std::is_same_v<U::error_type, E>, "The error type must be the same after calling the F");
+        static_assert(std::is_same_v<typename U::error_type, E>, "The error type must be the same after calling the F");
 
         if (has_value())
             return std::invoke(std::forward<F>(f));
@@ -2481,7 +2481,7 @@ class expected<void, E>
     {
         using U = expected_detail::remove_cvref_t<std::invoke_result_t<F>>;
         static_assert(expected_detail::is_specialization_v<U, expected>, "U (return type of F) must be specialization of expected");
-        static_assert(std::is_same_v<U::error_type, E>, "The error type must be the same after calling the F");
+        static_assert(std::is_same_v<typename U::error_type, E>, "The error type must be the same after calling the F");
 
         if (has_value())
             return std::invoke(std::forward<F>(f));