refinement

djowel · djowel · commit 1c5aa45e6c01 · 2024-06-09T07:23:24.000+08:00
diff --git a/lib/include/elements/element/indirect.hpp b/lib/include/elements/element/indirect.hpp
@@ -16,8 +16,8 @@ namespace cycfi::elements
    struct indirect_receiver {};
 
    template <typename Indirect, concepts::Element Element>
-      requires requires() {
-         typename std::enable_if_t<std::is_base_of_v<receiver_base, Element>>;
+      requires requires(Element e) {
+         { e } -> std::derived_from<receiver_base>;
       }
    struct indirect_receiver<Indirect, Element> : receiver_base
    {

Original file line number	Diff line number	Diff line change
`@@ -16,8 +16,8 @@ namespace cycfi::elements`
`16`	`16`	`struct indirect_receiver {};`
`17`	`17`
`18`	`18`	`template <typename Indirect, concepts::Element Element>`
`19`		`- requires requires() {`
`20`		`- typename std::enable_if_t<std::is_base_of_v<receiver_base, Element>>;`
	`19`	`+ requires requires(Element e) {`
	`20`	`+ { e } -> std::derived_from<receiver_base>;`
`21`	`21`	`}`
`22`	`22`	`struct indirect_receiver<Indirect, Element> : receiver_base`
`23`	`23`	`{`