Merge pull request intel#145 from elbeno/ct-check-value

🎨 Return a value from `ct_check::emit`

Author: lukevalenty

include/stdx/ct_string.hpp

@@ -124,14 +124,18 @@ template <ct_string S> CONSTEVAL auto operator""_cts() { return S; }
 } // namespace ct_string_literals
 } // namespace literals
 
+struct ct_check_value {};
+
 template <bool B> struct ct_check_t {
     template <ct_string S> constexpr static bool diagnostic = false;
     template <ct_string S>
-    constexpr static auto emit() -> void
+    constexpr static auto emit() -> ct_check_value
         requires diagnostic<S>;
 };
 template <> struct ct_check_t<true> {
-    template <ct_string S> constexpr static auto emit() -> void {}
+    template <ct_string S> constexpr static auto emit() -> ct_check_value {
+        return {};
+    }
 };
 template <bool B> constexpr auto ct_check = ct_check_t<B>{};
 

test/fail/ct_check.cpp

@@ -6,6 +6,6 @@ constexpr auto msg =
     stdx::ct_string{"01234567890123456789012345678901234567890123456789"};
 
 auto main() -> int {
-    stdx::ct_check<true>.emit<"not emitted">();
+    [[maybe_unused]] auto x = stdx::ct_check<true>.emit<"not emitted">();
     stdx::ct_check<false>.emit<msg>();
 }