Get rid of BOUNDED_ASSUME(...) in favor of [[assume(...)]]

Author: davidstone

source/bounded/CMakeLists.txt

@@ -123,7 +123,6 @@ target_sources(bounded_test PRIVATE
 	FILES
 		test/assert.cpp
 		test/assert-NDEBUG.cpp
-		test/assume.cpp
 		test/check_in_range.cpp
 		test/comparison.cpp
 		test/conditional.cpp

source/bounded/include/bounded/assert.hpp

@@ -8,13 +8,13 @@
 
 #include <std_module/prelude.hpp>
 
-#include <bounded/assume.hpp>
-
 #include <cassert>
 
 import bounded.constexpr_only_if;
 import bounded.prevent_comma;
 
+import std_module;
+
 // An expression of type `void`. This is used to allow using variadic
 // function-like macros to support expressions that contain commas, such as
 // `BOUNDED_ASSERT(f<a, b>())`, but prevents expressions that look like two
@@ -25,7 +25,7 @@ import bounded.prevent_comma;
 
 #if defined NDEBUG or defined BOUNDED_NDEBUG
 	#define BOUNDED_ASSERT(...) (std::is_constant_evaluated() ? ::bounded::detail::constexpr_only_if(__VA_ARGS__) : void())
-	#define BOUNDED_ASSERT_OR_ASSUME BOUNDED_ASSUME
+	#define BOUNDED_ASSERT_OR_ASSUME(...) [[assume(__VA_ARGS__)]]
 #else
 	#define BOUNDED_ASSERT(...) (BOUNDED_DETAIL_PREVENT_COMMA(__VA_ARGS__), assert((__VA_ARGS__)))
 	#define BOUNDED_ASSERT_OR_ASSUME BOUNDED_ASSERT

source/bounded/include/bounded/assume.hpp

@@ -178,7 +178,7 @@ struct integer {
 	using underlying_type = underlying_type_t<minimum, maximum>;
 
 	constexpr auto value() const -> underlying_type {
-		BOUNDED_ASSUME(minimum <= m_value and m_value <= maximum);
+		[[assume(minimum <= m_value and m_value <= maximum)]];
 		return m_value;
 	}