Fix is() to handle polimorphic sidecast

filipsajdak · filipsajdak · commit 2756e85fd3eb · 2022-11-22T01:23:26.000+01:00
diff --git a/include/cpp2util.h b/include/cpp2util.h
@@ -531,13 +531,13 @@ auto is( X const& ) -> bool {
 }
 
 template< typename C, typename X >
-    requires (std::is_base_of_v<X, C> && !std::is_same_v<C,X>)
+    requires (!std::is_same_v<C,X>)
 auto is( X const& x ) -> bool {
     return dynamic_cast<C const*>(&x) != nullptr;
 }
 
 template< typename C, typename X >
-    requires (std::is_base_of_v<X, C> && !std::is_same_v<C,X>)
+    requires (!std::is_same_v<C,X>)
 auto is( X const* x ) -> bool {
     return dynamic_cast<C const*>(x) != nullptr;
 }

Original file line number	Diff line number	Diff line change
`@@ -531,13 +531,13 @@ auto is( X const& ) -> bool {`
`531`	`531`	`}`
`532`	`532`
`533`	`533`	`template< typename C, typename X >`
`534`		`- requires (std::is_base_of_v<X, C> && !std::is_same_v<C,X>)`
	`534`	`+ requires (!std::is_same_v<C,X>)`
`535`	`535`	`auto is( X const& x ) -> bool {`
`536`	`536`	`return dynamic_cast<C const*>(&x) != nullptr;`
`537`	`537`	`}`
`538`	`538`
`539`	`539`	`template< typename C, typename X >`
`540`		`- requires (std::is_base_of_v<X, C> && !std::is_same_v<C,X>)`
	`540`	`+ requires (!std::is_same_v<C,X>)`
`541`	`541`	`auto is( X const* x ) -> bool {`
`542`	`542`	`return dynamic_cast<C const*>(x) != nullptr;`
`543`	`543`	`}`