Add __traits(canCall) and __traits(resolve)
Paul Backus
snarwin at gmail.com
Tue Jul 29 14:52:56 UTC 2025
On Tuesday, 29 July 2025 at 02:11:22 UTC, Steven Schveighoffer
wrote:
> On Saturday, 26 July 2025 at 02:27:08 UTC, Steven Schveighoffer
> wrote:
>
>> ## `__traits(resolve, expression)`
>
> I was informed that opend has a feature similar to this
> proposal:
>
> __traits(resolveFunctionCall, overloadSet, argTypes...)
>
> While similar, it's not exactly what I want. Because it's not
> as natural as "what would you do if I wrote this expression".
Also, taking a list of types instead of an actual argument list
means that you cannot distinguish between by-`ref` and by-value
overloads of the same function.
More information about the dip.ideas
mailing list