1328 Added back type comparison in case of inheritance.

mihaiboros · mihaiboros · commit 8b3eaef5bcc1 · 2025-02-06T21:15:46.000+02:00
diff --git a/include/cpp2util.h b/include/cpp2util.h
@@ -2102,7 +2102,8 @@ constexpr auto is( X const& x ) -> bool {
     if (!x.has_value()) {
         return std::same_as<T, empty>;
     }
-    return std::same_as<T, typename X::value_type>;
+    return std::same_as<T, typename X::value_type> 
+        || std::derived_from<std::remove_pointer_t<typename X::value_type>, std::remove_pointer_t<T>>;
 }
 
 //  is Value

Original file line number	Diff line number	Diff line change
`@@ -2102,7 +2102,8 @@ constexpr auto is( X const& x ) -> bool {`
`2102`	`2102`	`if (!x.has_value()) {`
`2103`	`2103`	`return std::same_as<T, empty>;`
`2104`	`2104`	`}`
`2105`		`- return std::same_as<T, typename X::value_type>;`
	`2105`	`+ return std::same_as<T, typename X::value_type>`
	`2106`	`+ \|\| std::derived_from<std::remove_pointer_t<typename X::value_type>, std::remove_pointer_t<T>>;`
`2106`	`2107`	`}`
`2107`	`2108`
`2108`	`2109`	`// is Value`