Commit 10da1e9d authored by Kirk Shoop's avatar Kirk Shoop Committed by Facebook Github Bot

fix CTAD for receiver

Summary: used the wrong Concept to constrain the receiver CTAD for a value function.

Reviewed By: yfeldblum

Differential Revision: D13027571

fbshipit-source-id: 5478afbb10c5145960cc6107c173da2bf241b9bc
parent 486c6593
...@@ -413,8 +413,8 @@ receiver() -> receiver<>; ...@@ -413,8 +413,8 @@ receiver() -> receiver<>;
PUSHMI_TEMPLATE(class VF) PUSHMI_TEMPLATE(class VF)
(requires PUSHMI_EXP( (requires PUSHMI_EXP(
True<> lazy::True<>
PUSHMI_BROKEN_SUBSUMPTION(PUSHMI_AND not lazy::Receiver<VF>))) PUSHMI_BROKEN_SUBSUMPTION(PUSHMI_AND not lazy::ReceiverDataArg<VF>)))
receiver(VF) -> receiver<VF, abortEF, ignoreDF>; receiver(VF) -> receiver<VF, abortEF, ignoreDF>;
template <class... EFN> template <class... EFN>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment