From 7160bdb390ef1c9bdcfb0c075b33be39d62860f3 Mon Sep 17 00:00:00 2001
From: hachem <im@hachem.wtf>
Date: Sat, 19 Sep 2026 13:54:59 +0200
Subject: feat: static_assert

---
 examples/assert.sfinae | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 examples/assert.sfinae

(limited to 'examples/assert.sfinae')

diff --git a/examples/assert.sfinae b/examples/assert.sfinae
new file mode 100644
index 0000000..0ef7459
--- /dev/null
+++ b/examples/assert.sfinae
@@ -0,0 +1,12 @@
+::static_assert<
+    ::equal<
+        ::difference<'C', 'A'>,
+        ::sum<::difference<'B', 'A'>, ::difference<'B', 'A'>>
+    >::value
+>::commit;
+
+::static_assert<::is_same<::remove_cv_t<::byte>, ::byte>::value>::commit;
+::emit<::decltype(::difference<'B', 'A'>)>::commit;
+
+
+
-- 
cgit v1.3