On Sunday, March 22nd, 2026 at 1:50 PM, Ell via Std-Proposals
<std-proposals_at_[hidden]> wrote:

> That's a nice way to specify it. It works for cases where the type of
> the default argument depends on other template parameters, and even
> cases where the arguments aren't being type-deduced, like:
>
> void func(auto arg = 0);
> auto p = func<>;
>

Although, on second thought I'm not sure we actually want this to work,
given that the default function argument is not really involved here...