diff --git a/crnlib/crn_assert.h b/crnlib/crn_assert.h
index 152a6a19..261d5bb8 100644
--- a/crnlib/crn_assert.h
+++ b/crnlib/crn_assert.h
@@ -39,15 +39,7 @@ struct crnlib_assume_failure<true> {
 template <int x>
 struct crnlib_assume_try {};
 
-#define CRNLIB_JOINER_FINAL(a, b) a##b
-#define CRNLIB_JOINER(a, b) CRNLIB_JOINER_FINAL(a, b)
-#define CRNLIB_JOIN(a, b) CRNLIB_JOINER(a, b)
-
-#ifdef NDEBUG
-#define CRNLIB_ASSUME(p)
-#else
-#define CRNLIB_ASSUME(p) typedef crnlib_assume_try<sizeof(crnlib_assume_failure<(bool)(p)>)> CRNLIB_JOIN(crnlib_assume_typedef, __COUNTER__)
-#endif
+#define CRNLIB_ASSUME(p) static_assert(p, "")
 
 #ifdef NDEBUG
 template <typename T>