Use static_assert(false)

davidstone · davidstone · commit b2d66ecb701e · 2024-12-24T15:56:13.000-07:00
diff --git a/source/bounded/underlying_type_t.cpp b/source/bounded/underlying_type_t.cpp
@@ -24,9 +24,6 @@ constexpr auto range_fits_in_type(auto const minimum, auto const maximum) {
 		value_fits_in_type<T>(maximum);
 }
 
-template<auto...>
-constexpr auto false_ = false;
-
 template<auto minimum, auto maximum>
 constexpr auto determine_type() {
 	if constexpr (range_fits_in_type<unsigned char>(minimum, maximum)) {
@@ -56,7 +53,7 @@ constexpr auto determine_type() {
 		return type<numeric_traits::int128_t>;
 #endif
 	} else {
-		static_assert(false_<minimum, maximum>, "Bounds cannot fit in any type.");
+		static_assert(false, "Bounds cannot fit in any type.");
 	}
 }
 

Original file line number	Diff line number	Diff line change
`@@ -24,9 +24,6 @@ constexpr auto range_fits_in_type(auto const minimum, auto const maximum) {`
`24`	`24`	`value_fits_in_type<T>(maximum);`
`25`	`25`	`}`
`26`	`26`
`27`		`-template<auto...>`
`28`		`-constexpr auto false_ = false;`
`29`		`-`
`30`	`27`	`template<auto minimum, auto maximum>`
`31`	`28`	`constexpr auto determine_type() {`
`32`	`29`	`if constexpr (range_fits_in_type<unsigned char>(minimum, maximum)) {`
`@@ -56,7 +53,7 @@ constexpr auto determine_type() {`
`56`	`53`	`return type<numeric_traits::int128_t>;`
`57`	`54`	`#endif`
`58`	`55`	`} else {`
`59`		`- static_assert(false_<minimum, maximum>, "Bounds cannot fit in any type.");`
	`56`	`+ static_assert(false, "Bounds cannot fit in any type.");`
`60`	`57`	`}`
`61`	`58`	`}`
`62`	`59`