Idea of inventing type from concept is very cool, but we need yo think how
to use it. For example if I want to check my function by instantiating with
invented type, will type have destructor by default? Will it complete type
etc etc


пн, 1 мая 2023 г., 13:46 Михаил Найденов via Std-Proposals <
std-proposals_at_[hidden]>:

> Hello, I am resurrecting a 5 year proposal I never presented.
> It suggests, "auto" in a "constrained auto" scenario can be replaced with
> a name, which will be a typename, introduced for the current function.
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>