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@lists.isocpp.org>:
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@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals