On 4 June 2024 17:44:08 BST, Frederick Virchanza Gotham via Std-Proposals <std-proposals_at_[hidden]> wrote:
>On Tue, Jun 4, 2024 at 5:31 PM Robert A.H. Leahy wrote:
>>
>> I explicitly want std::elide or its equivalent to interact with
>> CTAD. I explicitly want std::elide to be deduced as a template
>> parameter to constructors (unary or otherwise). These are
>> both things that I actually do in code I have deployed on
>> production systems right now.
>
>
>Without giving away company secrets, if you can describe the use cases
>for that, then we can factor them into the paper?

std::optional has a single argument constructor that shouldn't be constrained away for std::elide. In fact std::elide is similarly useful to this constructor than to emplace.

>
>Quick question: When you want the elider class to be a template
>parameter for a constructor, does the constructor always have more
>than one parameter?
>--
>Std-Proposals mailing list
>Std-Proposals_at_[hidden]
>https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals