✨ Add compile-time diagnostic ct_check

Problem:
- There is no way to produce a user-formatted compile-time diagnostic.

Solution:
- Add `ct_check` to test a condition at compile-time and produce a `ct_string`
  message on failure.

Note:
- A constraint check is the key to prevent the compiler from eliding the string.

Author: elbeno

docs/ct_conversions.adoc

@@ -1,4 +1,36 @@
 
+== `ct_check.hpp`
+
+`ct_check` is a construct that can be used to emit user-generated
+compile-time diagnostics. It uses `ct_string`.
+
+For example:
+[source,cpp]
+----
+stdx::ct_check<std::is_integral<float>>.emit<"This is not a very helpful error message">();
+----
+
+The output from this (which varies by compiler) will contain the string given,
+and could be something like:
+[source,bash]
+----
+main.cpp:14:27: error: no matching member function for call to 'emit'
+   14 |     stdx::ct_check<false>.emit<"This is not a very helpful error message">();
+      |     ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+include/stdx/ct_string.hpp:131:27: note: candidate template ignored: constraints not satisfied
+[with S = ct_string<41>{{"This is not a very helpful error m[...]"}}]
+  131 |     constexpr static auto emit()
+      |                           ^
+include/stdx/ct_string.hpp:132:18: note: because
+'diagnostic<ct_string<41>{{"This is not a very helpful error message"}}>' evaluated to false
+  132 |         requires diagnostic<S>
+      |                  ^
+----
+
+Notice that the error message is elided at first, but then given in full. Such
+are the quirks of compilers. If the compile-time condition is true, of course no
+diagnostic will be emitted.
+
 == `ct_conversions.hpp`
 
 https://github.com/intel/cpp-std-extensions/blob/main/include/stdx/ct_conversions.hpp[`ct_conversions.hpp`]

include/stdx/ct_string.hpp

@@ -124,6 +124,17 @@ template <ct_string S> CONSTEVAL auto operator""_cts() { return S; }
 } // namespace ct_string_literals
 } // namespace literals
 
+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
+        requires diagnostic<S>;
+};
+template <> struct ct_check_t<true> {
+    template <ct_string S> constexpr static auto emit() -> void {}
+};
+template <bool B> constexpr auto ct_check = ct_check_t<B>{};
+
 } // namespace v1
 } // namespace stdx
 

test/fail/CMakeLists.txt

@@ -26,6 +26,7 @@ add_fail_tests(
 
 if(${CMAKE_CXX_STANDARD} GREATER_EQUAL 20)
     add_fail_tests(
+        ct_check
         dynamic_span_no_ct_capacity
         dynamic_container_no_ct_capacity
         tuple_index_out_of_bounds

test/fail/ct_check.cpp

@@ -0,0 +1,11 @@
+#include <stdx/ct_string.hpp>
+
+// EXPECT: 01234567890123456789012345678901234567890123456789
+
+constexpr auto msg =
+    stdx::ct_string{"01234567890123456789012345678901234567890123456789"};
+
+auto main() -> int {
+    stdx::ct_check<true>.emit<"not emitted">();
+    stdx::ct_check<false>.emit<msg>();
+}