1328 Fixed issue comparing different numerical types as equal.

mihaiboros · mihaiboros · commit 1a95ab161d21 · 2025-02-05T23:05:13.000+02:00
diff --git a/include/cpp2util.h b/include/cpp2util.h
@@ -2102,10 +2102,7 @@ constexpr auto is( X const& x ) -> bool {
     if (!x.has_value()) {
         return std::same_as<T, empty>;
     }
-    if constexpr (requires { static_cast<const T&>(*x);}) {
-        return true;
-    }
-    return false;
+    return std::same_as<T, typename X::value_type>;
 }
 
 //  is Value

Original file line number	Diff line number	Diff line change
`@@ -2102,10 +2102,7 @@ constexpr auto is( X const& x ) -> bool {`
`2102`	`2102`	`if (!x.has_value()) {`
`2103`	`2103`	`return std::same_as<T, empty>;`
`2104`	`2104`	`}`
`2105`		`- if constexpr (requires { static_cast<const T&>(*x);}) {`
`2106`		`- return true;`
`2107`		`- }`
`2108`		`- return false;`
	`2105`	`+ return std::same_as<T, typename X::value_type>;`
`2109`	`2106`	`}`
`2110`	`2107`
`2111`	`2108`	`// is Value`